Blog
About

88
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      Presenting Object Oriented Formal Requirements Specifications: Insights From An Action Research Study

      ,

      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

          This paper describes, in outline, our experiences in structuring and presenting formal requirements specifications, and in particular the insights gained from an action research study undertaken within the Western Australian state government. The overall aim of the project was to evaluate and enhance an information systems development method, known as FOOM (Formal Object Oriented Method). FOOM was synthesised from research into:

          • the object oriented approach

          • mathematically formal specific ation languages

          • socio-organisational contextual analysis.

          The paper focuses on a study of the communication between the specifier and the client—principally on the problems associated with specification validation—and the effect this had on the structure of a FOOM requirements specification document. The result of the study described was a specification structure which allows precise communication both between developers/designers and the less mathematically sophisticated users of the system. While the focus of the research was validation of specifications written in the formal specification language Object-Z [10], we argue that the results of our analysis are of importance in the elicitation, refinement and validation of requirements specifications whenever a formal modelling approach is to be adopted.

          Related collections

          Most cited references 6

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

          An Assessment of the Scientific Merits of Action Research

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

            Software Engineering

             Boehm (1976)
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              A specifier's introduction to formal methods

               J.M. Wing (1990)
                Bookmark

                Author and article information

                Conference
                September 1997
                September 1997
                : 1-15
                Affiliations
                Monash University

                Melbourne Australia
                Swinburne University of Technology

                Melbourne, Australia
                Article
                10.14236/ewic/FM1997.1
                © Danielle C. Fowler et al. 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-9358 BCS Learning & Development
                Self URI (journal page): https://ewic.bcs.org/
                Categories
                Electronic Workshops in Computing

                Comments

                Comment on this article