Systematic Software Development Using VDM

by Cliff B. Jones

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.

• Format: Paperback
• Language: English
• ISBN: 0138807337
• ISBN13: 9780138807337
• Release Date: January 1990
• Publisher: Prentice Hall
• Length: 333 Pages
• Weight: 1.20 lbs.