tool support for more precise use case specifications
In this paper we describe the development of a prototype tool that supports the construction of enhanced Use Case specifications. The diagrams of these specifications comprise richer information than the simple, conventional UML Use Case specifications. This will make it possible to query Use Case specifications for internal inconsistencies and to derive test cases from such specifications before the corresponding software system is implemented.
tool support use case specifications uml prolog xml