@inproceedings{02f6840fa08743f8806a45e5786d05bf,
title = "Support environments for VDM",
abstract = "This paper discusses the experiences and issues of building two different levels of system to support the use of VDM. The MULE system is an example of an environment giving support in the syntactic generation of formal objects, such as specifications. The IPSE 2.5 system is an attempt to produce an industrial scale system to support the use of formal methods over the whole of a software development life cycle.",
author = "Jones, {Kevin D.}",
note = "Publisher Copyright: {\textcopyright} 1987, Springer-Verlag.; VDM-Europe Symposium : Formal Method at Work, 1987 ; Conference date: 23-03-1987 Through 26-03-1987",
year = "1987",
doi = "10.1007/3-540-17654-3_9",
language = "English",
isbn = "9783540176541",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "110--117",
editor = "Neuhold, {Erich J.} and Dines Bjorner and {Mac an Airchinnigh}, Micheal and Jones, {Cliff B.}",
booktitle = "VDM 1987",
address = "Germany",
}