{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T11:52:35Z","timestamp":1730289155834,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1109\/pesos.2009.5068828","type":"proceedings-article","created":{"date-parts":[[2009,6,10]],"date-time":"2009-06-10T10:54:20Z","timestamp":1244631260000},"page":"99-102","source":"Crossref","is-referenced-by-count":7,"title":["Embedding continuous lifelong verification in service life cycles"],"prefix":"10.1109","author":[{"given":"Domenico","family":"Bianculli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Ghezzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cesare","family":"Pautasso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","first-page":"83","article-title":"asop: an agile service-oriented process","author":"qumer","year":"2007","journal-title":"New Trends in Software Methodologies Tools and Techniques"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69534-9_1"},{"year":"0","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1294928.1294930"},{"key":"12","first-page":"25","article-title":"integrating contract-based security monitors in the software development life cycle","author":"hoole","year":"2008","journal-title":"Proc of FLACOS'08"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.362"},{"journal-title":"Test and Analysis of Web Services","year":"2007","key":"2"},{"key":"1","first-page":"1","article-title":"rethinking the use of models in software architecture","volume":"5281","author":"ardagna","year":"2008","journal-title":"LNCS"},{"journal-title":"Service-Oriented Architecture Concepts Technology and Design","year":"2005","author":"erl","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2007.162"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1370916.1370919"},{"key":"5","first-page":"1","article-title":"audition of web services for testing conformance to open specified protocols","volume":"3938","author":"bertolino","year":"2006","journal-title":"LNCS"},{"journal-title":"Test Driven Development By Example","year":"2002","author":"beck","key":"4"},{"key":"9","article-title":"model evolution by run-time adaptation","author":"epifani","year":"2009","journal-title":"Proc of ICSE'09"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-008-0032-x"}],"event":{"name":"2009 ICSE Workshop on Principles of Engineering Service Oriented Systems, PESOS","start":{"date-parts":[[2009,5,18]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2009,5,19]]}},"container-title":["2009 ICSE Workshop on Principles of Engineering Service Oriented Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5054530\/5068796\/05068828.pdf?arnumber=5068828","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T13:12:28Z","timestamp":1489756348000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5068828\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/pesos.2009.5068828","relation":{},"subject":[],"published":{"date-parts":[[2009,5]]}}}