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.
Read more about Vienna Development Method: Philosophy, History, VDM Features, Tool Support, Industrial Experience, Refinement
Famous quotes containing the words vienna, development and/or method:
“All the terrors of the French Republic, which held Austria in awe, were unable to command her diplomacy. But Napoleon sent to Vienna M. de Narbonne, one of the old noblesse, with the morals, manners, and name of that interest, saying, that it was indispensable to send to the old aristocracy of Europe men of the same connection, which, in fact, constitutes a sort of free- masonry. M. de Narbonne, in less than a fortnight, penetrated all the secrets of the imperial cabinet.”
—Ralph Waldo Emerson (1803–1882)
“For the child whose impulsiveness is indulged, who retains his primitive-discharge mechanisms, is not only an ill-behaved child but a child whose intellectual development is slowed down. No matter how well he is endowed intellectually, if direct action and immediate gratification are the guiding principles of his behavior, there will be less incentive to develop the higher mental processes, to reason, to employ the imagination creatively. . . .”
—Selma H. Fraiberg (20th century)
“... [a] girl one day flared out and told the principal “the only mission opening before a girl in his school was to marry one of those candidates [for the ministry].” He said he didn’t know but it was. And when at last that same girl announced her desire and intention to go to college it was received with about the same incredulity and dismay as if a brass button on one of those candidate’s coats had propounded a new method for squaring the circle or trisecting the arc.”
—Anna Julia Cooper (1859–1964)