| Gliedmaßen Ein Satz von Tools zum Bearbeiten, Typprüfung und Animieren von formellen Spezifikationen, die in der Z-Spezifikationssprache geschrieben wurden |
Jetzt downloaden |
Gliedmaßen Ranking & Zusammenfassung
- Name des Herausgebers:
- CZT Team
- Betriebssysteme:
- Mac OS X
Gliedmaßen Stichworte
Gliedmaßen Beschreibung
Eine Reihe von Werkzeugen zum Bearbeiten, Typenprüfung und Animieren von formellen Spezifikationen, die in der Z-Spezifikationssprache geschrieben wurden Das Community Z Tools (CZT) -Projekt baut eine Reihe von Tools zum Bearbeiten, Typenprüfung und Animieren von Formalspezifikationen, die in der Z-Spezifikationssprache geschrieben wurden, mit etwas Unterstützung für Z-Erweiterungen wie Objekt-Z, Zirkus und TCOZ. Diese Tools werden alle mit dem CZT-Java-Framework für Z-Tools eingebaut. BETA-Versionen des Endbenutzers CZT-Tools sind jetzt in den CZT-Releases (Download) enthalten. Dazu gehört ein jEDIT-basierter Z-Editor, der WYSIWYG-Bearbeitung des Unicode-Markups für Z-Konstrukte für Z, Template-basierte Insertion von Z-Konstrukten für Latex- und Unicode-Markup ergibt, das automatische TypeChecking auf jedem Save.CZT enthält auch ein Seitenkick-Panel, das die Struktur Ihres anzeigt Z-Spezifikation, Umwandlung zwischen den verschiedenen Markups und viel mehr. Hier sind einige wichtige Funktionen von "CZT": · Ein XML-Schema-Markup für Z. · Java-Klassen für Z-Syntaxbäume (AST). · Java-Klassen zum Umwandeln zwischen XML und Java AST. · Java-Bibliotheken für die in jedem Z-Werkzeug benötigten gemeinsamen Operationen (Markup-Wandler, Parser, Typ-Checker usw.). Ein Papier, das diese beschreibt, wurde auf ZB2005 präsentiert. · Grafische Z-Redakteure mit Einrichtungen zum einfachen Eingabe der speziellen Z-Unicode-Symbole. Derzeit bieten wir Jedit- und Eclipse-Plugins an. · Ein Z-Animationstool namens ZLIVE mit einer anpassbaren grafischen Benutzeroberfläche. · Export-Tools, um Z in anderen Notationen oder für andere Z-Tools auszugeben. · Erweiterte Versionen der Bibliotheken und -werkzeuge zur Unterstützung von Z-Erweiterungen wie Objekt-Z und Zirkus. Anforderungen: · Java Was ist neu in dieser Version: · Viele Änderungen und neue Werkzeuge.
Gliedmaßen Zugehörige Software