Abstract
Introducing any new technology involves organisational, skill, method and tool changes, which require a commitment from the industry concerned. The introduction of formal methods into system and software design is no exception. Before the widespread use of formal methods can be achieved, it will be necessary for the IT industry to convince itself that the methods are genuinely usable in an industrial context, can be made to fit within the market and technical environment, and yield significant improvements over conventional methods. This paper describes some of the ways in which STC has used VDM to develop real systems and the benefits which we feel have been achieved. At the same time, some limitations of the existing methods have been noted, giving pointers for further development of the technology.
Preview
Unable to display preview. Download preview PDF.
References
C.B. Jones 'software Development: A Rigourous Approach’ 1980 Prentice-Hall, 1980
P. Jackson, ‘Green Language Reference Manual', STC-IDEC 714-96410-UV, 30th March, 1985
R. Shaw & A. Walshe, ‘Concrete Syntax for the STC VDM Reference Language', 725 05305, October, 1985
B. Monahan & A. Walshe, ‘Context Conditions for the STC VDM Reference Language', 725 05308, February 1986
D. Bjorner, B.T. Denvir, E. Meiling, J.S. Pedersen, ‘The RAISE Project — Fundamental Issues and Requirements', RAISE/DDC/EM/1/v6, 10th December, 1985
J.M.D. Ash & R.J. Crispin, ‘Management Issues', RAISE/STC/JMDA/6/v3, 29th August, 1986
A. Goldberg & D. Robson, 'sMALLTALK-80 The Language and its Implementation', 1983
P. Jackson, ‘PDL Checker User Guide', STC-IDEC 714-96411-UW, 29th March, 1985
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Crispin, R.J. (1987). Experience using VDM in STC. In: Bjørner, D., Jones, C.B., Mac an Airchinnigh, M., Neuhold, E.J. (eds) VDM '87 VDM — A Formal Method at Work. VDM 1987. Lecture Notes in Computer Science, vol 252. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17654-3_2
Download citation
DOI: https://doi.org/10.1007/3-540-17654-3_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17654-1
Online ISBN: 978-3-540-47740-2
eBook Packages: Springer Book Archive