{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:54:10Z","timestamp":1760043250979,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/seams.2013.6595501","type":"proceedings-article","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T15:55:18Z","timestamp":1379606118000},"page":"143-152","source":"Crossref","is-referenced-by-count":26,"title":["High-quality specification of self-adaptive software systems"],"prefix":"10.1109","author":[{"given":"Markus","family":"Luckey","sequence":"first","affiliation":[]},{"given":"Gregor","family":"Engels","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1880050.1880056","article-title":"Componentbased Modeling and Verification of Dynamic Adaptation in Safetycritical Embedded Systems","volume":"10","author":"adler","year":"2011","journal-title":"ACM Trans Embed Comput Syst"},{"key":"17","first-page":"606","article-title":"A domain specific modeling language supporting specification, simulation and execution of dynamic adaptive systems","volume":"5795","author":"fleurey","year":"2009","journal-title":"MODELS '09 Ser LNCS"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1809036.1809042"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-33253-4_11"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.19"},{"key":"13","first-page":"468","article-title":"A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty","author":"cheng","year":"2009","journal-title":"MODELS '09"},{"journal-title":"Writing Effective Use Cases","year":"2000","author":"cockburn","key":"14"},{"key":"11","article-title":"Evaluation of adapt cases","author":"biser","year":"2011","journal-title":"Master's Thesis Research Group of Information Systems"},{"journal-title":"Modeling and Execution of Process-driven Adaptive Service Orchestrations","year":"2012","author":"group mepaso","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-0130-0_5"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1137677.1137681"},{"key":"22","first-page":"1208","article-title":"Component-based dynamic qos adaptations in distributed real-time and embedded systems","volume":"3291","author":"sharma","year":"2004","journal-title":"CoopIS\/DOA\/ODBASE (2) Ser LNCS"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1075405.1075411"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1809049.1809078"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/1988008.1988030"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2006.02.062"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2002.1023173"},{"journal-title":"System Identification","year":"1988","author":"so?derstro?m","key":"28"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100064"},{"key":"3","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/978-3-642-02161-9_2","article-title":"Modeling dimensions of Self-Adaptive software systems","author":"andersson","year":"2009","journal-title":"Software Engineering for Self-Adaptive Systems"},{"journal-title":"Dynamic Meta Modeling","year":"2005","author":"hausmann","key":"2"},{"key":"10","first-page":"479","article-title":"The groove simulator: A tool for state space generation","volume":"3062","author":"rensink","year":"2003","journal-title":"AGTIVE ser"},{"key":"1","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/1988008.1988014","article-title":"Adapt Cases: Extending Use Cases for Adaptive Systems","author":"luckey","year":"2011","journal-title":"SEAMS"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/SASOW.2012.28"},{"key":"6","article-title":"Modeling with adapt cases","author":"luckey","year":"2012","journal-title":"CMA '12 at MODELS '12 Repository for Model-Driven Development (ReMoDD)"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1516533.1516538"},{"journal-title":"Writing Effective Use Cases","year":"2000","author":"cockburn","key":"9"},{"journal-title":"Unified Modeling Language (UML) Superstructure","year":"2010","key":"8"}],"event":{"name":"2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","start":{"date-parts":[[2013,5,20]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,5,21]]}},"container-title":["2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6588685\/6595479\/06595501.pdf?arnumber=6595501","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T22:11:24Z","timestamp":1498083084000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6595501\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/seams.2013.6595501","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}