{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T21:18:04Z","timestamp":1761513484562,"version":"3.40.4"},"publisher-location":"Cham","reference-count":88,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319089140"},{"type":"electronic","value":"9783319089157"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08915-7_3","type":"book-chapter","created":{"date-parts":[[2014,7,4]],"date-time":"2014-07-04T13:35:54Z","timestamp":1404480954000},"page":"47-100","source":"Crossref","is-referenced-by-count":42,"title":["Living with Uncertainty in the Age of Runtime Models"],"prefix":"10.1007","author":[{"given":"Holger","family":"Giese","sequence":"first","affiliation":[]},{"given":"Nelly","family":"Bencomo","sequence":"additional","affiliation":[]},{"given":"Liliana","family":"Pasquale","sequence":"additional","affiliation":[]},{"given":"Andres J.","family":"Ramirez","sequence":"additional","affiliation":[]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[]},{"given":"Sebastian","family":"W\u00e4tzoldt","sequence":"additional","affiliation":[]},{"given":"Siobh\u00e1n","family":"Clarke","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Galbraith, J.: Designing Complex Organizations. Organization development. Addison-Wesley (1973)"},{"key":"3_CR2","unstructured":"Noppen, J.: Imperfect Information in Software Design Processes. PhD thesis, University of Twente (2007)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Ramirez, A., Jensen, A., Cheng, B.H.C., Knoester, D.: Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems. In: 2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 568\u2013571 (2011)","DOI":"10.1109\/ASE.2011.6100127"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Whittle, J., Sawyer, P., Bencomo, N., Chen, B.H.C., Bruel, J.M.: RELAX: Incorporating uncertainty into the specification of self-adaptive systems. In: The Proceedings of the 17th International Requirements Engineering Conference (RE 2009), Atlanta, Georgia, USA, pp. 79\u201388. IEEE Computer Society (September 2009)","DOI":"10.1109\/RE.2009.36"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Welsh, K., Sawyer, P., Bencomo, N.: Towards Requirements Aware Systems: Run-time Resolution of Design-time Assumptions. In: Proceedings of the 26th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2011, Kansas, USA, November 6-10. ACM (2011) (to appear)","DOI":"10.1109\/ASE.2011.6100125"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-33666-9_5","volume-title":"Model Driven Engineering Languages and Systems","author":"A.J. Ramirez","year":"2012","unstructured":"Ramirez, A.J., Cheng, B.H.C., Bencomo, N., Sawyer, P.: Relaxing claims: Coping with uncertainty while evaluating assumptions at run time. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol.\u00a07590, pp. 53\u201369. Springer, Heidelberg (2012)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Bencomo, N., Belaggoun, A., Issarny, V.: Dynamic decision networks for decision-making in self-adaptive systems: A case study. In: Software Engineering for Adaptive and Self-Managing Systems, SEAMS (2013)","DOI":"10.1109\/SEAMS.2013.6595498"},{"key":"3_CR8","unstructured":"Laffont, J.J.: The Economics of Uncertainty and Information. The MIT Press (1989)"},{"key":"3_CR9","unstructured":"Uncertainty in Artificial Intelligence, http:\/\/www.auai.org\/"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-642-34327-8_31","volume-title":"Simulation, Modeling, and Programming for Autonomous Robots","author":"S. W\u00e4tzoldt","year":"2012","unstructured":"W\u00e4tzoldt, S., Neumann, S., Benke, F., Giese, H.: Integrated Software Development for Embedded Robotic Systems. In: Noda, I., Ando, N., Brugali, D., Kuffner, J.J. (eds.) SIMPAR 2012. LNCS, vol.\u00a07628, pp. 335\u2013348. Springer, Heidelberg (2012)"},{"key":"3_CR11","unstructured":"Cheng, S.W., Garlan, D.: Handling Uncertainty in Autonomic Systems. In: Proceedings of the International Workshop on Living with Uncertainties (IWLU 2007), Co-located with the 22nd International Conference on Automated Software Engineering (ASE 2007), Atlanta, GA, USA, November 5 (2007)"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Ali, R., Dalpiaz, F., Giorgini, P.: A Goal Modeling Framework for Self-Contextualizable Software. In: Proceedings of the Fourteenth International Conference on Exploring Modeling Methods in Systems Analysis and Design, pp. 326\u2013338. Springer-Verlag (2009)","DOI":"10.1007\/978-3-642-01862-6_27"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-642-04840-1_11","volume-title":"Conceptual Modeling - ER 2009","author":"A. Lapouchnian","year":"2009","unstructured":"Lapouchnian, A., Mylopoulos, J.: Modeling Domain Variability in Requirements Engineering with Contexts. In: Laender, A.H.F., Castano, S., Dayal, U., Casati, F., de Oliveira, J.P.M. (eds.) ER 2009. LNCS, vol.\u00a05829, pp. 115\u2013130. Springer, Heidelberg (2009)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Stachowiak, H.: Allgemeine Modelltheorie. Springer-Verlag (1973)","DOI":"10.1007\/978-3-7091-8327-4"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Chung, L., Cesar, J., Leite, S.P.: Non-functional requirements in software engineering (1999)","DOI":"10.1007\/978-1-4615-5269-7"},{"key":"3_CR16","unstructured":"van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. John Wiley (2009)"},{"issue":"3","key":"3_CR17","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Sci. Comput. Program.\u00a08(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-642-28756-5_12","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Albarghouthi","year":"2012","unstructured":"Albarghouthi, A., Gurfinkel, A., Chechik, M.: From Under-Approximations to Over-Approximations and Back. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol.\u00a07214, pp. 157\u2013172. Springer, Heidelberg (2012)"},{"issue":"1","key":"3_CR19","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/j.ijpe.2005.09.001","volume":"103","author":"J. Mula","year":"2006","unstructured":"Mula, J., Poler, R., Garciasabater, J., Lario, F.: Models for production planning under uncertainty: A review. International Journal of Production Economics\u00a0103(1), 271\u2013285 (2006)","journal-title":"International Journal of Production Economics"},{"issue":"10","key":"3_CR20","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MC.2009.326","volume":"42","author":"G. Blair","year":"2009","unstructured":"Blair, G., Bencomo, N., France, R.B.: Models@run.time. Computer\u00a042(10), 22\u201327 (2009)","journal-title":"Computer"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-642-21210-9_22","volume-title":"Models in Software Engineering","author":"T. Vogel","year":"2011","unstructured":"Vogel, T., Seibel, A., Giese, H.: The Role of Models and Megamodels at Runtime. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol.\u00a06627, pp. 224\u2013238. Springer, Heidelberg (2011)"},{"issue":"1","key":"3_CR22","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J.O. Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. IEEE Computer\u00a036(1), 41\u201350 (2003)","journal-title":"IEEE Computer"},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"782","DOI":"10.1007\/978-3-540-87875-9_54","volume-title":"Model Driven Engineering Languages and Systems","author":"B. Morin","year":"2008","unstructured":"Morin, B., Fleurey, F., Bencomo, N., J\u00e9z\u00e9quel, J.-M., Solberg, A., Dehlen, V., Blair, G.S.: An aspect-oriented and model-driven approach for managing dynamic variability. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 782\u2013796. Springer, Heidelberg (2008)"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Morin, B., Barais, O., Nain, G., J\u00e9z\u00e9quel, J.M.: Taming dynamically adaptive systems using models and aspects. In: ICSE, pp. 122\u2013132 (2009)","DOI":"10.1109\/ICSE.2009.5070514"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Bencomo, N., Whittle, J., Sawyer, P., Finkelstein, A., Letier, E.: Requirements reflection: Requirements as runtime entities. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering, Cape Town, South Africa, pp. 199\u2013202. ACM (May 2010)","DOI":"10.1145\/1810295.1810329"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Sawyer, P., Bencomo, N., Letier, E., Finkelstein, A.: Requirements-aware systems: A research agenda for re self-adaptive systems. In: Proceedings of the 18th IEEE International Requirements Engineering Conference, Sydney, Australia, pp. 95\u2013103 (September 2010)","DOI":"10.1109\/RE.2010.21"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Salehie, M., Tahvildari, L.: Self-adaptive software: Landscape and research challenges. ACM Trans. Auton. Adapt. Syst.\u00a04(2) (2009)","DOI":"10.1145\/1516533.1516538"},{"issue":"3","key":"3_CR28","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/329124.329126","volume":"3","author":"M. Weiser","year":"1999","unstructured":"Weiser, M.: The computer for the 21st century. SIGMOBILE Mobile Computing and Communications Review\u00a03(3), 3\u201311 (1999)","journal-title":"SIGMOBILE Mobile Computing and Communications Review"},{"issue":"4","key":"3_CR29","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1504\/IJAHUC.2007.014070","volume":"2","author":"M. Baldauf","year":"2007","unstructured":"Baldauf, M., Dustdar, S., Rosenberg, F.: A survey on context-aware systems. International Journal of Ad Hoc and Ubiquitous Computing\u00a02(4), 263\u2013277 (2007)","journal-title":"International Journal of Ad Hoc and Ubiquitous Computing"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Bellavista, P., Corradi, A., Fanelli, M., Foschini, L.: A Survey on Context Data Distribution for Mobile Ubiquitous Systems. ACM Computing Surveys (2013) (to appear)","DOI":"10.1145\/2333112.2333119"},{"key":"3_CR31","unstructured":"Souza, V.S., Lapouchnian, A., Robinson, W.N., Mylopoulos, J.: Awareness requirements for adaptive systems. In: Proceedings of the Sixth International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Waikiki, Honolulu, HI, USA, pp. 60\u201369. ACM (2011)"},{"key":"3_CR32","doi-asserted-by":"crossref","unstructured":"Feather, M.S., Fickas, S., van Lamsweerde, A., Ponsard, C.: Reconciling system requirements and runtime behavior. In: Proceedings of the 8th International Workshop on Software Specification and Design, pp. 50\u201359. IEEE Computer Society (1998)","DOI":"10.1109\/IWSSD.1998.667919"},{"key":"3_CR33","doi-asserted-by":"crossref","unstructured":"Fickas, S., Feather, M.S.: Requirements monitoring in dynamic environments. In: Proceedings of the Second IEEE International Symposium on Requirements Engineering, pp. 140\u2013147. IEEE Computer Society (1995)","DOI":"10.1109\/ISRE.1995.512555"},{"key":"3_CR34","doi-asserted-by":"crossref","unstructured":"Silva Souza, V., Lapouchnian, A., Mylopoulos, J.: (Requirement) Evolution Requirements for Adaptive Systems. In: Proceedings of the 7th International Symposyum of Software Engineering for Adaptive and Self-Managing Systems. IEEE Computer Society (2012) (to appear)","DOI":"10.1109\/SEAMS.2012.6224402"},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"Baresi, L., Pasquale, L., Spoletini, P.: Fuzzy goals for requirements-driven adaptation. In: Proceedings of the 18th IEEE International Requirements Engineering Conference, RE, Sydney, Australia, pp. 125\u2013134. IEEE (2010)","DOI":"10.1109\/RE.2010.25"},{"key":"3_CR36","doi-asserted-by":"crossref","unstructured":"Ali, R., Sol\u00eds, C., Omoronyia, I., Salehie, M., Nuseibeh, B.: Social Adaptation - When Software Gives Users a Voice. In: Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, pp. 75\u201384. SciTePress (2012)","DOI":"10.5220\/0003991900750084"},{"key":"3_CR37","first-page":"147","volume-title":"Proceedings of the 2nd International Conference on Object-oriented Programming Systems, Languages and Applications, OOPSLA 1987","author":"P. Maes","year":"1987","unstructured":"Maes, P.: Concepts and Experiments in Computational Reflection. In: Proceedings of the 2nd International Conference on Object-oriented Programming Systems, Languages and Applications, OOPSLA 1987, pp. 147\u2013155. ACM, New York (1987)"},{"key":"3_CR38","unstructured":"McManus, H., Hastings, D.: A Framework for Understanding Uncertainty and its Mitigation and Exploitation in Complex Systems. In: Proceedings of the Fifteenth Annual International Symposium of the International Council on Systems Engineering, INCOSE 2005, Rochester, NY (2005)"},{"key":"3_CR39","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/1882362.1882389","volume-title":"Proceedings of the FSE\/SDP Workshop on Future of Software Engineering Research, FoSER 2010","author":"D. Garlan","year":"2010","unstructured":"Garlan, D.: Software engineering in an uncertain world. In: Proceedings of the FSE\/SDP Workshop on Future of Software Engineering Research, FoSER 2010, pp. 125\u2013128. ACM, New York (2010)"},{"key":"3_CR40","unstructured":"Humphrey, W.: A Discipline for Software Engineering. SEI Series in Software Engineering Series. Addison Wesley Professional (1995)"},{"key":"3_CR41","volume-title":"Program evolution: Processes of software change","author":"M.M. Lehman","year":"1985","unstructured":"Lehman, M.M., Belady, L.A.: Program evolution: Processes of software change. Academic Press Professional, Inc., San Diego (1985)"},{"key":"3_CR42","unstructured":"Parnas, D.L.: Software aging. In: Proceedings of the 16th International Conference on Software Engineering, ICSE 1994, Los Alamitos, CA, USA, pp. 279\u2013287. IEEE Computer Society Press (1994)"},{"key":"3_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-14192-8_2","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"K. Welsh","year":"2010","unstructured":"Welsh, K., Sawyer, P.: Understanding the scope of uncertainty in dynamically adaptive systems. In: Wieringa, R., Persson, A. (eds.) REFSQ 2010. LNCS, vol.\u00a06182, pp. 2\u201316. Springer, Heidelberg (2010)"},{"issue":"3","key":"3_CR44","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1016\/S0019-9958(63)90290-0","volume":"6","author":"M.O. Rabin","year":"1963","unstructured":"Rabin, M.O.: Probabilistic automata. Information and Control\u00a06(3), 230\u2013245 (1963)","journal-title":"Information and Control"},{"key":"3_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"688","DOI":"10.1007\/978-3-642-29350-4_81","volume-title":"Artificial Intelligence and Soft Computing","author":"H. Piech","year":"2012","unstructured":"Piech, H., Siedlecka-Lamch, O.: Interval probabilities of state transitions in probabilistic automata. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2012, Part II. LNCS, vol.\u00a07268, pp. 688\u2013696. Springer, Heidelberg (2012)"},{"key":"3_CR46","doi-asserted-by":"crossref","unstructured":"Torres, R., Bencomo, N., Astudillo, H.: Mitigating the obsolescence of quality specifications models in service-based systems. In: MoDRE, pp. 68\u201376 (2012)","DOI":"10.1109\/MoDRE.2012.6360076"},{"issue":"12","key":"3_CR47","doi-asserted-by":"publisher","first-page":"2203","DOI":"10.1109\/9.895559","volume":"45","author":"L.L. Xie","year":"2000","unstructured":"Xie, L.L., Guo, L.: How much uncertainty can be dealt with by feedback? IEEE Transactions on Automatic Control\u00a045(12), 2203\u20132217 (2000)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"3_CR48","unstructured":"Brun, Y., et al.: Engineering Self-Adaptive Systems through Feedback Loops. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 48\u201370. Springer, Heidelberg (2009)"},{"key":"3_CR49","unstructured":"Cheng, S.W., Garlan, D.: Handling Uncertainty in Autonomic Systems. In: Proceedings of the International Workshop on Living with Uncertainties (IWLU 2007), Co-located with the 22nd International Conference on Automated Software Engineering (ASE 2007), Atlanta, GA, USA, November 5 (2007), http:\/\/godzilla.cs.toronto.edu\/IWLU\/program.html"},{"key":"3_CR50","first-page":"259","volume-title":"FOSE 2007: 2007 Future of Software Engineering","author":"J. Kramer","year":"2007","unstructured":"Kramer, J., Magee, J.: Self-Managed Systems: an Architectural Challenge. In: FOSE 2007: 2007 Future of Software Engineering, pp. 259\u2013268. IEEE Computer Society, Washington, DC (2007)"},{"key":"3_CR51","doi-asserted-by":"crossref","unstructured":"Welsh, K., Sawyer, P., Bencomo, N.: Run-time Resolution of Uncertainty. In: Proceedings of the 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29-September 2, pp. 355\u2013356 (2011)","DOI":"10.1109\/RE.2011.6051673"},{"key":"3_CR52","doi-asserted-by":"crossref","unstructured":"Sawyer, P., Bencomo, N., Whittle, J., Letier, E., Finkelstein, A.: Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems. In: Proceedings of the 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27-October 1, pp. 95\u2013103 (2010)","DOI":"10.1109\/RE.2010.21"},{"key":"3_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-34059-8_6","volume-title":"Large-Scale Complex IT Systems. Development, Operation and Management","author":"M. Autili","year":"2012","unstructured":"Autili, M., Cortellessa, V., Di Ruscio, D., Inverardi, P., Pelliccione, P., Tivoli, M.: Integration architecture synthesis for taming uncertainty in the digital space. In: Calinescu, R., Garlan, D. (eds.) Monterey Workshop 2012. LNCS, vol.\u00a07539, pp. 118\u2013131. Springer, Heidelberg (2012)"},{"issue":"6","key":"3_CR54","doi-asserted-by":"publisher","first-page":"1518","DOI":"10.1109\/TIT.2002.1003838","volume":"48","author":"Y. Ephraim","year":"2002","unstructured":"Ephraim, Y., Merhav, N.: Hidden markov processes. IEEE Transactions on Information Theory\u00a048(6), 1518\u20131569 (2002)","journal-title":"IEEE Transactions on Information Theory"},{"key":"3_CR55","first-page":"111","volume-title":"Proceedings of the 30th International Conference on Software Engineering, ICSE 2008","author":"L. Cheung","year":"2008","unstructured":"Cheung, L., Roshandel, R., Medvidovic, N., Golubchik, L.: Early prediction of software component reliability. In: Proceedings of the 30th International Conference on Software Engineering, ICSE 2008, pp. 111\u2013120. ACM, New York (2008)"},{"key":"3_CR56","doi-asserted-by":"crossref","unstructured":"Cordy, M., Classen, A., Perrouin, G., Schobbens, P.Y., Heymans, P., Legay, A.: Simulation-based abstractions for software product-line model checking. In: ICSE, pp. 672\u2013682. IEEE (2012)","DOI":"10.1109\/ICSE.2012.6227150"},{"issue":"3","key":"3_CR57","doi-asserted-by":"publisher","first-page":"125","DOI":"10.5381\/jot.2008.7.3.a4","volume":"7","author":"R. Hirschfeld","year":"2008","unstructured":"Hirschfeld, R., Costanza, P., Nierstrasz, O.: Context-oriented Programming. Journal of Object Technology\u00a07(3), 125\u2013151 (2008)","journal-title":"Journal of Object Technology"},{"key":"3_CR58","doi-asserted-by":"crossref","unstructured":"Autili, M., Benedetto, P.D., Inverardi, P.: Hybrid approach for resource-based comparison of adaptable java applications. Science of Computer Programming (2012) (to appear)","DOI":"10.1016\/j.scico.2012.01.005"},{"key":"3_CR59","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1007\/978-3-642-04425-0_36","volume-title":"Model Driven Engineering Languages and Systems","author":"B.H.C. Cheng","year":"2009","unstructured":"Cheng, B.H.C., Sawyer, P., Bencomo, N., Whittle, J.: A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 468\u2013483. Springer, Heidelberg (2009)"},{"key":"3_CR60","doi-asserted-by":"crossref","unstructured":"Mishra, K., Trivedi, K.S.: Uncertainty propagation through software dependability models. In: Dohi, T., Cukic, B. (eds.) ISSRE, pp. 80\u201389. IEEE (2011)","DOI":"10.1109\/ISSRE.2011.14"},{"issue":"4","key":"3_CR61","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1016\/j.jss.2006.07.039","volume":"80","author":"M. Caporuscio","year":"2007","unstructured":"Caporuscio, M., Marco, A.D., Inverardi, P.: Model-based System Reconfiguration for Dynamic Performance Management. Journal of Systems and Software\u00a080(4), 455\u2013473 (2007)","journal-title":"Journal of Systems and Software"},{"key":"3_CR62","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Mori, M.: A Software Lifecycle Process to Support Consistent Evolutions. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Self-Adaptive Systems. LNCS, vol.\u00a07475, pp. 239\u2013264. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-35813-5_10"},{"issue":"4","key":"3_CR63","doi-asserted-by":"publisher","first-page":"963","DOI":"10.1111\/j.1539-6924.2005.00641.x","volume":"25","author":"M. Neil","year":"2005","unstructured":"Neil, M., Fenton, N., Tailor, M.: Using bayesian networks to model expected and unexpected operational losses. International Journal on Risk Analysis\u00a025(4), 963\u2013972 (2005)","journal-title":"International Journal on Risk Analysis"},{"issue":"2","key":"3_CR64","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s00165-011-0207-2","volume":"24","author":"A. Filieri","year":"2012","unstructured":"Filieri, A., Ghezzi, C., Tamburrelli, G.: A formal approach to adaptive software: Continuous assurance of non-functional requirements. Formal Asp. Comput.\u00a024(2), 163\u2013186 (2012)","journal-title":"Formal Asp. Comput."},{"issue":"10","key":"3_CR65","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/MC.2009.327","volume":"42","author":"B. Morin","year":"2009","unstructured":"Morin, B., Barais, O., J\u00e9z\u00e9quel, J.M., Fleurey, F., Solberg, A.: Models@ Run.time to Support Dynamic Adaptation. IEEE Computer\u00a042(10), 44\u201351 (2009)","journal-title":"IEEE Computer"},{"issue":"10","key":"3_CR66","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/MC.2009.309","volume":"42","author":"C. Cetina","year":"2009","unstructured":"Cetina, C., Giner, P., Fons, J., Pelechano, V.: Autonomic computing through reuse of variability models at runtime: The case of smart homes. Computer\u00a042(10), 37\u201343 (2009)","journal-title":"Computer"},{"issue":"10","key":"3_CR67","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/MC.2009.335","volume":"42","author":"J. Georgas","year":"2009","unstructured":"Georgas, J., van der Hoek, A., Taylor, R.: Using architectural models to manage and visualize runtime adaptation. Computer\u00a042(10), 52\u201360 (2009)","journal-title":"Computer"},{"issue":"5","key":"3_CR68","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1016\/j.jss.2010.12.009","volume":"84","author":"H. Song","year":"2011","unstructured":"Song, H., Huang, G., Chauvel, F., Xiong, Y., Hu, Z., Sun, Y., Mei, H.: Supporting runtime software architecture: A bidirectional-transformation-based approach. Journal of Systems and Software\u00a084(5), 711\u2013723 (2011)","journal-title":"Journal of Systems and Software"},{"key":"3_CR69","doi-asserted-by":"crossref","unstructured":"Vogel, T., Giese, H.: Adaptation and Abstract Runtime Models. In: Proceedings of the 5th Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010) at the 32nd IEEE\/ACM International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, pp. 39\u201348. ACM (May 2010)","DOI":"10.1145\/1808984.1808989"},{"key":"3_CR70","doi-asserted-by":"crossref","unstructured":"Bencomo, N., Bennaceur, A., Grace, P., Blair, G., Issarny, V.: The role of models@run.time in supporting on-the-fly interoperability. Springer Computing (2013); special issue Models@runt.time","DOI":"10.1007\/s00607-012-0224-x"},{"key":"3_CR71","doi-asserted-by":"crossref","unstructured":"Hao, R., Morin, B., Berre, A.J.: A semi-automatic behavioral mediation approach based on models@runtime. In: Models@run.time, pp. 67\u201371 (2012)","DOI":"10.1145\/2422518.2422529"},{"key":"3_CR72","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-642-24690-6_20","volume-title":"Software Engineering and Formal Methods","author":"M. Mori","year":"2011","unstructured":"Mori, M., Li, F., Dorn, C., Inverardi, P., Dustdar, S.: Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol.\u00a07041, pp. 286\u2013301. Springer, Heidelberg (2011)"},{"issue":"4","key":"3_CR73","doi-asserted-by":"publisher","first-page":"8509","DOI":"10.1016\/j.eswa.2008.10.071","volume":"36","author":"J. Hong","year":"2009","unstructured":"Hong, J., Suh, E., Kim, S.J.: Context-aware systems: A literature review and classification. Expert Syst. Appl.\u00a036(4), 8509\u20138522 (2009)","journal-title":"Expert Syst. Appl."},{"issue":"3","key":"3_CR74","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10515-005-2641-y","volume":"12","author":"D. Giannakopoulou","year":"2005","unstructured":"Giannakopoulou, D., Pasareanu, C.S., Barringer, H.: Component verification with automatically generated assumptions. Autom. Softw. Eng.\u00a012(3), 297\u2013320 (2005)","journal-title":"Autom. Softw. Eng."},{"key":"3_CR75","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-12002-2_3","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M. Kwiatkowska","year":"2010","unstructured":"Kwiatkowska, M., Norman, G., Parker, D., Qu, H.: Assume-guarantee verification for probabilistic systems. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol.\u00a06015, pp. 23\u201337. Springer, Heidelberg (2010)"},{"key":"3_CR76","doi-asserted-by":"crossref","unstructured":"Bucchiarone, A., Marconi, A., Pistore, M., Raik, H.: Dynamic Adaptation of Fragment-based and Context-aware Business Processes. In: Proc. of the 19th International Conference on Web Services. IEEE Computer Society (2012) (to appear)","DOI":"10.1109\/ICWS.2012.56"},{"key":"3_CR77","unstructured":"Brennan, S., Cahill, V., Clarke, S.: Applying non-constant volatility analysis methods to software timeliness. In: Proceedings of the 21st Euromicro Conference on Real-Time Systems (ECRTS), WIP Track (2009)"},{"key":"3_CR78","doi-asserted-by":"crossref","unstructured":"Temponi, C., Yen, J., Tiao, W.A.: Assessment of customer\u2019s and technical requirements through a fuzzy logic-based method. In: Proceedings of the International Conference on Systems, Man and Cybernetics, vol.\u00a02, pp. 1127\u20131132. IEEE Computer Society (1997)","DOI":"10.1109\/ICSMC.1997.638101"},{"key":"3_CR79","doi-asserted-by":"crossref","unstructured":"Liu, X.F., Azmoodeh, M., Gerogalas, N.: Specification of non-functional requirements for contract specification in the ngoss framework for quality management and product evaluation. In: Proceedings of the Fifth International Workshop on Software Quality, pp. 36\u201341 (2007)","DOI":"10.1109\/WOSQ.2007.12"},{"key":"3_CR80","doi-asserted-by":"crossref","unstructured":"Liu, X.F.: Fuzzy requirements. IEEE Potentials, 24\u201326 (1998)","DOI":"10.1109\/45.666642"},{"key":"3_CR81","doi-asserted-by":"crossref","unstructured":"Glinz, M.: On non-functional requirements. In: IEEE International Requirements Engineering Conference, pp. 21\u201326 (2007)","DOI":"10.1109\/RE.2007.45"},{"issue":"3","key":"3_CR82","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/s00766-006-0030-0","volume":"11","author":"A. Sutcliffe","year":"2006","unstructured":"Sutcliffe, A., Fickas, S., Sohlberg, M.M.: Pc-re: A method for personal and contextual requirements engineering with some experience. Requir. Eng.\u00a011(3), 157\u2013173 (2006)","journal-title":"Requir. Eng."},{"key":"3_CR83","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1109\/ICSE.2009.5070513","volume-title":"Proceedings of the 31st International Conference on Software Engineering, ICSE 2009","author":"I. Epifani","year":"2009","unstructured":"Epifani, I., Ghezzi, C., Mirandola, R., Tamburrelli, G.: Model evolution by run-time parameter adaptation. In: Proceedings of the 31st International Conference on Software Engineering, ICSE 2009, pp. 111\u2013121. IEEE Computer Society, Washington, DC (2009)"},{"key":"3_CR84","doi-asserted-by":"crossref","unstructured":"Cheng, B.H.C., et al.: Software Engineering for Self-Adaptive Systems: A Research Roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 1\u201326. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-02161-9"},{"key":"3_CR85","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/11428589_8","volume-title":"Self-star Properties in Complex Information Systems","author":"P. Robertson","year":"2005","unstructured":"Robertson, P., Laddaga, R.: Model based diagnosis and contexts in self adaptive software. In: Babao\u011flu, \u00d6., Jelasity, M., Montresor, A., Fetzer, C., Leonardi, S., van Moorsel, A., van Steen, M. (eds.) SELF-STAR 2004. LNCS, vol.\u00a03460, pp. 112\u2013127. Springer, Heidelberg (2005)"},{"key":"3_CR86","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/1118178.1118200","volume":"49","author":"P. Robertson","year":"2006","unstructured":"Robertson, P., Williams, B.: Automatic recovery from software failure. Commun. ACM\u00a049, 41\u201347 (2006)","journal-title":"Commun. ACM"},{"key":"3_CR87","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-540-25939-8_8","volume-title":"Architecting Dependable Systems II","author":"S. Porcarelli","year":"2004","unstructured":"Porcarelli, S., Castaldi, M., Di Giandomenico, F., Bondavalli, A., Inverardi, P.: A framework for reconfiguration-based fault-tolerance in distributed systems. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems II. LNCS, vol.\u00a03069, pp. 167\u2013190. Springer, Heidelberg (2004)"},{"key":"3_CR88","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-25939-8_2","volume-title":"Architecting Dependable Systems II","author":"M. Tichy","year":"2004","unstructured":"Tichy, M., Giese, H.: A Self-Optimizing Run-Time Architecture for Configurable Dependability of Services. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems II. LNCS, vol.\u00a03069, pp. 25\u201350. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Models@run.time"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08915-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T17:34:39Z","timestamp":1746293679000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08915-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319089140","9783319089157"],"references-count":88,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08915-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}