ZB 2005 [electronic resource] : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings /
Helen Treharne ... [et al.] (eds.).
Berlin ; New York : Springer, 2005.
xv, 491 p. : ill. ; 24 cm.
3540255591 (pbk.), 9783540255598
More Details
added author
Berlin ; New York : Springer, 2005.
3540255591 (pbk.)
Licensed for access by U. of T. users.
general note
Conference proceedings.
catalogue key
Includes bibliographical references and index.
A Look Inside
Main Description
This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, UK in April 2005. The 25 revised full papers presented together with extended abstracts of 2 invited papers were carefully reviewed and selected for inclusion in the book. The papers document the recent advances for the Z formal specification notation and for the B method, ranging from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.
Table of Contents
Specification before satisfaction : the case for research into obtaining the right specificationp. 1
Visualising larger state spaces in ProBp. 6
Non-atomic refinement in Z and CSPp. 24
Process refinement in Bp. 45
CZT : a framework for Z toolsp. 65
Model checking Z specifications using SALp. 85
Proving properties of stateflow models using ISO standard Z and CADiZp. 104
A stepwise development of the Peterson's mutual exclusion algorithm using B abstract systemsp. 124
An extension of event B for developing grid systemsp. 142
The challenge of probabilistic event Bp. 162
Requirements as conjectures : intuitive DVD menu navigationp. 172
A prospective-value semantics for the GSLp. 187
Retrenchment and the B-toolkitp. 203
Refinement and reachability in EventöBp. 222
A rigorous foundation for pattern-based design modelsp. 242
An object-oriented structuring for Z based on viewsp. 262
Component reuse in B using ACL2p. 279
GeneSyst : a tool to reason about behavioral aspects of B event specifications : application to security propertiesp. 299
Formal verification of a type flaw attack on a security protocol using object-Zp. 319
Using B as a high level programming language in an industrial project : Roissy VALp. 334
Development via refinement in probabilistic B - foundation and case studyp. 355
Formal program development with approximationsp. 374
Practical data refinement for the Z schema calculusp. 393
Slicing object-Z specifications for verificationp. 414
Checking JML specifications with B machinesp. 434
Including design guidelines in the formal specification of interfaces in Zp. 454
Some guidelines for formal development of Web-based applications in B-methodp. 472
Table of Contents provided by Blackwell. All Rights Reserved.

This information is provided by a service that aggregates data from review sources and other sources that are often consulted by libraries, and readers. The University does not edit this information and merely includes it as a convenience for users. It does not warrant that reviews are accurate. As with any review users should approach reviews critically and where deemed necessary should consult multiple review sources. Any concerns or questions about particular reviews should be directed to the reviewer and/or publisher.

  link to old catalogue

Report a problem