Alguns artigos de projetos desenvolvidos com Z/Eves estão disponíveis em:
ftp://ftp.cs.york.ac.uk/pub/leo/papers/
Procurando no google dá pra encontrar as dissertações de mestrado citadas nos artigos.
Nota:
Estes artigos não são um bom ponto de partida para entender Z nem Z/Eves, mas são úteis em descrever como superar problemas com provas em Z/Eves e como medir o esforço empregado na mecanização de especificações. Como ponto de partida para mexer com Z/Eves, o Z/Eves User's Guide é essencial.
Assinar:
Postar comentários (Atom)
2 comentários:
OLA, SOU O CESAR DO MARANHÃO E ESTOU TRABALHANDO COM A LINGUAGEM Z E EU GOSTARIA DE UNS EXEMPLOS ONDE EXISTA UMA AMBIGUIDADE NA ESPECIFICAÇÃO E A LINGUAGEM Z VALIDE ESTÁ AMBIGUIDADE COM ALGUMA ESPECIFICAÇÃO.
DESDE JA AGRADEÇO PELA AJUDA.
Olá Cesar, você poderia explicar melhor o que quer dizer com "validar a ambiguidade"?
Se você situar melhor o contexto, posso ajudar a construir o exemplo. Não entendi o que você quer exatamente.
Postar um comentário