@inproceedings {clavos:2009:pesos,
	title = {Embedding continuous lifelong verification in service life cycles},
	year = {2009},
	month = {May},
	pages = {99-102},
	address = {Vancouver, Canada},
	abstract = {Service-oriented systems are an instantiation of open world software, which is characterized by high dynamism and decentralization. These properties strongly impact on how service-oriented systems are engineered, built, and operated, as well as verified. To address the challenges of applying verification to open service-oriented systems, in this position paper we propose to apply verification across the entire life cycle of a service and introduce a verification-oriented service life cycle.},
	keywords = {continuous lifelong verification, formal verification, monitoring, service contracts, service life cycles, service-oriented systems, software architecture, software engineering},
	doi = {10.1109/PESOS.2009.5068828},
	author = {Domenico Bianculli and Carlo Ghezzi and Cesare Pautasso}
}
