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