ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29 September 2, 2000 : proceedings
This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000. The 25 revised full papers presented together with four invited contributions were carefully reviewed and selected for inclusion in the book. The...
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
1878 |
| 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 2000, formal specification and development in Z and B, first International Conference of B and Z Users, York, UK, August 29-September 2, 2000, proceedings, Jonathan P. Bowen, Steve Dunne, Andy Galloway... [et al.] (eds.), 2000, New York, Springer, 1 vol. (XIV-510 p.), Lecture notes in computer science, 3-540-67944-8 • ZB 2000: Formal Specification and Development in Z and B, Texte imprimé, 9783662180891 |
Indholdsfortegnelse:
- Meeting the Challenge of Object-Oriented Programming
- A Formal Mapping between UML Models and Object-Z Specifications
- A Generic Process to Refine a B Specification into a Relational Database Implementation
- Recursive Schema Definitions in Object-Z
- On Mutually Recursive Free Types in Z
- Reasoning Inductively about Z Specifications via Unification
- Reconciling Axiomatic and Model-Based Specifications Using the B Method
- Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context
- Automatic Construction of Validated B Components from Structured Developments
- Playing with Abstraction and Refinement for Managing Features Interactions
- A Formal Architecture for the 3APL Agent Programming Language
- How to Drive a B Machine
- Deriving Software Specifications from Event Based Models
- Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants
- Type-Constrained Generics for Z
- Typechecking Z
- Guards, Preconditions, and Refinement in Z
- Retrenchment, Refinement, and Simulation
- Performing Algorithmic Refinement before Data Refinement in B
- Program Development and Specification Refinement in the Schema Calculus
- Are Smart Cards the Ideal Domain for Applying Formal Methods
- Formal Methods for Industrial Products
- An Execution Architecture for GSL
- A Computation Model for Z Based on Concurrent Constraint Resolution
- Analysis of Compiled Code: A Prototype Formal Model
- Zzzzzzzzzzzzzzzzzzzzzzzzzz
- Segregation with Communication
- Closure Induction in a Z-Like Language
- Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z.