Community Z-Tools.

Werkzeuge zum Bearbeiten, Typecking und Animieren von Z-Spezifikationen und verwandten Notationen
Jetzt downloaden

Community Z-Tools. Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • GPL
  • Preis:
  • FREE
  • Name des Herausgebers:
  • Mark Utting and Petra Malik
  • Website des Verlags:

Community Z-Tools. Stichworte


Community Z-Tools. Beschreibung

Werkzeuge für die Bearbeitung, Typprüfung und Animieren von Z Spezifikationen und zugehörige Bezeichnungen Das Gemeinschaft Z Werkzeuge (CZT) Projekt baut eine Reihe von Werkzeugen für die Bearbeitung, Typprüfung und Animieren in der Z-Spezifikationssprache geschrieben formale Spezifikationen, mit etwas Unterstützung für Z-Erweiterungen wie Object-Z und TCOZ. Diese Werkzeuge sind alle gebaut, um den CZT Java-Framework für Z-Tools. Die Z-Spezifikationssprache als ISO-Standard verabschiedet wurde im Jahr 2002 das Projekt verwendet werden kann, um genau die Anforderungen oder das Verhalten von Systemen angeben und dieses Verhalten über Beweis, Animation, Testgenerierung analysiert usw. Allerdings ist eines der größten Hindernisse für den weit verbreiteten Einsatz der Z-Spezifikationssprache scheint die Frage des Werkzeug support.Many Projekte zu haben Z Werkzeuge konstruiert, Qualität einig Produkte , die meisten als studentische Projekte. Nur wenige von ihnen sind miteinander integriert; einige unterstützen alle die neue ISO-Norm; weniger bauen immer noch zusammen, um die Art der integrierten Umgebung zu bilden, dass die Entwickler zu expect.Many gute Ideen beginnen zu Prototypen entwickelt wurden, und dann verloren wurden als Projekte abgeschlossen haben und Studenten oder Forscher haben sich weiterentwickelt. Die Anzahl der Male eine Anforderung für einen Z-Parser in der Z-Newsgroup stellt sich schlägt viele Menschen Werkzeuge produzieren, von denen die meisten nie außerhalb ihres eigenen Instituts zu sehen. Eine integrierte Anstrengung wird nach vorne um den Zustand der Werkzeuge zu bewegen und dadurch die Aufnahme von Z.Our Zielen ist Austausch (über ein Standard-XML-Austauschformat für Z) zwischen dem bestehenden Z-Tool zu fördern und Bibliotheken Open-Source für Gebäude zu schaffen, und die Integration neuer Z-Tools. Die Software, die wir bauen ist / sind unter anderem: 1. Ein XML-Schema-Markup für Z. Siehe die ZB2003 Verfahren für ein Papier beschreibt diesen markup.2. Java-Klassen für Z kommentierten Syntaxbäume (AST) .3. Java-Klassen für AST.4 zwischen XML und Java zu konvertieren. Java-Bibliotheken für die gemeinsame Operationen in jedem Z-Werkzeug (Markup-Wandler, Parser, Typ-Checker, Schemaerweiterung etc.) benötigt. Ein Papier diese beschreiben wird bei ZB2005.5 präsentiert. Eine oder mehr einfache grafische Z-Editoren, mit Einrichtungen für leicht das spezielle Z Unicode-Zeichen eingeben. Zunächst verwenden wir jEdit.6. Ein Z-Animation-Tool namens ZLive, mit einer anpassbaren grafischen Benutzer interface.7. Export-Tools, die Ausgabe Z in anderen Notationen oder für andere Z-Tools. (Beispielsweise HTML-Ausgabe, LaTeX Ausgang Übersetzung B und JML) .8. Erweiterte Versionen der Bibliotheken und Tools zur Z-Erweiterungen wie Object-Z und TCOZ zu unterstützen. Was ist neu in dieser Version: · Diese Freigabe ist eine Momentaufnahme aller CZT-Tools, die derzeit in der Entwicklung sind, einschließlich der Werkzeuge für die Z, Object-Z und Circus formale Spezifikationssprachen. · Czt_1_5_0_bin.jar ist ein binäres Freisetzung von CZT, die als GUI-Programm oder ein Befehlszeilenprogramm verwendet werden können. Beispielsweise: · 1. Auf der .jar-Datei Klicken Sie auf den CZT GUI zu öffnen. · 2. Oder 'java -jar czt_1_5_0_bin.jar' den CZT GUI zu öffnen. · 3. Do 'java -jar czt_1_5_0_bin.jar --help' die Kommandozeilen-Schnittstelle zu verwenden. · Czt_1_5_0_eclipse_plugin.zip ist eine CZT-Plugin für Eclipse 3.4. Um es zu installieren, einfach entpacken dieser Zip-Datei in Ihre Top-Level-Eclipse-Ordner (die, die die Eigenschaften und Plug-in Verzeichnisse enthalten), starten Sie Eclipse-. · Die Datei / Neu / Weitere ... / CZT / CZT Projektes Befehl verwendet werden kann, ein neues CZT-Projekt zu erstellen, und dann Datei / Neu / Z-Spezifikation Z Spezifikationen zu erstellen. Es gibt ein CZT Handbuch in der Hilfe / Hilfe Inhalt Eclipse-Seite. · Sie sollten auch die folgenden CZT Schriftart installieren. · CZTSans_1_5_0.ttf ist ein Bitstream Vera Schriftart mit allen Unicode-Zeichen für Z hinzugefügt. Sie müssen diese auf Ihrem System installieren, so dass die Eclipse und jEdit Editoren das richtige Unicode-Zeichen für Z. Warnung angezeigt werden kann: auf Windows-Systemen diese Schrift einig Microsoft-Programme zum Absturz bringen kann - zB. Visual Studio Form Designer geben einen unzulässigen Speicherzugriffsfehler, wenn diese Schriftart auf dem System installiert ist. · Czt_1_5_0_src.zip enthält alle CZT-Quelldateien, einschließlich SVN-Informationen. Zum Kompilieren es, benötigen Sie eine aktuelle Version von Java und Maven. Siehe die INSTALL.txt Datei für weitere Einzelheiten.


Community Z-Tools. Zugehörige Software

Narrange

ein .NET-Code-Schöner, der CODE-Mitglieder und Elemente innerhalb von .NET-Klassen automatisch organisiert ...

145

Herunterladen