ENGLISH

ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

By Steve Schneider (eds.) , Steve King , Cliff B. Jones (auth.) , Helen Treharne , Martin Henson

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2005
ISBN
3540255591, 9783540255598
DOI
10.1007/b135596
LCC
QA76.73.B3 I573 2005
Open Library ID
OL3480238M
Language
english
Format
PDF
Filesize
7 MB (7238730 bytes)
Series
Lecture Notes in Computer Science 3455 : Programming and Software Engineering
Edition
1
Pages
496\506
Library
Kolxo3
Time added
2011-02-14 12:09:19
Software Engineering; Logics and Meanings of Progr

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.

Similar books