O'Reilly logo

Design and analysis of Algorithms, 2nd Edition by Himanshu B Dave

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

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

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required