{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:12:51Z","timestamp":1763467971820,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1109\/saso.2009.40","type":"proceedings-article","created":{"date-parts":[[2009,11,5]],"date-time":"2009-11-05T18:34:01Z","timestamp":1257446041000},"page":"186-197","source":"Crossref","is-referenced-by-count":11,"title":["Achieving Dependable Component Bindings in Dynamic Adaptive Systems - A Runtime Testing Approach"],"prefix":"10.1109","author":[{"given":"Dirk","family":"Niebuhr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Rausch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cornel","family":"Klein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juergen","family":"Reichmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiner","family":"Schmid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Emergency Triage","year":"2005","key":"19"},{"key":"17","first-page":"163","article-title":"Automatic protocol conformance checking of recursive and parallel component-based systems","author":"both","year":"2008","journal-title":"CBSE"},{"key":"18","article-title":"Bisimulation for component-based development","volume":"1","author":"est?evez","year":"2002","journal-title":"Journal of Computer Science & Technology"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.2307\/2371045"},{"key":"16","first-page":"146","author":"zimmerova","year":"2008","journal-title":"Component-interaction automata approach (coin)"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337198"},{"key":"14","first-page":"230","article-title":"On computable numbers, with an application to the entscheidungsproblem","author":"turing","year":"1936","journal-title":"Proceedings of the London Mathematical Society"},{"year":"2006","key":"11","article-title":"Providing lightweight and adaptable service technology for pervasive information and communication (eu fp6 strep n.26955)"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71876-5_7"},{"key":"21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1127878.1127884","article-title":"Preliminary design of JML: A behavioral interface specification language for java","volume":"31","author":"leavens","year":"2006","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"journal-title":"An overview of JML tools and applications","year":"2003","author":"burdy","key":"22"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ICEBE.2007.111"},{"year":"0","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-46050-5_19"},{"year":"0","key":"26"},{"year":"0","key":"27"},{"article-title":"Ultra-large-scale systems: The software challenge of the future","year":"2006","author":"feiler","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEA.2006.261300"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/251880.251992"},{"journal-title":"Component Software Beyond Object-Oriented Programming","year":"2002","author":"szyperski","key":"1"},{"year":"0","key":"7"},{"journal-title":"Common Object Request Broker Architecture","year":"2004","key":"6"},{"year":"0","key":"5"},{"year":"0","key":"4"},{"year":"0","key":"9"},{"key":"8","first-page":"261","article-title":"Ad hoc service grid - A self-organizing infrastructure for mobile commerce","author":"herrmann","year":"2004","journal-title":"IFIP TC8 Working Conference on Mobile Information Systems (MOBIS)"}],"event":{"name":"2009 Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO)","start":{"date-parts":[[2009,9,14]]},"location":"San Francisco, California, USA","end":{"date-parts":[[2009,9,18]]}},"container-title":["2009 Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/5298382\/5298383\/05298448.pdf?arnumber=5298448","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T01:27:49Z","timestamp":1497835669000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/5298448\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9]]},"references-count":27,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/saso.2009.40","relation":{},"subject":[],"published":{"date-parts":[[2009,9]]}}}