The specification and implementation of a DEMO supporting CASE-tool

  • Authors:
  • Jan L. G. Dietz;Nardo B. J. Van Der Rijst;Frank L. H. Stollman

  • Affiliations:
  • Department of Information System, Delft University of Technology, AJ Delft, The Netherlands;Department of Information System, Delft University of Technology, AJ Delft, The Netherlands;Department of Information System, Delft University of Technology, AJ Delft, The Netherlands

  • Venue:
  • CM'96 Proceedings of the First international conference on Communication Modeling: The language/action perspective
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper the functional specification of the CASE-tool DEMOcrat is presented, which supports the system analysis method DEMO. DEMOcrat 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 DEMOcrat is implemented, using Excelerator as the implementation platform.