What do you think?
Rate this book
Systematic Software Development Using VDM
A practical guide to software development using VDM, 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.
The aim of this book is to contribute to the wider use of formal methods in the specification and design of computer systems. VDM was developed in an industrial environment and is one of the most widely used formal methods. VDM is used in this book because it has achieved a level of maturity and acceptance: it has been taught for many years and has been used in a wide variety of applications.
This book teaches a particular systematic approach to software development concentrating on the stages from specification through design to implementation. The term formal methods embraces formal specification and verified design. Many aspects of a computer system must be specified including performance and cost. In this book attention is focused on functional specification (i.e. what the system does); the term specification is, however, used below without qualification for brevity.
The aim of this book is to contribute to the wider use of formal methods in the specification and design of computer systems. VDM was developed in an industrial environment and is one of the most widely used formal methods. VDM is used in this book because it has achieved a level of maturity and acceptance: it has been taught for many years and has been used in a wide variety of applications.
This book teaches a particular systematic approach to software development concentrating on the stages from specification through design to implementation. The term formal methods embraces formal specification and verified design. Many aspects of a computer system must be specified including performance and cost. In this book attention is focused on functional specification (i.e. what the system does); the term specification is, however, used below without qualification for brevity.
350 pages, Paperback
First published February 1, 1980
10 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
Displaying 1 of 1 review
May 2, 2020
I have had this book on my shelf for many years. I got stuck into it whilst at home and couldn’t believe how wonderful it is. Clarity is brilliant. My only surprise is why it isn’t more well know and then why it isn’t referenced more.
Displaying 1 of 1 review