ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, ... (Lecture Notes in Computer Science, 2272) - Softcover

Softcover

ISBN 10: 3540431667 ISBN 13: 9783540431664

Publisher: Springer, 2002

Synopsis

These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23-25 January 2002 in the city of Grenoble in the heart of the French Alps. This conference built on the success of the rst con- rence in this series, ZB2000, held at the University ofYork in the UK. The location of ZB2002 in Grenoble re ects the important work in the area of formal methods carried out at the Laboratoire Logiciels Systemes ` Reseaux ´ within the Institut d'Informatique et Mathematiques ´ Appliquees ´ de Grenoble (LSR-IMAG), especially involving the B method. B and Z are two important formal methods that share a common conceptual o- gin; each are leading approaches applied in industry and academia for the speci cation and development (using formal re nement) of computer-based systems. At ZB2002 the B and Z communities were brought together to hold a second joint conference that simultaneously incorporated the 13th International Z User Meeting and the 4th Int- national Conference on the B method. Although organized logistically as an integral event, editorial control of the joint conference remained vested in two separate but c- perating program committees that respectively determined its B and Z content, but in a coordinated manner.

About this title

Synopsis

This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 24 papers presented together with three 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 is covered, ranging from foundational and theoretical issues to advanced applications, tools, and case studies.

Edition details

• Publisher: Springer
• Publication date: 2002
• Language: English
• ISBN 10: 3540431667
• ISBN 13: 9783540431664
• Binding: Paperback
• Number of pages: 552
• Editor: Bert Didier, Bowen Jonathan P., Henson Martin C., Robinson Ken