ZB 2002: Formal Specification and Development in Z and B 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Bert, Didier (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Bowen, Jonathan P. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Henson, Martin C. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Robinson, Ken (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Έκδοση: 1st ed. 2002.
• Σειρά: Lecture Notes in Computer Science, 2272
• Θέματα: Software engineering.; Programming languages (Electronic computers).; Mathematical logic.; Software Engineering/Programming and Operating Systems.; Programming Languages, Compilers, Interpreters.; Mathematical Logic and Foundations.; Software Engineering.; Mathematical Logic and Formal Languages.

Πίνακας περιεχομένων:

• 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.