Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Auteur(s) : International Conference of B and Z Users (3 ; 2003 ; Turku, Finland)
Titre(s) : ZB 2003 [Texte électronique] : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings / Didier Bert [and others] (eds.)
Publication : Berlin ; New York : Springer, cop. 2003
Description matérielle : 1 online resource (xiii, 545 pages)
Collection : Lecture notes in computer science ; 2651
Note(s) : Includes bibliographical references and index
This book constitutes the refereed proceedings of the Third International Conference
of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full
papers presented together with 3 invited papers were carefully reviewed and selected
for inclusion in the book. The book documents the recent advances for the Z formal
specification notation and for the B method, spanning the full scope from foundational,
theoretical, and methodological issues to advanced applications, tools, and case studies
Autre(s) auteur(s) : Bert, Didier. Fonction indéterminée
Sujet(s) : Génie logiciel
Informatique
Logique mathématique
B (méthode formelle)
Z (méthode formelle)
Indice(s) Dewey :
005.133 (23e éd.) = Langages de programmation particuliers [Swift] ; 005.133 (23e éd.) =
Identifiants, prix et caractéristiques : ISBN 9783540448808
Identifiant de la notice : ark:/12148/cb44690327s
Notice n° :
FRBNF44690327
(notice reprise d'un réservoir extérieur)
Table des matières : 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 w