Loughborough University
Browse
Formal Development Framework_stone.pdf (36.66 kB)

A formal development framework and its use to manage software production

Download (36.66 kB)
journal contribution
posted on 2007-04-05, 08:42 authored by Roger Stone, D.J. Cooke
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.

History

School

  • Science

Department

  • Computer Science

Pages

37537 bytes

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

Publisher

© IEEE

Publication date

1991

Language

  • en

Usage metrics

    Loughborough Publications

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC