We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
Methodologies to evolve formal specifications through refinement and retrenchment in an analysis–revision cycle.
- 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
- Abstract
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.
- Subjects
STOCKHOLDERS; TECHNICAL specifications; MILLIONAIRES; METHODOLOGY; ETHNOMETHODOLOGY
- Publication
Requirements Engineering, 2009, Vol 14, Issue 3, p129
- ISSN
0947-3602
- Publication type
Article
- DOI
10.1007/s00766-009-0074-z