Ebook: The Vienna Development Method: The Meta-Language
- Genre: Computers
- Tags: Mathematical Logic and Formal Languages, Logics and Meanings of Programs
- Series: Lecture Notes in Computer Science 61
- Year: 1978
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- djvu
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).
Download the book The Vienna Development Method: The Meta-Language for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)