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

      THE SPECIFICATION AND IMPLEMENTATION OF A DEMOSUPPORTING CASE-TOOL

      , ,

      Proceedings of the First International Workshop on Communication Modeling (CM)

      International Workshop on Communication Modeling

      1-2 July 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

          In this paper the functional specification of the CASE-tool DEMO crat is presented, which supports the system analysis method DEMO. DEMO crat covers four diagramming techniques. First the diagramming techniques are presented in a part of a case study. Next they are formally specified using one of them (the fact model) as the specification language. A prototype version of DEMO crat is implemented, using Excelerator1 as the implementation platform.

          Related collections

          Author and article information

          Conference
          July 1996
          July 1996
          : 1-14
          Affiliations
          Department of Information System, Delft University of Technology

          P.O. Box 356, 2600 AJ Delft, The Netherlands
          Article
          10.14236/ewic/CM1996.5
          © Jan L.G. Dietz et al. Published by BCS Learning and Development Ltd. Proceedings of the First International Workshop on Communication Modeling, Tilburg, The Netherlands

          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 First International Workshop on Communication Modeling
          CM
          1
          Tilburg, The Netherlands
          1-2 July 1996
          Electronic Workshops in Computing (eWiC)
          International Workshop on Communication Modeling
          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