Blog
About

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

      A Tale of Two Case Studies: Using Integrated Methods to Support Rigorous Requirements Specification

      , , , *

      Proceedings of the Methods Integration Workshop (MI)

      Methods Integration Workshop

      25-26 March 1996

      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

          Integrated formal and informal specification techniques (FISTs) have been the focus of a number of research projects since the mid-eighties. Research in this area aim at producing specification techniques that integrate concepts and notations used in mature formal specification techniques (FSTs) and popular graphical modeling methods such as Structured Analysis (SA) and Object-Oriented Analysis (OOA).

          In this paper we illustrate, using the results of two case studies, two roles FSTs can play in the context of less formal graphical requirements modeling and analysis techniques. In the first case study discussed an extended Petri Net model is used to prototype a textbook SART (SA/Real-Time) model. In this case, the formal model acts as a prototype, and is used to dynamically validate the requirements expressed in the SART model. In the second case study an integrated OOA method (Fusion) and FST (Z) is used to create requirements models that are graphical and analyzable. In this case, the formal models act as more precise representations of the requirements captured by the graphical models.

          Related collections

          Author and article information

          Contributors
          Conference
          March 1996
          March 1996
          : 1-14
          Affiliations
          Department of Computer Science & Engineering

          Florida Atlantic University

          Boca Raton, FL-33431, USA.
          Article
          10.14236/ewic/MI1996.6
          © R. B. France et al. Published by BCS Learning and Development Ltd. Proceedings of the Methods Integration Workshop, Leeds

          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 Methods Integration Workshop
          MI
          Leeds, UK
          25-26 March 1996
          Electronic Workshops in Computing (eWiC)
          Methods Integration Workshop
          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