Tool support for more precise use case specifications

Authors:
Ezra Jivan;Stefan Gruner
Affiliations:
University of Pretoria, Pretoria, Republic of South Africa;University of Pretoria, Pretoria, Republic of South Africa
Venue:
Proceedings of the Warm Up Workshop for ACM/IEEE ICSE 2010
Year:
2009

Citing 7
Cited 0

The entity-relationship model—toward a unified view of data

ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation

Proceedings of the 24th International Conference on Software Engineering
Use Cases Considered Harmful

TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Use Cases: Requirements in Context

Use Cases: Requirements in Context
Consistency checking of UML model diagrams using the XML semantics approach

WWW '05 Special interest tracks and posters of the 14th international conference on World Wide Web
Detecting and resolving model inconsistencies using transformation dependency analysis

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Checking the validity of scenarios in UML models

FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.