 |
 |
|
|
| HAL : hal-00705363, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), Redwood city : United States (2012) |
|
|
|
|
| A formal support for incremental behavior specification in agile development |
|
|
| Anne-Lise Courbis 1Thomas Lambolais 1 |
|
|
| (07/2012) |
|
|
|
| Incremental development is now state of the practice. Indeed, it is promoted from the rational unified process to agile development methods. Few methods however guide software developers and architects in doing so. For instance, no tool is proposed to verify the non-regression of functionalities, modeled as behavior specifications, between increments. This work helps to incrementally specify software functionalities using UML state machines. It provides an on-the-fly evaluation of a specified behavior as compared to that of previous increments. The proposed contribution is based on two formally specified relations that are proved to preserve refinement when composed. Architects and developers are free to choose their preferred behavior specification strategy by iteratively applying them, so as to develop the required functionalities, having at each step the benefit of a formal non-regression checking to guide the global specification process. Our proposal is implemented in a proof-of-concept tool and illustrated by a didactic case study |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire de Génie Informatique et d'Ingénierie de Production (LGI2P) |
|
|
|
Ecole Nationale Supérieure des Mines d'Alès |
|
|
| 2 : | Ampère |
|
|
|
CNRS : UMR5005 – Université Claude Bernard - Lyon I – Institut National des Sciences Appliquées (INSA) - Lyon – Ecole Centrale de Lyon |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Génie logiciel |
|
|
| UML state machines – incremental development – agile methods – state machine verification – conformance relations – refinement. |
|
| hal-00705363, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00705363 | |
| oai:hal.archives-ouvertes.fr:hal-00705363 | |
| Contributeur : Christelle Urtado | |
| Soumis le : Jeudi 7 Juin 2012, 14:53:03 | |
| Dernière modification le : Jeudi 7 Juin 2012, 14:53:03 | |
