Vienna Development Method

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). 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.

单词	Vienna Definition Method
释义	Vienna Definition Method 英语百科 Vienna Development Method 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). 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.
随便看	reverse osmosis unit的意思 reverse osmosis unit, ROU的意思 reverse osmosis water的意思 reverse osmosis water purification units的意思 Reverse Osmosis Water System的意思 reverse osmotic method的意思 reverse osmotic treatment for sewage的意思 reverse ourselves about的意思 reverse out的意思 reverse overcurrent relay的意思 reverse overjer的意思 reverse overjet的意思 reverse panda的意思 reverse pass的意思 reverse passive anaphylaxis的意思 reverse passive Arthus reaction的意思 reverse passive hemagglutination的意思 Reverse path forwarding的意思 reverse payments的意思 reverse peak potential的意思 reverse peak voltage的意思 reverse pedal的意思 reverse pedal shaft的意思 Reverse Peristalsis的意思 Reverse phase的意思

Vienna Definition Method

Vienna Development Method