Experience using VDM in STC
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.
KeywordsFormal Method Specification Language Architectural Design Industrial Context Elementary Object
Unable to display preview. Download preview PDF.
- C.B. Jones 'software Development: A Rigourous Approach’ 1980 Prentice-Hall, 1980Google Scholar
- P. Jackson, ‘Green Language Reference Manual', STC-IDEC 714-96410-UV, 30th March, 1985Google Scholar
- R. Shaw & A. Walshe, ‘Concrete Syntax for the STC VDM Reference Language', 725 05305, October, 1985Google Scholar
- B. Monahan & A. Walshe, ‘Context Conditions for the STC VDM Reference Language', 725 05308, February 1986Google Scholar
- D. Bjorner, B.T. Denvir, E. Meiling, J.S. Pedersen, ‘The RAISE Project — Fundamental Issues and Requirements', RAISE/DDC/EM/1/v6, 10th December, 1985Google Scholar
- J.M.D. Ash & R.J. Crispin, ‘Management Issues', RAISE/STC/JMDA/6/v3, 29th August, 1986Google Scholar
- A. Goldberg & D. Robson, 'sMALLTALK-80 The Language and its Implementation', 1983Google Scholar
- P. Jackson, ‘PDL Checker User Guide', STC-IDEC 714-96411-UW, 29th March, 1985Google Scholar