1 option
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 / edited by Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 2272.
- Lecture Notes in Computer Science, 0302-9743 ; 2272
- Language:
- English
- Subjects (All):
- Software engineering.
- Programming languages (Electronic computers).
- Logic, Symbolic and mathematical.
- Software Engineering/Programming and Operating Systems.
- Programming Languages, Compilers, Interpreters.
- Mathematical Logic and Foundations.
- Software Engineering.
- Mathematical Logic and Formal Languages.
- Local Subjects:
- Software Engineering/Programming and Operating Systems.
- Programming Languages, Compilers, Interpreters.
- Mathematical Logic and Foundations.
- Software Engineering.
- Mathematical Logic and Formal Languages.
- Physical Description:
- 1 online resource (XI, 541 pages).
- Edition:
- First edition 2002.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
- System Details:
- text file PDF
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-45648-3
- 9783540456483
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.