People
Jose Antonio Martin
Conference Articles
2010
(2 publications)- Javier Cámara and Martin, J.A. and Salaün, G. and Canal, C. and Pimentel, E. , "A Case Study in Model-based Adaptation of Web Services", in 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), 2010
- Javier Cámara and Martin, J.A. and Salaün, G. and Canal, C. and Pimentel, E. , "Semi-automatic Specification of Behavioural Service Adaptation Contracts", in 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10), 2010
2009
(2 publications)- 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
- Javier Cámara and Martin, J.A. and Salaün, G. and Canal, C. and Pimentel, E. , "On Behavioural Interfaces and Contracts for Software Adaptation", in 3rd workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'09), 2009