A formal support for incremental behavior specification in agile development

Abstract : 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 casestudy.
Document type :
Conference papers
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

Contributor : Anne-Lise Courbis <>
Submitted on : Thursday, March 14, 2013 - 6:24:00 PM
Last modification on : Wednesday, March 20, 2019 - 12:20:03 PM
Long-term archiving on : Monday, June 17, 2013 - 12:47:51 PM


Files produced by the author(s)


  • HAL Id : hal-00800998, version 1


Anne-Lise Courbis, Thomas Lambolais, Hong-Viet Luong, Thanh-Liem Phan, Christelle Urtado, et al.. A formal support for incremental behavior specification in agile development. Software Engineering and Knowledge Engineering (SEKE), 2012, United States. 6 p. ⟨hal-00800998⟩



Record views


Files downloads