An Example of Formal Specification as an Aid to Design and Development

An Example of Formal Specification as an Aid to Design and Development
Author :
Publisher :
Total Pages : 22
Release :
ISBN-10 : OCLC:20233848
ISBN-13 :
Rating : 4/5 ( Downloads)

Book Synopsis An Example of Formal Specification as an Aid to Design and Development by : Robert B. Terwilliger

Download or read book An Example of Formal Specification as an Aid to Design and Development written by Robert B. Terwilliger and published by . This book was released on 1988 with total page 22 pages. Available in PDF, EPUB and Kindle. Book excerpt:


An Example of Formal Specification as an Aid to Design and Development Related Books

An Example of Formal Specification as an Aid to Design and Development
Language: en
Pages: 22
Authors: Robert B. Terwilliger
Categories: Computer software
Type: BOOK - Published: 1988 - Publisher:

GET EBOOK

ZUM'97: The Z Formal Specification Notation
Language: en
Pages: 452
Authors: Jonathan P. Bowen
Categories: Computers
Type: BOOK - Published: 1997-03-20 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997. The volume presents
The B Language and Method
Language: en
Pages: 240
Authors: Kevin Lano
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code
ZUM '95: The Z Formal Specification Notation
Language: en
Pages: 596
Authors: Jonathan P. Bowen
Categories: Computers
Type: BOOK - Published: 1995-08-23 - Publisher: Springer Science & Business Media

GET EBOOK

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 ca
Practical TLA+
Language: en
Pages: 234
Authors: Hillel Wayne
Categories: Computers
Type: BOOK - Published: 2018-10-11 - Publisher: Apress

GET EBOOK

Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ pr