Editing Vienna Development Method (section)

==Industrial experience==
VDM has been applied widely in a variety of application domains. The most well-known of these applications are:
* [[Ada (programming language)|Ada]] and [[CHILL]] [[compiler]]s: The first European validated Ada compiler was developed by [[Dansk Datamatik Center]] using VDM.<ref>{{cite journal | title=Retargeting and rehosting the DDC Ada compiler system: A case study – the Honeywell DPS 6 | first=Geert B. | last=Clemmensen | journal=ACM SIGAda Ada Letters | volume=6 | issue=1 | date=January 1986 | pages=22–28|doi = 10.1145/382256.382794| s2cid=16337448 }}</ref> 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 [http://www.ifad.dk/ IFAD] in [[Denmark]] and [[CSK Holdings Corporation|CSK]] in [[Japan]].<ref>Peter Gorm Larsen, [http://www.jucs.org/jucs_7_8/ten_years_of_historical;internal&action=noaction&Parameter=1189241867787 "Ten Years of Historical Development "Bootstrapping" VDMTools"] {{Webarchive|url=https://web.archive.org/web/20210123052449/http://www.jucs.org/jucs_7_8/ten_years_of_historical%3Binternal%26action%3Dnoaction%26Parameter%3D1189241867787 |date=23 January 2021 }}, In ''Journal of Universal Computer Science'', volume 7(8), 2001</ref>
* 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.