ZB 2002: Formal Specification and Development in Z and B

ZB 2002: Formal Specification and Development in Z and B
Author :
Publisher : Springer
Total Pages : 547
Release :
ISBN-10 : 9783540456483
ISBN-13 : 3540456481
Rating : 4/5 (481 Downloads)

Book Synopsis ZB 2002: Formal Specification and Development in Z and B by : Didier Bert

Download or read book ZB 2002: Formal Specification and Development in Z and B written by Didier Bert and published by Springer. This book was released on 2003-07-31 with total page 547 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


ZB 2002: Formal Specification and Development in Z and B Related Books

ZB 2002: Formal Specification and Development in Z and B
Language: en
Pages: 547
Authors: Didier Bert
Categories: Computers
Type: BOOK - Published: 2003-07-31 - Publisher: Springer

GET EBOOK

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 2
ZB 2005: Formal Specification and Development in Z and B
Language: en
Pages: 507
Authors: Helen Treharne
Categories: Computers
Type: BOOK - Published: 2005-04-07 - Publisher: Springer Science & Business Media

GET EBOOK

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 revise
Refinement in Z and Object-Z
Language: en
Pages: 498
Authors: John Derrick
Categories: Mathematics
Type: BOOK - Published: 2013-08-30 - Publisher: Springer Science & Business Media

GET EBOOK

Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and
Theoretical Aspects of Computing - ICTAC 2004
Language: en
Pages: 574
Authors: Zhiming Liu
Categories: Computers
Type: BOOK - Published: 2005-03-08 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects of Computing, ICTAC 2004. The 34 revi
Software Specification Methods
Language: en
Pages: 349
Authors: Henri Habrias
Categories: Computers
Type: BOOK - Published: 2013-03-01 - Publisher: John Wiley & Sons

GET EBOOK

This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The