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.

@inproceedings{CourbisLLPUV12,
  title = {A Formal Support for Incremental Behavior Specification In Agile Development},
  author = {Anne-lise Courbis and Thomas Lambolais and Hong-Viet Luong and Thanh-Liem Phan and Christelle Urtado and Sylvain Vauttier},
  year = {2012},
  researchr = {https://researchr.org/publication/CourbisLLPUV12},
  cites = {0},
  citedby = {0},
  pages = {694-799},
  booktitle = {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},
  publisher = {Knowledge Systems Institute Graduate School},
  isbn = {1-891706-31-4},
}