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

      A Use Case Interpretation of B AMN

      2nd Irish Workshop on Formal Methods (FM)

      Irish Workshop on Formal Methods

      2-3 July 1998

      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

          In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure through refinement. We start with a use case analysis to find the functionality of the system, and then use a number of objects to specify the use case in greater detail. We separate data, interface and behavioural aspects of the specification in order to minimise changes in the problem domain. We illustrate the method using a simple case study, and discuss other object-oriented concepts such as components and design patterns.

          Related collections

          Most cited references 1

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

          A fully abstract semantics of classes for Object-Z

           Graeme Smith (1995)
            Bookmark

            Author and article information

            Conference
            July 1998
            July 1998
            : 1-13
            Affiliations
            University of Teesside

            Middlesbrough, Cleaveland TS1 3BA, UK
            Article
            10.14236/ewic/FM1998.13
            © Richard Shore. Published by BCS Learning and Development Ltd. 2nd Irish Workshop on Formal Methods, Cork, Ireland

            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/

            2nd Irish Workshop on Formal Methods
            FM
            2
            Cork, Ireland
            2-3 July 1998
            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