Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Auteur(s) : International Conference of B and Z Users (1 ; 2000 ; York, England)
Goos, Gerhard
Titre(s) : ZB 2000 [Texte électronique] : 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 [and others] (eds.)
Publication : Berlin ; New York : Springer, cop. 2000
Description matérielle : 1 online resource (xiv, 510 pages)
Collection : Lecture notes in computer science ; 1878
Note(s) : Includes bibliographical references and index
English.
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 book documents the recent advances for
the Z formal specification notion and for the B method; the full scope, ranging from
foundational and theoretical issues to advanced applications, tools, and case studies,
is covered
Autre(s) auteur(s) : Bowen, Jonathan Peter (1956-....). Fonction indéterminée
Sujet(s) : Génie logiciel
Informatique
Programmation (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 9783540445258
Identifiant de la notice : ark:/12148/cb44690066v
Notice n° :
FRBNF44690066
(notice reprise d'un réservoir extérieur)
Table des matières : 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, Prec
