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.