Industrial Experience
VDM has been applied widely in a variety of application domains. The most well-known of these applications are:
- Ada and CHILL compilers: The first European validated Ada compiler was developed by DDC-International using VDM. Likewise the semantics of CHILL and Modula-2 were described in their standards using VDM.
- ConForm: An experiment at British Aerospace comparing the conventional development of a trusted gateway with a development using VDM.
- Dust-Expert: A project carried out by Adelard in the UK for a safety related application determining that the safety is appropriate in the layout of industrial plants.
- The development of VDMTools: Most components of the VDMTools tool suite are themselves developed using VDM. This development has been made at IFAD in Denmark and CSK in Japan.
- TradeOne: Certain key components of the TradeOne back-office system developed by CSK systems for the Japanese stock exchange were developed using VDM. Comparative measurements exist for developer productivity and defect density of the VDM-developed components versus the conventionally developed code.
- FeliCa Networks have reported the development of an operating system for an integrated circuit for cellular telephone applications.
Read more about this topic: Vienna Development Method
Famous quotes containing the words industrial and/or experience:
“The two most far-reaching critical theories at the beginning of the latest phase of industrial society were those of Marx and Freud. Marx showed the moving powers and the conflicts in the social-historical process. Freud aimed at the critical uncovering of the inner conflicts. Both worked for the liberation of man, even though Marx’s concept was more comprehensive and less time-bound than Freud’s.”
—Erich Fromm (1900–1980)
“You can’t, in sound morals, condemn a man for taking care of his own integrity. It is his clear duty. And least of all can you condemn an artist pursuing, however humbly and imperfectly, a creative aim. In that interior world where his thought and his emotions go seeking for the experience of imagined adventures, there are no policemen, no law, no pressure of circumstance or dread of opinion to keep him within bounds. Who then is going to say Nay to his temptations if not his conscience?”
—Joseph Conrad (1857–1924)