Para compreender a interface gráfica e as funcionalidades providas pelo Z/Eves, você deve realizar a leitura do The Z/EVES 2.0 User’s Guide.
Este documento é distribuido com o software Z/Eves. Se você já baixou um pacote de instalação do Z/Eves, após instalá-lo você terá acesso a este documento.
O User's Guide ilustra o uso do Z/Eves através de especificações que usam Schemas. Schemas são abordados no capitulo 12 do Using Z. Por ora, não se preocupe com o entendimento da especificação exemplo do User's Guide, pois ela se tornará clara quando você avançar na leitura do Using Z. É suficiente neste primeiro momento que você note o que o Z/Eves pode lhe oferecer a principio: uma janela para interagir com a especificação (pag. 1-17), Type Checking e Domain Checking. (pag. 19-22).
Aconselho que a leitura do capitulo seis e posteriores do Using Z seja acompanhada do uso do Z/Eves. O que fizemos no MEFES foi: paralelo a leitura destes capitulos, escrevemos as especificações vistas no livro no Z/Eves. Esta é uma forma de habituar-se gradualmente ao ambiente do Z/Eves.
Nenhum comentário:
Postar um comentário