| Popis: |
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. |
