ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users Turku, Finland, June 4 6, 2003 : proceedings
Enregistré dans:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | , , |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
2651 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • ZB 2003, formal specification and development in Z and B, third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, proceedings, ed by Didier Bert, Jonathan P. Bowen, Steve King... [et al.], Berlin, Springer, 2003, 1 vol. (XIII-545 p.), Lecture notes in computer science, 3-540-40253-5 • ZB 2003: Formal Specification and Development in Z and B, Texte imprimé, 9783662180303 |
Indholdsfortegnelse:
- Alloy: A Logical Modelling Language
- An Outline Pattern Language for Z: Five Illustrations and Two Tables
- Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z
- Reuse of Specification Patterns with the B Method
- Composing Specifications Using Communication
- When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets
- How to Diagnose a Modern Car with a Formal B Model?
- Parallel Hardware Design in B
- Operation Refinement and Monotonicity in the Schema Calculus
- Using Coupled Simulations in Non-atomic Refinement
- An Analysis of Forward Simulation Data Refinement
- B#: Toward a Synthesis between Z and B
- Introducing Backward Refinement into B
- Expression Transformers in B-GSL
- Probabilistic Termination in B
- Probabilistic Invariants for Probabilistic Machines
- Proving Temporal Properties of Z Specifications Using Abstraction
- Compositional Verification for Object-Z
- Timed CSP and Object-Z
- Object Orientation without Extending Z
- Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z
- Towards Practical Proofs of Class Correctness
- Automatically Generating Information from a Z Specification to Support the Classification Tree Method
- Refinement Preserves PLTL Properties
- Proving Event Ordering Properties for Information Systems
- ZML: XML Support for Standard Z
- Formal Derivation of Spanning Trees Algorithms
- Using B Refinement to Analyse Compensating Business Processes
- A Formal Specification in B of a Medical Decision Support System
- Extending B with Control Flow Breaks
- Towards Dynamic Population Management of Abstract Machines in the B Method.