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

      INTEGRATED FORMAL and OBJECT-ORIENTED METHODS: The VDM ++ Approach

      ,

      Proceedings of the Methods Integration Workshop (MI)

      Methods Integration Workshop

      25-26 March 1996

      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 describes methods integration techniques and tools developed for the VDM ++ formal specification language. Case studies which have been carried out for the language using tool support for the integrated development method are also described. The original features of the method are its use of highly abstract initial specifications to avoid the design bias of object-oriented structuring, and the formal treatment of structural transformations.

          Related collections

          Author and article information

          Conference
          March 1996
          March 1996
          : 1-21
          Affiliations
          Dept. of Computing, Imperial College, 180 Queens Gate,

          London, SW7 2BZ, UK
          Article
          10.14236/ewic/MI1996.10
          © K. Lano et al. Published by BCS Learning and Development Ltd. Proceedings of the Methods Integration Workshop, Leeds

          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 Methods Integration Workshop
          MI
          Leeds, UK
          25-26 March 1996
          Electronic Workshops in Computing (eWiC)
          Methods Integration 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