Blog
About

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

      Computer Aided Incremental Specification

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

      Irish Workshop on Formal Methods

      3-4 July 1997

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          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.

          Related collections

          Most cited references 1

          • Record: found
          • Abstract: not found
          • Article: not found

          Structured algebraic specifications: A Kernel language

            Bookmark

            Author and article information

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

            Belfield, Dublin 4, Ireland
            Article
            10.14236/ewic/FM1997.2
            © 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