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:
“... men and women are not yet free.... The slavery of greed endures. Little child workers, the hope of the future, are sacrificed to industry. Young men are sent out by the billion to die for profits.... We must destroy industrial slavery and build industrial democracy.... The people everywhere must come into possession of the earth [second, third, and fourth ellipses in source].”
—Sara Bard Field (1882–1974)
“You know that fiction, prose rather, is possibly the roughest trade of all in writing. You do not have the reference, the old important reference. You have the sheet of blank paper, the pencil, and the obligation to invent truer than things can be true. You have to take what is not palpable and make it completely palpable and also have it seem normal and so that it can become a part of experience of the person who reads it.”
—Ernest Hemingway (1899–1961)