An Eclipse Environment for Z, Fachbücher von Chengdong Xu
68,00 €
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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
