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.

Authors

Anne-lise Courbis

This author has not been identified. Look up 'Anne-lise Courbis' in Google

Thomas Lambolais

This author has not been identified. Look up 'Thomas Lambolais' in Google

Hong-Viet Luong

This author has not been identified. Look up 'Hong-Viet Luong' in Google

Thanh-Liem Phan

This author has not been identified. Look up 'Thanh-Liem Phan' in Google

Christelle Urtado

This author has not been identified. Look up 'Christelle Urtado' in Google

Sylvain Vauttier

This author has not been identified. Look up 'Sylvain Vauttier' in Google