Blog
About

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

      Object-Oriented Refinement and Proof using Behaviour Functions

      Rigorous Object-Oriented Methods 2000 (ROOM)

      Rigorous Object-Oriented Methods

      17 January 2000

      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 proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational category theory. The calculus aims to span the gulf between abstract specification and concrete implementation of object-oriented systems using mathematically verifiable properties and transformations. The calculus is compositional and can be used to express the behaviour of partial system views. The calculus is used to specify, analyse and refine a simple case study.

          Related collections

          Most cited references 3

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

          The next 700 programming languages

           P. Landin (1966)
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            A Review of Object-Oriented Approaches in Formal Methods

              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              The structure and semantics of actor languages

               Gul Agha (1991)
                Bookmark

                Author and article information

                Contributors
                Conference
                January 2000
                January 2000
                : 1-15
                Affiliations
                Department of Computing, University of Bradford

                West Yorkshire, BD7 1DP, UK
                Article
                10.14236/ewic/ROOM2000.2
                © Tony Clark. Published by BCS Learning and Development Ltd. Rigorous Object-Oriented Methods 2000

                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/

                Rigorous Object-Oriented Methods 2000
                ROOM
                York, UK
                17 January 2000
                Electronic Workshops in Computing (eWiC)
                Rigorous Object-Oriented 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