Papers de trabalhos com Z/Eves

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.

Especificação do Browse Component em Z/Eves

Estou adicionando a especificação do CICS, descrita no artigo:
Mecanizando o componente de navegação do IBMs CICS: um experimento do Grande Desafio.


"Mechanising IBM's CICS Browser Component: An experiment of the Grand Challenge" in ERBASE 2009. Original title: Mecanizando o componente de navegação do IBMs CICS: um experimento do Grande Desafio.

Documento original: ftp://ftp.cs.york.ac.uk/pub/leo/mefes/cics/z-refinement/
Article/Artigo: https://dl.dropboxusercontent.com/u/11299884/Papers/erbase-09.pdf
Specification/Especificação: http://dl.dropbox.com/u/11299884/ZEves/Specification.zip

Mini-curso Z/Eves - Erbase 2010

Estou adicionando o material do mini-curso que ocorreu no inicio desta ano
na ERBASE 2010 (Escola Regional de Computação - Bahia, Alagoas, Sergipe)
em Maceió-AL.


Os slides do mini-curso realizado na ERBASE 2010 encontram-se em:
http://dl.dropbox.com/u/11299884/Minicurso/Minicurso.pdf

Os arquivos do experimento usado no mini-curso estão em:
http://dl.dropbox.com/u/11299884/Minicurso/spec-filesystem-erbase2010.zip

Monografia: Introdução ao Z/Eves

Minha monografia contem uma secao sobre Z/Eves no capitulo 2. Abaixo segue o link para download:

https://www.dropbox.com/s/hrswduk5dyp18po/MonografiaAdaptada.pdf?dl=0