Thanh-Liem Phan

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)
  • 1