People
Meriem Ouederni
Email
Journal Articles
Conference Articles
2009
(2 publications) - Javier Cámara and Salaün, G. and Canal, C. and Ouederni, M. , "Interactive Specification and Verification of Behavioural Adaptation Contracts", in 9th International Conference on Quality Software (QSIC 2009), 2009
- Javier Cámara and Martin, J.A. and Salaün, G. and Cubo, J. and Ouederni, M. and Canal, C. and Pimentel, E. , "ITACA: An Integrated Toolbox for the Automatic Composition and Adaptation of Web Services", in 31st International Conference on Software Engineering (ICSE 2009), 2009