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. A Formal Support for Incremental Behavior Specification In Agile Development. In Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012. pages 694-799, Knowledge Systems Institute Graduate School, 2012.

Abstract

Abstract is missing.