ZB 2003: Formal Specification and Development in Z and B
| Author | : Didier Bert |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 559 |
| Release | : 2003-05-20 |
| ISBN-10 | : 9783540402534 |
| ISBN-13 | : 3540402535 |
| Rating | : 4/5 (535 Downloads) |
Download or read book ZB 2003: Formal Specification and Development in Z and B written by Didier Bert and published by Springer Science & Business Media. This book was released on 2003-05-20 with total page 559 pages. Available in PDF, EPUB and Kindle. Book excerpt: The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.