ZB 2002: formal specification and development in Z and B [electronic resource] : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings /
Didier Bert ... [et al.] (eds.).
Berlin : Springer, 2002.
xii, 534 p. : ill. ; 24 cm.
3540431667 (pbk.)
More Details
A Look Inside
Main Description
This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 24 papers presented together with three invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope is covered, ranging from foundational and theoretical issues to advanced applications, tools, and case studies.
Main Description
Viele Dinge sind schön. Viele Dinge sind nützlich. Aber nur wenige schreiben schon kurz nach ihrem Erscheinen Geschichte. Die Bücher der Reihe 'Design-Klassiker' widmen sich ausgewählten Produkten, die in Form, Funktion und Markenkommunikation neue Maßstäbe setzten. Jeder Band informiert mit zahlreichen Fotos und kurzen, aufschlussreichen Texten über die Geschichte des jeweiligen Kult-Objekts sowie über die Personen, die sie entworfen haben.
Table of Contents
Theories, Implementations, and Transformationsp. 1
Incremental Proof of the Producer/Consumer Property for the PCI Protocolp. 22
Controlling Control Systems: An Application of Evolving Retrenchmentp. 42
Checking Z Data Refinements Using an Animation Toolp. 62
Encoding Object-Z in Isabelle/HOLp. 82
Characters + Mark-up = Z Lexisp. 100
Extraction of Abstraction Invariants for Data Refinementp. 120
An Approach to Combining B and Alloyp. 140
Software Construction by Stepwise Feature Introductionp. 162
The Semantics of Circusp. 184
Handling Inconsistencies in Z Using Quasi-Classical Logicp. 204
Loose Specification and Refinement in Zp. 226
On Using Conditional Definitions in Formal Theoriesp. 242
A Theory of Generalised Substitutionsp. 270
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testingp. 291
A Comparison of the BTT and TTF Test-Generation Methodsp. 309
A Formal Analysis of the CORBA Security Servicep. 330
Type Synthesis in B and the Translation of B to PVSp. 350
öHigher-Orderö Mathematics in Bp. 370
ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industriesp. 394
Generalised Substitution Language and Differentialsp. 396
Communicating B Machinesp. 416
Synchronized Parallel Composition of Event Systems in Bp. 436
Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Studyp. 458
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptionsp. 477
A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraintsp. 497
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Developmentp. 517
Author Indexp. 535
Table of Contents provided by Publisher. All Rights Reserved.

This information is provided by a service that aggregates data from review sources and other sources that are often consulted by libraries, and readers. The University does not edit this information and merely includes it as a convenience for users. It does not warrant that reviews are accurate. As with any review users should approach reviews critically and where deemed necessary should consult multiple review sources. Any concerns or questions about particular reviews should be directed to the reviewer and/or publisher.

  link to old catalogue

Report a problem