he Vienna Development Method (VDM) is one of the longest-established Formal Methods for the development of computer-based systems. Originating in work done at IBM's Vienna Laboratory[1] in the 1970s, it has grown to include a group of techniques and tools based on a formal specification language - the VDM Specification Language (VDM-SL).

Скачать книгу бесплатно (djvu, 1.81 Mb)

---

Читать «The Vienna Development Method.. The Meta-Language»