Dieses Buch kaufen
- Über dieses Buch
-
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method.
The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.
- Inhaltsverzeichnis (48 Kapitel)
-
-
Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity
Seiten 1-3
-
The High Road to Formal Validation:
Seiten 4-23
-
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach
Seiten 24-38
-
Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract)
Seiten 39-41
-
Model Based Refinement and the Tools of Tomorrow
Seiten 42-56
-
Inhaltsverzeichnis (48 Kapitel)
Dieses Buch kaufen
Services zu diesem Buch
Wir empfehlen
Bibliografische Information
- Bibliographic Information
-
- Buchtitel
- Abstract State Machines, B and Z
- Buchuntertitel
- First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
- Herausgeber
-
- Egon Börger
- Michael Butler
- Jonathan P. Bowen
- Paul Boca
- Titel der Buchreihe
- Theoretical Computer Science and General Issues
- Buchreihen Band
- 5238
- Copyright
- 2008
- Verlag
- Springer-Verlag Berlin Heidelberg
- Copyright Inhaber
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-87603-8
- DOI
- 10.1007/978-3-540-87603-8
- Softcover ISBN
- 978-3-540-87602-1
- Auflage
- 1
- Seitenzahl
- XII, 384
- Themen
*sofort verfügbar bei Bestellung eines Print-Titels, da es aufgrund der COVID-19-Situation zu Lieferverzögerungen kommen kann. Dieses Angebot ist befristet und richtet sich nach der Verfügbarkeit des eBook-Titels. Das eBook geht nicht in Ihren Besitz über - Sie erhalten einen zeitlich begrenzten Zugriff. Springer Reference Works sind davon ausgenommen.
