Bjorner D.(ed.), Jones C.B.(ed.) — The Vienna Development Method. The Meta-Language (Lecture Notes in Computer Science, 61)
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: The Vienna Development Method. The Meta-Language (Lecture Notes in Computer Science, 61)
Авторы: Bjorner D.(ed.), Jones C.B.(ed.)
Аннотация:
The 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 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).
|
|
О проекте