451
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

      proceedings-article
      2nd Irish Workshop on Formal Methods (FM)
      Irish Workshop on Formal Methods
      2-3 July 1998
      Bookmark

            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.

            Content

            Author and article information

            Conference
            July 1998
            July 1998
            : 1-13
            Affiliations
            [0001]University of Teesside

            Middlesbrough, Cleaveland TS1 3BA, UK
            Article
            10.14236/ewic/FM1998.13
            4cde6ef5-0376-48f0-85b5-f4d122cc8dd5
            © 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 (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FM1998.13
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article