Czt. A Set di strumenti per la modifica, digitare il controllo e l'animazione delle specifiche formali scritte nella lingua delle specifiche Z
Scarica ora

Czt. Classifica e riepilogo

Czt. Tag

modificare modifica il testo testo unicode text controllo ortografico Editor unicode

Czt. Descrizione

Un set di strumenti per la modifica, digitare il controllo e l'animazione di specifiche formali scritte nella lingua della specifica Z Il progetto Community Z Tools (CZT) sta costruendo un insieme di strumenti per la modifica, il tipo di controllo e l'animazione delle specifiche formali scritte nella lingua delle specifiche Z, con un po 'di supporto per le estensioni Z come oggetto-z, circo e tcoz. Questi strumenti sono tutti costruiti utilizzando il framework CZT Java per Z Tools.Beta-Versioni degli strumenti CZT dell'utente finale sono ora inclusi nei comunicati CZT (scarica). Ciò include un editor z basato su JEDIT che offre la modifica WYSIWYG del markup di Unicode per Z, inserimento basato su modelli di costrutti Z per la lattice e il markup unicode, tipografo automatico su ciascun Salva.czt include anche un pannello Sidekick che mostra la struttura del tuo SP Specifiche, conversione tra i diversi markup e molto altro ancora. Ecco alcune caratteristiche chiave di "CZT": · Un markup dello schema XML per Z. · Lezioni Java per gli alberi di sintassi annotati Z (AST). · Classi Java per la conversione tra XML e Java AST. · Librerie Java per le operazioni comuni necessarie in ogni strumento Z (markup-convertitori, parser, tipo-controllore, ecc.). Una carta che descrive questi è stata presentata a ZB2005. · Editor GRAPHICAL Z, con strutture per entrare facilmente nei simboli speciali Z Unicode. Attualmente forniamo plugin JEDIT e ECLIPSE. · Strumento Z Animazione Z chiamato Zlive, con un'interfaccia utente grafica personalizzabile. · Strumenti di esportazione, per emettere Z in altre notazioni o per gli altri strumenti Z. · Versioni estese delle librerie e degli strumenti per supportare le estensioni Z come oggetto-Z e circo. Requisiti: · Java. Cosa c'è di nuovo in questa versione: · Un sacco di modifiche e nuovi strumenti.

Czt. Software correlato