Czt. Um conjunto de ferramentas para edição, digite verificação e animação especificações formais escritas no idioma de especificação Z
Baixe Agora

Czt. Classificação e resumo

Czt. Tag

editar editar texto texto Unicode. texto ortográfico Editor Unicode.

Czt. Descrição

Um conjunto de ferramentas para edição, digitar verificação e animação especificações formais escritas no idioma de especificação Z O projeto Z Tools Z Tools (CZT) está construindo um conjunto de ferramentas para edição, digitar verificação e especificações formais de animação escritas na linguagem de especificação Z, com algum suporte para extensões Z, como objeto-Z, circo e TCOZ. Essas ferramentas são todas construídas usando o CZT Java Framework for Z Tools.Beta-versões das ferramentas CZT do usuário final agora estão incluídas nas versões CZT (download). Isso inclui um editor z baseado no JEDIT que fornece a edição WYSIWYG da Marcação Unicode para Z, inserção baseada em modelos de ZEXTRUCTS Z para Latex e UNICODE Markup, o Tycheckecks automático em cada Save.czt também inclui um painel SideKick que mostra a estrutura do seu Z Especificação, conversão entre as diferentes marcas e muito mais. Aqui estão algumas características principais de "CZT": · Uma marcação do esquema XML para Z. · Classes Java para árvores de sintaxas anotadas Z (AST). · Classes Java para conversão entre XML e Java AST. · Bibliotecas Java para as operações comuns necessárias em cada ferramenta Z (conversores de marcação, parser, digitação, etc.). Um papel descrevendo estes foi apresentado no ZB2005. · Os editores Z gráficos, com instalações para facilmente inserir os símbolos Special Z Unicode. Atualmente, fornecemos plugins JEDIT e ECLIPSE. · Uma ferramenta de animação Z chamada Zlive, com uma interface de usuário gráfica personalizável. · Exportar ferramentas, para produzir z em outras notações ou para outras ferramentas Z. · Versões estendidas das bibliotecas e ferramentas para suportar extensões Z, como objeto-z e circo. Requisitos: · Java. O que há de novo nesta versão: · Muitas alterações e novas ferramentas.

Czt. Software Relacionado