Learn More
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 function-alities, modeled as behavior specifications, between increments.(More)
ion Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Thanh-Liem Phan 1. LGI2P école des mines d’Alès, Site de Nı̂mes, Parc Scientifique Georges Besse, 30 035 Nı̂mes cedex 1, France. 2. M2M-NDT, 1 rue de Terre Neuve, Miniparc du Verger, btiment H, 91 940, Les Ulis, France. 3. LSEI, CEA INES, 50 avenue du lac Léman, BP 258, 73 375 Le Bourget du Lac,(More)
  • 1