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
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , , |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science
2272 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • 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, Didier Bert ... [et al.] (eds.), Berlin, Springer, 2002, 1 vol. (XII-534 p.), Lecture notes in computer science, 3-540-43166-7 • ZB 2002: Formal Specification and Development in Z and B, Texte imprimé, 9783662164389 |
İçindekiler:
- 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.