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 /

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 /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Bert, Didier (Editor, http://id.loc.gov/vocabulary/relators/edt), Bowen, Jonathan P. (Editor, http://id.loc.gov/vocabulary/relators/edt), King, Steve (Editor, http://id.loc.gov/vocabulary/relators/edt), Waldén, Marina (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
Edition:1st ed. 2003.
Series:Lecture Notes in Computer Science, 2651
Subjects:
Software engineering.
Computer logic.
Mathematical logic.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Online Access:Full Text via HEAL-Link
Table of Contents:
  • 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.

Similar Items