20
Formal Specifications—1 Model Oriented
Objectives
After reading this chapter, you should understand:
- What is a Software Specification
- Two methods for Formal Specifications – Model oriented and Algebraic
- VDM as a vehicle for model oriented formal specification
- Creating VDM models through a number of examples
- Specification Refinement
- Formal Proof Obligations
Who cares how it works, just as long as it gives the right answer.
—Jeff Scholnik
Walking on water and developing software from a specification are easy if both are frozen.
—Edward V Berard
Chapter Outline
Get Design and analysis of Algorithms, 2nd Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
