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 /
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 / [electronic resource] :
edited by Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson.
- 1st ed. 2002.
- XI, 541 p. online resource.
- Lecture Notes in Computer Science, 2272 1611-3349 ; .
- Lecture Notes in Computer Science, 2272 .
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.
9783540456483
10.1007/3-540-45648-1 doi
Software engineering.
Compilers (Computer programs).
Mathematical logic.
Machine theory.
Software Engineering.
Compilers and Interpreters.
Mathematical Logic and Foundations.
Formal Languages and Automata Theory.
QA76.758
005.1
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.
9783540456483
10.1007/3-540-45648-1 doi
Software engineering.
Compilers (Computer programs).
Mathematical logic.
Machine theory.
Software Engineering.
Compilers and Interpreters.
Mathematical Logic and Foundations.
Formal Languages and Automata Theory.
QA76.758
005.1