An Eclipse Environment for Z, Fachbücher von Chengdong Xu
Das Buch "An Eclipse Environment for Z" bietet eine umfassende Berichterstattung über die Gestaltung, Implementierung und Eva... Mehr erfahren
Finde die besten Angebote
Bester Preis34 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "An Eclipse Environment for Z" bietet eine umfassende Berichterstattung über die Gestaltung, Implementierung und Evaluierung einer neuen interaktiven Z-Umgebung, die in die Eclipse-Umgebung integriert ist. Die Z-Sprache ist eine formale Spezifikationsnotation, die zur Beschreibung und Modellierung computerbasierter Systeme verwendet wird. Die Integration von Z in eine weit verbreitete und beliebte Entwicklungsumgebung wie Eclipse ermöglicht eine breitere Nutzung und bietet eine Vielzahl nützlicher Funktionen. Diese Umgebung erweitert Eclipse um Werkzeuge zur Bearbeitung und Analyse von Z-Spezifikationen, was die Benutzerfreundlichkeit und Effizienz bei der Arbeit mit Z erheblich verbessert. Das Buch dokumentiert die Entwicklung dieser Umgebung im Rahmen des CZT-Projekts (Community Z Tools), das eine Java-Framework für den Aufbau von Z-Tools bereitstellt.
Informationen
Lieferzeit:2-4 Werktage
Marke:VDM