Synopsis
Ce livre rend compte de la conception, de la mise en œuvre et de l'évaluation d'un nouvel environnement Z interactif intégré dans l'environnement Eclipse. Le langage Z est une notation de spécification formelle utilisée pour décrire et modéliser des systèmes informatiques. Pour une utilisation répandue de Z, il est souhaitable d'intégrer la prise en charge Z à un environnement d'édition mature et populaire, tel que Eclipse. Eclipse a été choisi comme base pour le nouvel environnement Z car il est largement utilisé, il offre des fonctionnalités riches et il est conçu pour être extensible. L'environnement Z décrit dans ce livre étend Eclipse pour fournir un large ensemble de fonctionnalités utiles pour l'édition et l'analyse des spécifications Z, telles qu'une table de symboles Z, la détection constante des erreurs de syntaxe et de type, la description des installations, le croisement des noms Z et la conversion entre différents balises Z. Les commentaires des utilisateurs montrent que l'environnement Z résultant est utile pour modifier et corriger les spécifications Z. Le développement de la prise en charge Z pour Eclipse fait partie du projet CZT (Community Z Tools), qui est un framework Java pour construire des outils Z et fournit des analyseurs, des vérificateurs de caractères et d'autres outils Z.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour An Eclipse Environment for Z
Image fournie par le vendeur
An Eclipse Environment for Z | The Integration of Z Language Support into Eclipse
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. An Eclipse Environment for Z | The Integration of Z Language Support into Eclipse | Chengdong Xu | Taschenbuch | Englisch | VDM Verlag Dr. Müller | EAN 9783639036992 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu. N° de réf. du vendeur 101805499
Acheter neuf
EUR 57,95
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image fournie par le vendeur
An Eclipse Environment for Z : The Integration of Z Language Support into Eclipse
impression à la demandeVendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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 is a part of the CZT (Community Z Tools) project, which isa Java framework for building Z tools and provides parsers,typecheckers and other Z tools. N° de réf. du vendeur 9783639036992
Acheter neuf
EUR 68,82
Expédition à EUR 61,23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
An Eclipse Environment for Z: The Integration of Z Language Support into Eclipse
Edité par
VDM Verlag, 2008
ISBN 10 : 3639036999
ISBN 13 : 9783639036992
Ancien ou d'occasion
Paperback
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. N° de réf. du vendeur ERICA79636390369996
Acheter D'occasion
EUR 154,77
Expédition à EUR 28,90
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)