458
views
0
recommends
+1 Recommend
1 collections
    4
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Computer Aided Incremental Specification

      proceedings-article

      Proceedings of the 1st Irish Workshop on Formal Methods (FM)

      Irish Workshop on Formal Methods

      3-4 July 1997

      Bookmark

            Abstract

            Formal requirements specifications play an important role in enhancing the reliability and effectiveness of software development. They provide a precise, unambiguous standard for the construction of a system and raise the confidence in a planned system by enabling a proper mathematical analysis of its requirements. The construction of formal specifications can be effectively supported by computer based tools if those tools are suitably tuned to the logic of composing specifications. In this paper we discuss the possibility of providing 'intelligent' assistance during the incremental construction of well designed and reliable algebraic specifications of complex (software) systems. Based on a model of the specification process, we show how the demand to preserve certain properties in the evolving specification can be exploited to design functions of a specification tool which assist the process in an effective manner.

            Content

            Author and article information

            Contributors
            Conference
            September 1997
            September 1997
            : 1-12
            Affiliations
            [0001]Dept. of Computer Science, University College Dublin

            Belfield, Dublin 4, Ireland
            Article
            10.14236/ewic/FM1997.2
            3746b1c3-8100-4c24-b2de-ae581890bd65
            © Franz Geiselbrechtinger. Published by BCS Learning and Development Ltd. Proceedings of the 1st Irish Workshop on Formal Methods, Dublin

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Proceedings of the 1st Irish Workshop on Formal Methods
            FM
            1
            Dublin
            3-4 July 1997
            Electronic Workshops in Computing (eWiC)
            Irish Workshop on Formal Methods
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article