ISBN: 9783540431664 - zb 2002: formal specification and development in z and b: 2nd international conference of b and z users grenoble, france, january 23-25, 2002, ... notes in computer science, 2272, band 2272) (2 Ergebnisse)

Zustand: As New. Unread book in perfect condition.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Theories, Implementations, and Transformations.- Incremental Proof of the Producer/Consumer Property for the PCI Protocol.- Controlling Control Systems: An Application of Evolving Retrenchment.- Checking Z Data Refinements Using an Animation Tool.- Encoding Object-Z in Isabelle/HOL.- Characters + Mark-up = Z Lexis.- Extraction of Abstraction Invariants for Data Refinement.- An Approach to Combining B and Alloy.- Software Construction by Stepwise Feature Introduction.- The Semantics of Circus.- Handling Inconsistencies in Z Using Quasi-Classical Logic.- Loose Specification and Refinement in Z.- On Using Conditional Definitions in Formal Theories.- A Theory of Generalised Substitutions.- Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing.- A Comparison of the BTT and TTF Test-Generation Methods.- A Formal Analysis of the CORBA Security Service.- Type Synthesis in B and the Translation of B to PVS.- 'Higher-Order' Mathematics in B.- ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries.- Generalised Substitution Language and Differentials.- Communicating B Machines.- Synchronized Parallel Composition of Event Systems in B.- Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study.- Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions.- A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints.- Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development.…