MURAL - Maynooth University Research Archive Library

    Making Changes to Formal Specifications: Requirements and an Example

    Bustard, W.E. and Winstanley, Adam C. (1994) Making Changes to Formal Specifications: Requirements and an Example. IEEE Transactions on Software Engineering, 20 (8). pp. 562-568. ISSN 0098-5589

    Download (751kB) | Preview

    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...

    Add this article to your Mendeley library


    Formal methods have had little impact on software engineering practice, despite the fact that most software engineering practitioners readily acknowledge the potential benefits to be gained from the mathematical modeling involved. One reason is that existing modeling techniques tend not to address basic software engineering concerns. In particular, while considerable attention has been paid to the construction of formal models, less attractive maintenance issues have largely been ignored. The purpose of this paper is to clarify those issues and examine the underlying requirements for change support. The discussion is illustrated with a description of a change technique and tool developed for the formal notation LOTOS. This work was undertaken as part of the SCAFFOLD project, which was concerned with providing broad support for the construction and analysis of formal specifications of concurrent systems. Most of the discussion is applicable to other process-oriented notations such as CCS and CSP.

    Item Type: Article
    Keywords: Formal specifications; Software engineering; Mathematical model; Carbon capture and storage; Process control; Algebra; Programming; Software design; Instruction sets; Software tools;
    Academic Unit: Faculty of Science and Engineering > Computer Science
    Item ID: 8073
    Identification Number:
    Depositing User: Dr. Adam Winstanley
    Date Deposited: 27 Mar 2017 11:26
    Journal or Publication Title: IEEE Transactions on Software Engineering
    Publisher: IEEE
    Refereed: Yes
    Use Licence: This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here

    Repository Staff Only(login required)

    View Item Item control page


    Downloads per month over past year

    Origin of downloads