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

      Models for Configuration Management of Refinement Calculus Developments

      proceedings-article

      Proceedings of the BCS-FACS 7th Refinement Workshop (RW)

      BCS-FACS 7th Refinement Workshop

      3-5 July 1996

      Bookmark

            Abstract

            This paper considers aspects of Software Configuration Management (SCM) in its role of supporting configurations that arise in development of software using the refinement calculus. From an SCMperspective, the primary difference between formal development methods, such as the refinement calculus, and traditional development methods is the nature of relationships within the development configuration. The relationships are very precise; occur at much finer levels of granularity; and evolve through an iterative/intertwined development process. In analysing support for the refinement calculus, this paper proposes a configuration model which defines the relationships that occur during development and how these relationships evolve as development activities are applied and modifications are made. The configuration model enables properties regarding relationships to be formally inferred. The results of these inferences may be used in developing automated support for refinement calculus developments, such as change impact analysis, traceability and remanufacturing services.

            Content

            Author and article information

            Contributors
            Conference
            July 1996
            July 1996
            : 1-25
            Affiliations
            [0001]Software Verification Research Centre

            Department of Computer Science

            The University of Queensland

            Queensland 4072, Australia
            Article
            10.14236/ewic/RW1996.13
            80c1a89d-260d-4c54-8e28-afecaddfce03
            © Kelvin J. Ross. Published by BCS Learning and Development Ltd. Proceedings of the BCS-FACS 7th Refinement Workshop, Bath

            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 BCS-FACS 7th Refinement Workshop
            RW
            7
            Bath
            3-5 July 1996
            Electronic Workshops in Computing (eWiC)
            BCS-FACS 7th Refinement 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