Publications
Export 3 results:
Author Title Type [ Year
] Filters: Keyword is service contracts [Clear All Filters]
, "Embedding continuous lifelong verification in service life cycles", ICSE Workshop on Principles of Engineering Service Oriented Systems (PESOS 2009), Vancouver, Canada, pp. 99-102, May, 2009.
(100.29 KB)
(100.29 KB), "The mashup component description language", 13th International Conference on Information Integration and Web-based Applications and Services (iiWAS 2011), Ho Chi Minh City, Vietnam, pp. 311-316, December, 2011.
(351.49 KB)
(351.49 KB), "Specification patterns from research to industry: A case study in service-based applications", Proc. of the 34th International Conference on Software Engineering (ICSE2012), SeIP track, Zurich, Switzerland, pp. 968-976, June, 2012.
(116.02 KB)
(116.02 KB)