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

AvJonathan P. Bowen,Steve Dunne

Häftad, Engelska, 2000

Del i serien Lecture Notes in Computer Science

559 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2000-08-16
Mått:155 x 233 x 29 mm
Vikt:791 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:510
Upplaga:2000
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540679448

Utforska kategorier

Programvaruutveckling inom Data och IT

Innehållsförteckning

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.