The Specification and Implementation of a DEMO Supporting CASE-Tool

Communication Modeling - The Language / Action Perspective - J.L.G. Dietz, N.B.J van der Rijst & F.L.H. Stollman - 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 Excelerator1 as the implementation platform. - Our website uses cookies to help improve your experience. Find out more by reading our - .