{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:00:15Z","timestamp":1729630815389,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/isorc.2013.6913235","type":"proceedings-article","created":{"date-parts":[[2014,10,8]],"date-time":"2014-10-08T20:48:11Z","timestamp":1412801291000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["Contracts for evolving systems"],"prefix":"10.1109","author":[{"given":"Christoph","family":"Etzien","sequence":"first","affiliation":[]},{"given":"Tayfun","family":"Gezgin","sequence":"additional","affiliation":[]},{"given":"Sibylle","family":"Froschle","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Henkler","sequence":"additional","affiliation":[]},{"given":"Achim","family":"Rettberg","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"11","article-title":"Compositionality with strong assumptions","volume":"11","author":"hungar","year":"2011","journal-title":"Mlardalen Real-Time Research Center"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/288408.288426"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1370018.1370026"},{"key":"15","article-title":"Modeling and verifying dynamic communication structures based on graph transformations","author":"henkler","year":"2010","journal-title":"Software Engineering 2010-Fachtagung des GI-Fachbereichs Softwaretechnik"},{"key":"16","first-page":"549","article-title":"Masaccio: A formal model for embedded components","volume":"1872","author":"thomas","year":"2000","journal-title":"Proceedings of the First IFIP International Conference on Theoretical Computer Science (TCS) Lecture Notes in Computer Science"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1504\/IJAOSE.2007.013264"},{"journal-title":"In Unified Profile for DoDAF and MODAF","year":"2008","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ISORCW.2012.42"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/SBESC.2012.40"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/CDS.1998.675762"},{"journal-title":"Modeling and Analysis of Hybrid Systems","year":"2003","author":"ivancic","key":"20"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/506378.506406"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/239098.239105"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"journal-title":"Ultra-Large-Scale Systems The Software Challenge of the Future","year":"2006","author":"northrop","key":"25"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1998.671114"},{"key":"27","article-title":"Engineering self-coordinating software intensive systems","author":"sch\ufffdfer","year":"2010","journal-title":"Proceedings of the Foundations of Software Engineering (FSE) and NITRD\/SPD Working Conference on the Future of Software Engineering Research (FoSER 2010)"},{"key":"28","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/978-3-540-46464-8_13","article-title":"Dynamic change management by distributed graph transformation: Towards configurable distributed systems","author":"taentzer","year":"2000","journal-title":"TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69738-1_13"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74061-2_16"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45449-7_2","article-title":"Hierarchical hybrid modeling of embedded systems","author":"alur","year":"2001","journal-title":"First Workshop on Embedded Software"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19751-2_7"},{"key":"1","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/BFb0053581","article-title":"Specifying and analyzing dynamic software architectures","volume":"1382","author":"allen","year":"1998","journal-title":"Lecture Notes in Computer Science"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D"},{"key":"7","first-page":"155","article-title":"Modeling reconfigurable mechatronic systems with mechatronic UML","author":"burmester","year":"2004","journal-title":"Proceedings of Model Driven Architecture Foundations and Applications (MDAFA 2004)"},{"key":"6","first-page":"1","article-title":"Model-driven development of reconfigurable mechatronic systems with mechatronic UML","author":"burmester","year":"2005","journal-title":"Uwe Assmann Arend Rensink and Mehmet Aksit Editors Model Driven Architecture Foundations and Applications LNCS"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1075405.1075411"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134337"},{"journal-title":"Architecture Modeling","year":"2011","author":"baumgart","key":"4"},{"journal-title":"Definition and Exemplification of Requirements Specification Language and Requirements Meta Model CESAR D SP2 R2 2 M2 v1 000 pdf on","year":"2010","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35563-4_7"}],"event":{"name":"2013 IEEE 16th International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing (ISORC)","start":{"date-parts":[[2013,6,19]]},"location":"Paderborn, Germany","end":{"date-parts":[[2013,6,21]]}},"container-title":["16th IEEE International Symposium on Object\/component\/service-oriented Real-time distributed Computing (ISORC 2013)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6906723\/6913188\/06913235.pdf?arnumber=6913235","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T22:03:51Z","timestamp":1498169031000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6913235\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/isorc.2013.6913235","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}