An Eclipse Environment for Z
The Integration of Z Language Support into Eclipse
(Sprache: Englisch)
This book reports on the design, implementation andevaluation of a new interactive Z environment that is integratedinto the Eclipse environment. The Z language is a formalspecification notation that is used to describe and modelcomputer-based systems. For...
Leider schon ausverkauft
versandkostenfrei
Buch
68.00 €
Produktdetails
Produktinformationen zu „An Eclipse Environment for Z “
Klappentext zu „An Eclipse Environment for Z “
This book reports on the design, implementation andevaluation of a new interactive Z environment that is integratedinto the Eclipse environment. The Z language is a formalspecification notation that is used to describe and modelcomputer-based systems. For the widespread use of Z, it isdesirable to integrate Z support with amature and popular editingenvironment, such as Eclipse. Eclipse was chosen as the basis forthe new Z environment because it is widely used, it provides richfunctionality and it is designed to be extensible. The Zenvironment described in this book extends Eclipse to provide alarge set of useful features for editing and analyzing Zspecifications, such as a table of Z symbols, constant detection ofsyntax and type errors, outlining facilities, cross-referencing ofZ names and conversion between different Z markups. User feedbackshows that the resulting Z environment is helpful for editing andcorrecting Z specifications. The development of the Z support forEclipse isa part of the CZT (Community Z Tools) project, which isa Java framework for building Z tools and provides parsers,typecheckers and other Z tools.
Autoren-Porträt von Chengdong Xu
Chengdong Xu, MSc: Studied Computer Science at The University of Waikato, New Zealand.
Bibliographische Angaben
- Autor: Chengdong Xu
- 2008, 172 Seiten, Maße: 15 x 22 cm, Kartoniert (TB), Englisch
- Verlag: VDM Verlag Dr. Müller
- ISBN-10: 3639036999
- ISBN-13: 9783639036992
Sprache:
Englisch
Kommentar zu "An Eclipse Environment for Z"
0 Gebrauchte Artikel zu „An Eclipse Environment for Z“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "An Eclipse Environment for Z".
Kommentar verfassen