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.
CITATION STYLE
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
Mendeley helps you to discover research relevant for your work.