Blog
About

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

      IO-refinement in Z

      ,

      3rd BCS-FACS Northern Formal Methods Workshop (NFM)

      BCS-FACS Northern Formal Methods Workshop

      14-15 September 1998

      data refinement, Z, interface refinement, input/output

      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

          We present a generalisation of data refinement in Z, called IO-refinement, that allows changes in input and output parameters of operations. Several informal motivations for the desirability of such a refinement relation are given, followed by a formal derivation that demonstrates its theoretical soundness. It is proved that IO-refinement indeed generalizes data refinement. Several theorems are presented that give sufficient conditions for IO-refinement to hold in simpler situations, e.g. just adding inputs and outputs. Some examples of the use of IO-refinement are also given.

          Related collections

          Most cited references 4

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

          Data refinement refined resume

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

            Consistency and refinement for partial specification in Z

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

              Specification by interface separation

                Bookmark

                Author and article information

                Conference
                September 1998
                September 1998
                : 1-18
                Affiliations
                Computing Laboratory, University of Kent

                Canterbury, Kent, U.K.
                Article
                10.14236/ewic/NFM1998.3
                © Eerke Boiten et al. Published by BCS Learning and Development Ltd. 3rd BCS-FACS Northern Formal Methods Workshop, Ilkley, UK

                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/

                3rd BCS-FACS Northern Formal Methods Workshop
                NFM
                3
                Ilkley, UK
                14-15 September 1998
                Electronic Workshops in Computing (eWiC)
                BCS-FACS Northern Formal Methods 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