Software development: A rigorous approach

By Cliff B. Jones

Book Overview

A practical guide to software development using DVM, a mathematically based technique for formal specification and correctness reasoning. This edition uses BSI (draft) standard VDM notation, emphasizes the formal approach to specification and design and explains formal proofs for data types. This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0138218846
• ISBN13: 9780138218843
• Release Date: January 1980
• Publisher: Prentice/Hall International
• Length: 382 Pages
• Weight: 1.01 lbs.