Loughborough University
Leicestershire, UK
LE11 3TU
+44 (0)1509 263171
Loughborough University

Loughborough University Institutional Repository

Please use this identifier to cite or link to this item: https://dspace.lboro.ac.uk/2134/2750

Title: A formal development framework and its use to manage software production
Authors: Stone, R.G.
Cooke, D.J.
Issue Date: 1991
Publisher: © IEEE
Citation: STONE, R.G. and COOKE, D.J., 1991. A formal development framework and its use to manage software production. Tools and Techniques for Maintaining Traceability During Design, IEE Colloquium on Volume, 2 December 1991, pp. 10-11
Abstract: Within an ESPRIT project called FORMAST the authors devised the concept of a ƒorm to bring together all aspects of the development of a 'module' (i.e. specification, design and verification) within a distributed asynchronous system. The use of ƒorms can be extended to other compositional system development scenarios. Using ƒorms in a top-down fashion means that the logical interaction between the modules already designed and the formal specifications of modules required to complete the implementation can readily be ascertained. Moreover, this can be done at any stage of development. Thus one can maintain an overall view of the entire system design and use this to monitor the progress of program construction. This then provides a notion of traceability from a management standpoint.
URI: https://dspace.lboro.ac.uk/2134/2750
Appears in Collections:Published Articles (Computer Science)

Files associated with this item:

File Description SizeFormat
Formal Development Framework_stone.pdf36.66 kBAdobe PDFView/Open


SFX Query

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.