Blog
About

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

      Formal Specifications of Software Design Methods

      3rd Irish Workshop on Formal Methods (IWFM)

      Formal Methods

      1st - 2nd July 1999

      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

          A new approach to the formal specification of software design methods, such as ER or State Transition Diagrams, is presented. A formal language based on semantic constraints is used to specify those methods. An example using the UML’s Activity Diagrams is given which illustrates the proposed approach. The aim of this work is to provide a bridge across the gap between the formal methods and the less formal ones used in software design.

          Related collections

          Most cited references 1

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

          A metamodel approach for the management of multiple models and the translation of schemes

            Bookmark

            Author and article information

            Contributors
            Conference
            July 1999
            July 1999
            : 1-17
            Affiliations
            Departamento de Electrónica e Telecomunicações, University of Aveiro

            Aveiro, Portugal
            Article
            10.14236/ewic/IWFM1999.16
            © J. Artur Serrano. Published by BCS Learning and Development Ltd. 3rd Irish Workshop on Formal Methods

            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 Irish Workshop on Formal Methods
            IWFM
            3
            Galway, Ireland
            1st - 2nd July 1999
            Electronic Workshops in Computing (eWiC)
            Formal 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