Vienna Development Method
This chapter presents the Vienna Development Method, which is one of the older formal specification languages. It was developed at the IBM laboratory in Vienna as a method to specify the semantics of the PL/1 programming language, and it evolved into a formal specification language with a rigorous software development method with rules to verify the steps of development. The rules enable the executable specification, i.e. the detailed code, to be obtained from the initial specification via refinement steps, such that the executable code is a valid implementation of the formal specification.
- 1.D. Bjørner, C. Jones, Formal Specification and Software Development. Prentice Hall International Series in Computer Science (1982)Google Scholar
- 2.M.M.A. Airchinnigh, Computation Models and Computing. Ph.D. thesis, Dept. of Computer Science. Trinity College DublinGoogle Scholar
- 3.D. Andrews, D. Ince, Practical Formal Methods with VDM (McGraw Hill International, 1991)Google Scholar
- 4.C. Jones, Systematic Software Development Using VDM (Prentice Hall International, 1986)Google Scholar