ZUM '95: The Z Formal Specification Notation

ZUM '95: The Z Formal Specification Notation

4.11 - 1251 ratings - Source



This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used qformal methodq both in industry and application, the volume is of high relevance for the whole formal methods community.The effectiveness of the technique has been demonstrated by its application to a number of BT system specifications[ 1]. ... The derivation of the signatures of the Z operations from the Data Flow Diagrams, Data Flow definitions and ... The specification we reviewed was one that had been reverse engineered from BTa#39;s existing Network Management System (NMS). ... in BTa#39;s Software Design College - a aquot;Top Gunaquot; school for the companya#39;s best designers of software intensive systems.


Title:ZUM '95: The Z Formal Specification Notation
Author: Jonathan P. Bowen, Michael G. Hinchey
Publisher:Springer Science & Business Media - 1995-08-23
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA