THE SPECIFICATION AND IMPLEMENTATION OF A DEMOSUPPORTING CASE-TOOL

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.

Content

Author and article information

Conference

Publication date: July 1996

Publication date (Print): July 1996

Pages: 1-14

Affiliations

[0001]Department of Information System, Delft University of Technology

P.O. Box 356, 2600 AJ Delft, The Netherlands

Article

DOI: 10.14236/ewic/CM1996.5

SO-VID: b2bc4c70-74a7-4039-84a6-ed59c35855d0

License:

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/

Conference name: Proceedings of the First International Workshop on Communication Modeling

Conference acronym: CM

Conference number: 1

Conference location: Tilburg, The Netherlands

Conference date: 1-2 July 1996

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: International Workshop on Communication Modeling

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/CM1996.5

Self URI (journal page): https://ewic.bcs.org/

Studying business & IT? Drive your professional career forwards with BCS books - for a 20% discount click here: shop.bcs.org

THE SPECIFICATION AND IMPLEMENTATION OF A DEMOSUPPORTING CASE-TOOL

Abstract