A Formal Support for Incremental Behavior Specification In Agile Development.

Anne-Lise Courbis, Thomas Lambolais, Hong-Viet Luong, Thanh-Liem Phan, Christelle Urtado, Sylvain Vauttier

Browse the full SEKE paper archive.