Methodologies to evolve formal specifications through refinement and retrenchment in an analysis–revision cycle

The development of requirement specifications is done by accumulating knowledge about the desired systems in a progressive manner. This process can be supported by an analysis–revision cycle, in which the analysis phase checks the correctness of a given specification, and the revision phase modifies...

Full description

Saved in:
Bibliographic Details
Published in:Requirements engineering 2009-07, Vol.14 (3), p.129-153
Main Authors: García-Duque, Jorge, Pazos-Arias, José J., López-Nores, Martín, Blanco-Fernández, Yolanda, Fernández-Vilas, Ana, Díaz-Redondo, Rebeca P., Ramos-Cabrer, Manuel, Gil-Solla, Alberto
Format: Article
Language:English
Subjects:
Analysis
Computer Science
Integrated approach
Original Paper
Requirements
Software Engineering
Stakeholders
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The development of requirement specifications is done by accumulating knowledge about the desired systems in a progressive manner. This process can be supported by an analysis–revision cycle, in which the analysis phase checks the correctness of a given specification, and the revision phase modifies it, in case some problems are detected. To date, the analysis and revision activities have been typically considered in isolation, resulting in ineffective support to the stakeholders’ work. In response to that, this article introduces methodologies to conduct an interactive and integrated approach, grounded on the formalization of two basic types of evolutions (refinements and retrenchments) over multi-valued specification and modeling formalisms. Evaluation results are included to show that this approach can indeed help the stakeholders identify and clarify requirements through different stages of development.
ISSN:0947-3602
1432-010X
DOI:10.1007/s00766-009-0074-z