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/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)
(Z/Eves 2.3.1 para Windows)
http://dl.dropbox.com/u/11299884/ZEves/sm-windows.pdf
(Manual de instalação)
(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
15 comentários:
OIsou o César e estou trabalhando com o Z-EVES na minha dissertação e não estou conseguindo baixar o z-eves 2.3 para o linux, vc poderia me informar um link valido que que eu possa buscar...
Atenciosamente César
Oi Cesar,
Adicionei um novo link para o Z/Eves.
Caso não conheça o Z/Eves, perceberá que no windows o scrool não funcionará. Se tiver um mouse só com dois botões será melhor para usar o Z/Eves no windows, pois causará menos travamentos.
Já no linux (ver link do exactas), não há estresse com travamentos do Z/Eves.
A proposito, é dissertação de mestrado? Na UFPE?!
[]'s
Diego
Ola Diego. Obrigado pelos links deu certo com o linux foi de muita ajuda, a dissertação de mestrado é do Programa de Pós-Graduação em Engenharia da Eletricidade da UFMA, eu faço parte da área de Concentração de Ciência da Computação e estou trabalhando com a construção de uma metodologia de especifcação formal em Z da Transformação entre Metamodelos da MDA. E o Z-EVES é uma das ferramentas que pretendo usar para provar as especificações em Z.
Atenciosamente, César.
Ok!
Precisando de alguma ajuda com provas, entre em contato. No que puder ajudarei.
Abs,
Diego
Ok! Obrigado Diego e concerteza precisarei da sua ajuda...vc tem algum artigo publicado sobre o seu trabalho com a linguagem Z que eu possa ler para eu fundamentar mais as idéias sobre o assunto?
Atenciosamente, César.
Tem em:
https://wiki.dcc.ufba.br/pub/MEFES/Publications/erbase-09.pdf
Uma pessoa que tem vários artigos que fazem uso de Z e Z/Eves é Leo Freitas.
Ele tem pelo menos o do POSIX, CICS File Api e Mondex. Dá uma olhada ai no google.
Vou criar uma seção aqui para colocar parte de minha monografia que descreve conceitos básicos de Z/Eves e comandos de prova.
Adicionei no blog um link com papers sobre trabalhos baseados em mecanização usando Z/Eves. Tem dicas interessantes sobre provas de teoremas, detalhes de especificação, etc.
No ftp onde se encontram os artigos, tem alguns exemplos de espcificações de tamanho considerável. Quando você estiver mexendo com provas e já tiver pego o "jeito" de como guiar Z/Eves, vale a pena dar uma olhada nestas especificações para aprender como manipular Z/Eves melhor.
No slide do minicurso tem meu email, (dmd@...), se preferir adicione no gtalk.
[]'s
Diego
Ola,muito obrigado Diego pelos documentos e as informações será de muita ajuda....
Atenciosamente, César.
Olá Diego, obrigado pela postagem! Está ajudando nos meus estudos.
Eu estou usando o Z/Eves e tenho uma dúvida. Escrevi um teorema e está com este erro aqui. Você sabe o que pode ser?
Diz que o token "veiculo" não é um ( the start of a boxed paragraph). É o título do meu esquema. Eu não sei como colocar o colchetes nele.
Obrigado!
Felipe
Finalmente consegui instalar, só falta rodar!
Bom saber que ainda tem algum impacto este blog :-). Atualmente estou no doutorado. Ainda uso provadores de teorema, no momento estou ganhando alguma familiaridade com Isabelle.
Obrigada Diego pelos links , estou terminando meu TCC na UERN em Ciência da Computação e estou especificando Uma Topologia NSI-Mesh para Redes em Chip 3DE usando a ferramenta Z-EVES , vou defender dia 3 de fevereiro. ;(
Otimo! :-)
Fique a vontade pra postar um link aqui para sua dissertacao depois da defesa.
Sucesso!
Abracos,
Diego Dias
Postar um comentário