Blog
About

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

      Nonmonotonic Reasoning and Formal Software Development

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

      Irish Workshop on Formal Methods

      3-4 July 1997

      Formal methods, software engineering, nonmonotonic reasoning, maximal consistency logics

      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 nonmonotonic reasoning provides a promising basis for meeting the demands inherent in the incomplete, evolving and inconsistent requirements that characterise large-scale industrial software systems. This paper explores formal reasoning in requirements analysis, design and implementation. It indicates how the notion of provability in maximal consistency logics might be used to extend current logical foundations for existing formal notations for specifying requirements. A number of definitions are then developed, using notions from level default theories to specify preference between consistent subsets of possibly inconsistent requirements, (partial) satisfaction of requirements by programs and by designs, the best subset of the requirements satisfied by a given design, implementation of a design and design improvement. These definitions provide a foundation for some very interesting directions for formal methods research.

          Related collections

          Most cited references 4

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

          A calculus of refinements for program derivations

           R. J. R. Back (1988)
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Formal refinement patterns for goal-driven requirements elaboration

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

              (In)completeness in specifications

                Bookmark

                Author and article information

                Conference
                September 1997
                September 1997
                : 1-10
                Affiliations
                Department of Computer Science, University of Wales Aberystwyth

                Aberystwyth, Ceredigion, Wales
                Article
                10.14236/ewic/FM1997.12
                © Edel Sherratt. 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