Download do Z/Eves 2.3 e 2.3.1

O Z/Eves 2.3.1 para windows pode ser baixado a partir do site

http://dl.dropbox.com/u/11299884/ZEves/Python-2.3.exe
(Python 2.3)

http://dl.dropbox.com/u/11299884/ZEves/z-eves-install-2.3.1.exe
(Z/Eves 2.3.1 para Windows)

http://dl.dropbox.com/u/11299884/ZEves/sm-windows.pdf
(Manual de instalação)

É necessário instalar o Python para utilizar a interface gráfica do Z/Eves. Neste site também é possível encontrar o manual de instalação (terceiro link).

Abaixo, um link para o Z/Eves 2.3 para Linux.

O arquivo abaixo é uma compilação do Z/Eves 2.3 + Python 1.5 + Tcl/Tk.

Procedimento para instalação e uso

1. Baixar e descompactar arquivo. Para descompactar, entre no diretório onde o arquivo foi baixado e digite no terminal do linux:

tar -jxvf Z.tar.bz2

2. Mover a pasta recém criada "Z" para o diretório /opt. Para fazer isto você precisará ter acesso de root:

mv Z /opt

3. Para executar o Z/EVES digite no terminal as linhas a seguir para fazer rodar a interface gráfica:

cd /opt/Z/Z-Eves/system

./z-eves-gui.sh

Link: https://www.dropbox.com/s/mros7xmg4qcq94k/Z.tar.bz2?dl=0

Onde encontrar o Z/Eves?

O site da ORA, a empresa que desenvolve o Z/Eves, não está mais online. Desta forma, não é possível encontrar o Z/Eves em um site oficial.

A versão do Z/Eves que utilizo no grupo de pesquisa é a 2.3, ela pode ser conseguida a partir do site http://www.exactas.org/. Neste site podem ser encontradas versões para linux e windows.

Onde começar?

Sugiro a leitura dos primeiros capítulos do livro Using Z: Specification, Refinement, and Proof. O livro é gratuito e pode ser baixado a partir do site: http://www.usingz.com. Segundo meu orientador, este é o melhor material já produzido para quem está começando a estudar métodos formais em Z.

É esperado que o leitor possua conhecimento em lógica matemática antes de lidar diretamente com especificações em Z. O UsingZ não pressupõe conhecimento algum em lógica matemática, os três primeiros capítulos são gastos com motivação e explicações sobre conectivos e quantificadores.
Se você fez um bom curso de lógica matemática o conteúdo destes capítulos deve lhe ser familiar.

Outro material que conheço é o Especificações em Z: uma introdução. O autor é o Arnaldo Vieira Moura, professor da UNICAMP. A página do autor é http://ze.ic.unicamp.br/

Um excelente material de referência sobre a notação Z é o livro Z Notation (Spivey), este material é mais adequado para quem já conhece Z e deseja revisar certas construções ou leis do toolkit matemático da notação Z.