Everything about Vienna Development Method
Formal method for the development of computer-based systems
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 the IBM Laboratory Vienna 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). It has an extended form, VDM++, which supports the modeling of object-oriented and concurrent systems. Support for VDM includes commercial and academic tools for analyzing models, including support for testing and proving properties of models and generating program code from validated VDM models. There is a history of industrial usage of VDM and its tools and a growing body of research in the formalism has led to notable contributions to the engineering of critical systems, compilers, concurrent systems and in logic for computer science. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Vienna Development MethodA 5-minute orientation
- Skim a recent paper: Development of a Diagnostic Method for Open/Short Circuit Faults in a Vienna Rectifier Based on the THD Method Using SOGI FLLInfluential work since 2022
- Pick up a classic book: American FilmThe most-reprinted book on the subject
- Read the landmark paper: Developing ada programs using the vienna development method (VDM)Cited 20 times
- Go sideways: Design by contractA closely related topic
- Go sideways: Union typeA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Developing ada programs using the vienna development method (VDM)
The programming language standards scene, ten years on Paper 15: Vienna Development Method Specification Language (VDM-SL)
Vienna contributions to the development of RK-methods
VDM - Vienna Development Method
🆕 Influential since 2022
📚 Books worth reading
American FilmAmerican Film Institute · 1975
A survey of European civilization.Wallace K. Ferguson · 1936
Agile Processes in Software Engineering and Extreme ProgrammingHubert Baumeister · 2013
Art since 1900Hal Foster, Rosalind E. Krauss · 2004
Illuminated manuscriptsJohn William Bradley · 1905
Watson's classic book on the play of the hand at bridgeLouis H. Watson · 1958
The life of St. Ignatius of LoyolaChristoph Genelli, Charles Sainte-Foi · 1871
Formal specification of complex reasoning systemsJan Treur, Thomas Wetter · 1993
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Design by contract Design by contract (DbC), also known as contract programming, programming by contract and design-by-contract programming, is an approach for designing…
- Union type In computer science, a union is a value that may have any of multiple representations or formats within the same area of memory, or a variable that may…
- Abstract data type In computer science, an abstract data type (ADT) is a mathematical model for data types, defined by its behavior (semantics) from the point of view of…
- Python syntax and semantics The syntax of the Python programming language is the set of rules that defines how a Python program will be written and interpreted (by both the runtime…
- TLA+ TLA+ is a formal specification language developed by Leslie Lamport. It is used for designing, modelling, documentation, and verification of programs,…
- SystemVerilog SystemVerilog, standardized as IEEE 1800 by the Institute of Electrical and Electronics Engineers (IEEE), is a hardware description and hardware verification…
- Set (abstract data type) In computer science, a set is an abstract data type that can store distinct values, without any particular order. It is a computer implementation of the…
- Standard ML Standard ML (SML) is a general-purpose, high-level, modular, functional programming language with compile-time type checking and type inference. It is…