Tool Support
A number of different tools support VDM:
- VDMTools are the leading commercial tools for VDM and VDM++, owned, marketed, maintained and developed by CSK Systems, building on earlier versions developed by the Danish Company IFAD. The manuals) and a practical tutorial are available. All licenses are available, free of charge, for the full version of the tool. The full version includes automatic code generation for Java and C++, dynamic link library and CORBA support.
- Overture is a community-based open source initiative aimed at providing freely available tool support for VDM++ on top of the Eclipse platform. Its aim is to develop a framework for interoperable tools that will be useful for industrial application, research and education.
- SpecBox: from Adelard provides syntax checking, some simple semantic checking, and generation of a LaTeX file enabling specifications to be printed in mathematical notation. This tool is freely available but it is not being further maintained.
- LaTeX and LaTeX2e macros are available to support the presentation of VDM models in the ISO Standard Language's mathematical syntax. They have been developed and are maintained by the National Physical Laboratory in the UK. Documentation and the macros are available online.
Read more about this topic: Vienna Development Method
Famous quotes containing the words tool and/or support:
“The veto is a President’s Constitutional right, given to him by the drafters of the Constitution because they wanted it as a check against irresponsible Congressional action. The veto forces Congress to take another look at legislation that has been passed. I think this is a responsible tool for a president of the United States, and I have sought to use it responsibly.”
—Gerald R. Ford (b. 1913)
“There are so many intellectual and moral angels battling for rationalism, good citizenship, and pure spirituality; so many and such eminent ones, so very vocal and authoritative! The poor devil in man needs all the support and advocacy he can get. The artist is his natural champion. When an artist deserts to the side of the angels, it is the most odious of treasons.”
—Aldous Huxley (1894–1963)