THE SPECIFICATION AND IMPLEMENTATION OF A DEMOSUPPORTING CASE-TOOL
Jan L. G. Dietz, Nardo B. J. van der Rijst, Frank L. H. Stollman · Electronic workshops in computing · 1996
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.