Improving Use Case Based Requirements Using Formally Grounded Specifications

5Citations
Citations of this article
6Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

Our approach aims at helping to produce adequate requirements, both clear and precise enough so as to provide a sound basis to the overall development. We present a technique for improving use case based requirements, by producing a companion Formally Grounded specification, that results both in an improved requirements capture, and in a requirement validation. The Formally Grounded requirements specification is written in a "visual" notation, using both diagrams and text, with a formal counterpart (written in the CASL-LTL language). The resulting use case based requirements are of high quality, more systematic, more precise, and its corresponding Formally Grounded specification is available. We illustrate our approach on an Auction System case study. © Springer-Verlag 2004.

References Powered by Scopus

A comparison between query languages for the extraction of association rules

449Citations
N/AReaders
Get full text

From requirements to design: Formalizing the key steps

107Citations
N/AReaders
Get full text

From use cases to system operation specifications

25Citations
N/AReaders
Get full text

Cited by Powered by Scopus

A method for requirements capture and specification based on disciplined use cases and screen mockups

7Citations
N/AReaders
Get full text

Improving the quality and the comprehension of requirements: Disciplined use cases and mockups

7Citations
N/AReaders
Get full text

DUSM: A Method for Requirements Specification and Refinement Based on Disciplined Use Cases and Screen Mockups

3Citations
N/AReaders
Get full text

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Cite

CITATION STYLE

APA

Choppy, C., & Reggio, G. (2004). Improving Use Case Based Requirements Using Formally Grounded Specifications. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2984, 244–260. https://doi.org/10.1007/978-3-540-24721-0_18

Readers' Seniority

Tooltip

PhD / Post grad / Masters / Doc 3

50%

Researcher 3

50%

Readers' Discipline

Tooltip

Computer Science 4

67%

Economics, Econometrics and Finance 1

17%

Mathematics 1

17%

Save time finding and organizing research with Mendeley

Sign up for free