{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:15:08Z","timestamp":1763468108555,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642358128"},{"type":"electronic","value":"9783642358135"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-35813-5_5","type":"book-chapter","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T06:24:44Z","timestamp":1357107884000},"page":"108-132","source":"Crossref","is-referenced-by-count":43,"title":["Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems"],"prefix":"10.1007","author":[{"given":"Gabriel","family":"Tamura","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norha M.","family":"Villegas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hausi A.","family":"M\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jo\u00e3o Pedro","family":"Sousa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Basil","family":"Becker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabor","family":"Karsai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Serge","family":"Mankovskii","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Pezz\u00e8","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wilhelm","family":"Sch\u00e4fer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ladan","family":"Tahvildari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenny","family":"Wong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"IEEE: 1012-1998: IEEE Standard for Software Verification and Validation. Technical report, Institute of Electrical and Electronics Engineers (2005)"},{"key":"5_CR2","unstructured":"IEEE: Industry Implementation of International Standard ISO\/IEC 12207:95, Standard for Information Technology-Software Life Cycle Processes. Technical report, IEEE (1996)"},{"key":"5_CR3","unstructured":"Bourque, P., Dupuis, R.: Guide to the Software Engineering Body of Knowledge (SWEBOK). IEEE Computer Society (2005)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Salehie, M., Tahvildari, L.: Self-Adaptive Software: Landscape and Research Challenges. ACM Transactions on Autonomous and Adaptive Systems 4, 14:1\u201314:42 (2009)","DOI":"10.1145\/1516533.1516538"},{"key":"5_CR5","first-page":"80","volume-title":"6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2011)","author":"N.M. Villegas","year":"2011","unstructured":"Villegas, N.M., M\u00fcller, H.A., Tamura, G., Duchien, L., Casallas, R.: A Framework for Evaluating Quality-Driven Self-Adaptive Software Systems. In: 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2011), pp. 80\u201389. ACM, New York (2011)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02161-9_1","volume-title":"Software Engineering for Self-Adaptive Systems","author":"B.H.C. Cheng","year":"2009","unstructured":"Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J., Andersson, J., Becker, B., Bencomo, N., Brun, Y., Cukic, B., Di Marzo Serugendo, G., Dustdar, S., Finkelstein, A., Gacek, C., Geihs, K., Grassi, V., Karsai, G., Kienle, H.M., Kramer, J., Litoiu, M., Malek, S., Mirandola, R., M\u00fcller, H.A., Park, S., Shaw, M., Tichy, M., Tivoli, M., Weyns, D., Whittle, J.: 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)"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/FOSE.2007.28","volume-title":"2007 Future of Software Engineering (FOSE 2007)","author":"W. Schafer","year":"2007","unstructured":"Schafer, W., Wehrheim, H.: The Challenges of Building Advanced Mechatronic Systems. In: 2007 Future of Software Engineering (FOSE 2007), pp. 72\u201384. IEEE Computer Society, Washington, DC (2007)"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"684","DOI":"10.1109\/TSE.2009.28","volume":"35","author":"B. Cornelissen","year":"2009","unstructured":"Cornelissen, B., Zaidman, A., van Deursen, A., Moonen, L., Koschke, R.: A Systematic Survey of Program Comprehension through Dynamic Analysis. IEEE Transactions on Software Engineering (TSE)\u00a035, 684\u2013702 (2009)","journal-title":"IEEE Transactions on Software Engineering (TSE)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Hellerstein, J.L., Diao, Y., Parekh, S., Tilbury, D.M.: Feedback Control of Computing Systems. John Wiley & Sons (2004)","DOI":"10.1002\/047166880X"},{"key":"5_CR10","unstructured":"Dahm, W.J.A.: Technology Horizons a Vision for Air Force Science & Technology During 2010-2030. Technical report, U.S. Air Force (2010)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Villegas, N.M., M\u00fcller, H.A., Tamura, G.: Optimizing Run-Time SOA Governance through Context-Driven SLAs and Dynamic Monitoring. In: 2011 IEEE International Workshop on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems (MESOCA 2011), pp. 1\u201310. IEEE (2011)","DOI":"10.1109\/MESOCA.2011.6049036"},{"key":"5_CR12","unstructured":"Beisiegel, M., Blohm, H., Booz, D., Edwards, M., Hurley, O., et al.: Service Component Architecture, Assembly Model Specification. Specification Version 1.0, Open Service Oriented Architecture (OSOA) Collaboration (2007)"},{"key":"5_CR13","volume-title":"Software Requirements Engineering","author":"R.H. Thayer","year":"1997","unstructured":"Thayer, R.H., Bailin, S.C., Dorfman, M.: Software Requirements Engineering, 2nd edn. IEEE Computer Society Press, Los Alamitos (1997)","edition":"2"},{"key":"5_CR14","unstructured":"Dorfman, M.: System and Software Requirements Engineering, pp. 7\u201322. IEEE Computer Society Press Tutorial, IEEE Computer Society Press (1990)"},{"key":"5_CR15","volume-title":"Software Test and Analysis: Process, Principles and Techniques","author":"M. Pezz\u00e8","year":"2008","unstructured":"Pezz\u00e8, M., Young, M.: Software Test and Analysis: Process, Principles and Techniques. John Wiley and Sons, Hoboken (2008)"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Gat, E.: Autonomy Software Verification and Validation might not be as Hard as it Seems (AeroConf 2004). In: 2004 IEEE Aerospace Conference, pp. 3123\u20133128 (2004)","DOI":"10.1109\/AERO.2004.1368117"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Bucchiarone, A., Pelliccione, P., Vattani, C., Runge, O.: Self-Repairing Systems Modeling and Verification Using AGG. In: 8th IEEE\/IFIP Joint Working International Conference on Software Architecture (WICSA) and 3rd European Conference on Software Engineering (ECSA), pp. 181\u2013190. IEEE (2009)","DOI":"10.1109\/WICSA.2009.5290804"},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1109\/SASO.2008.69","volume-title":"2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2008)","author":"P. Bose","year":"2008","unstructured":"Bose, P., Quilling, M.: Model-Based Analysis of Autonomous Self-Adaptive Cooperating Robots. In: 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2008), pp. 57\u201363. IEEE Computer Society, Washington, DC (2008)"},{"volume-title":"Control in an Information Rich World: Report of the Panel on Future Directions in Control, Dynamics, and Systems","year":"2003","key":"5_CR19","unstructured":"Murray, R.M. (ed.): Control in an Information Rich World: Report of the Panel on Future Directions in Control, Dynamics, and Systems. Society for Industrial and Applied Mathematics, Philadelphia (2003)"},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/1882362.1882367","volume-title":"FSE\/SDP Workshop on Future of Software Engineering Research (FoSER 2010)","author":"L. Baresi","year":"2010","unstructured":"Baresi, L., Ghezzi, C.: The Disappearing Boundary between Development-time and Run-time. In: FSE\/SDP Workshop on Future of Software Engineering Research (FoSER 2010), pp. 17\u201322. ACM, New York (2010)"},{"key":"5_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16684-6","volume-title":"Viability Theory: New Directions","author":"J. Aubin","year":"2011","unstructured":"Aubin, J., Bayen, A., Saint-Pierre, P.: Viability Theory: New Directions. Springer, Heidelberg (2011)"},{"key":"5_CR22","first-page":"70","volume-title":"6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2011)","author":"S. Balasubramanian","year":"2011","unstructured":"Balasubramanian, S., Desmarais, R., M\u00fcller, H.A., Stege, U., Venkatesh, S.: Characterizing Problems for Realizing Policies in Self-Adaptive and Self-Managing Systems. In: 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2011), pp. 70\u201379. ACM, New York (2011)"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Jacklin, S.A., Lowry, M.R., Schumann, J.M., Gupta, P.P., Bosworth, J.T., Zavala, E., Kelly, J.W.: Verification, Validation, and Certification Challenges for Adaptive Flight-Critical Control System Software. In: American Institute of Aeronautics and Astronautics AIAA Guidance Navigation and Control Conference and Exhibit. American Institute of Aeronautics and Astronautics, pp. 1\u201310 (2004)","DOI":"10.2514\/6.2004-5258"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Crum, V.W., Buffington, J.M., Tallant, G.S., Krogh, B., Plaisted, C., Prasanth, R., Bose, P., Johnson, T.: Verification & Validation of Intelligent and Adaptive Control Systems. In: IEEE Aerospace Conference (AeroConf. 2004), pp. 68\u201377. IEEE Computer Society (2004)","DOI":"10.1109\/AERO.2004.1367591"},{"key":"5_CR25","first-page":"200","volume-title":"2011 Conference of the Center for Advanced Studies on Collaborative Research (CASCON 2011)","author":"N.M. Villegas","year":"2011","unstructured":"Villegas, N.M., M\u00fcller, H.A., Mu\u00f1oz, J.C., Lau, A., Ng, J., Brealey, C.: A Dynamic Context Management Infrastructure for Supporting User-driven Web Integration in the Personal Web. In: 2011 Conference of the Center for Advanced Studies on Collaborative Research (CASCON 2011), pp. 200\u2013214. IBM Corp, Markham (2011)"},{"key":"5_CR26","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/MCS.2003.1188769","volume":"23","author":"R.M. Murray","year":"2003","unstructured":"Murray, R.M., \u0226str\u00f6m, K.J., Boyd, S.P., Brockett, R.W., Stein, G.: Future Directions in Control in an Information Rich World. IEEE Control Systems\u00a023, 20\u201333 (2003)","journal-title":"IEEE Control Systems"},{"key":"5_CR27","unstructured":"Schumann, J., Gupta, P.: Bayesian Verification & Validation Tools for Adaptive Systems: Report on Principle of Operation and Prototypical Implementation of Bayesian Envelope Tool for Neural Networks. Technical report, National Aeronautics and Space Administration, NASA (2006)"},{"key":"5_CR28","unstructured":"Elkhodary, A., Esfahani, N., Malek, S.: FUSION: A Framework for Engineering Self-Tuning Self-Adaptive Software Systems. In: 18th ACM International Symposium on Foundations of Software Engineering, FSE 2010, pp. 7\u201316. ACM, (2010)"},{"issue":"1","key":"5_CR29","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":"5_CR30","series-title":"Lecture Notes in Computer Science","first-page":"34","volume-title":"FACS 2010","author":"G. Tamura","year":"2010","unstructured":"Tamura, G., Casallas, R., Cleve, A., Duchien, L.: QoS Contract-Aware Reconfiguration of Component Architectures Using E-Graphs. In: Barbosa, L.S. (ed.) FACS 2010. LNCS, vol.\u00a06921, pp. 34\u201352. Springer, Heidelberg (2010)"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Dumont, G., Huzmezan, M.: Concepts, Methods and Techniques in Adaptive Control. In: 2002 IEEE American Control Conference (ACC 2002), Anchorage, AK, USA, vol.\u00a02, pp. 1137\u20131150 (2002)","DOI":"10.1109\/ACC.2002.1023173"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"Epifani, I., Ghezzi, C., Mirandola, R., Tamburrelli, G.: Model Evolution by Run-Time Parameter Adaptation. In: 31st International Conference on Software Engineering (ICSE 2009), pp. 111\u2013121. IEEE (2009)","DOI":"10.1109\/ICSE.2009.5070513"},{"key":"5_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-642-13238-4_5","volume-title":"Component-Based Software Engineering","author":"M. L\u00e9ger","year":"2010","unstructured":"L\u00e9ger, M., Ledoux, T., Coupaye, T.: Reliable Dynamic Reconfigurations in a Reflective Component Model. In: Grunske, L., Reussner, R., Plasil, F. (eds.) CBSE 2010. LNCS, vol.\u00a06092, pp. 74\u201392. Springer, Heidelberg (2010)"},{"key":"5_CR34","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez, A., Piel, E., Gross, H.G.: A Model for the Measurement of the Runtime Testability of Component-Based Systems. In: 2009 International Conference on Software Testing Verification and Validation Workshops (ICSTW), pp. 19\u201328. IEEE (2009)","DOI":"10.1109\/ICSTW.2009.9"},{"key":"5_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-642-12261-3_12","volume-title":"Models in Software Engineering","author":"N. Bencomo","year":"2010","unstructured":"Bencomo, N., Blair, G., France, R., Mu\u00f1oz, F., Jeanneret, C.: 4th International Workshop on Models@run.time. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol.\u00a06002, pp. 119\u2013123. Springer, Heidelberg (2010)"},{"key":"5_CR36","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: 18th International Requirements Engineering Conference (RE 2010), pp. 95\u2013103. IEEE (2010)","DOI":"10.1109\/RE.2010.21"},{"key":"5_CR37","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.: Models@run.time. IEEE Computer\u00a042, 22\u201327 (2009)","journal-title":"IEEE Computer"},{"key":"5_CR38","doi-asserted-by":"crossref","unstructured":"France, R., Rumpe, B.: Model-driven Development of Complex Software: A Research Roadmap. In: 2007 Future of Software Engineering (FOSE 2007). IEEE Computer Society (2007)","DOI":"10.1109\/FOSE.2007.14"},{"key":"5_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-540-95888-8_2","volume-title":"Software Engineering","author":"H.A. M\u00fcller","year":"2009","unstructured":"M\u00fcller, H.A., Kienle, H.M., Stege, U.: Autonomic Computing Now You See It, Now You Don\u2019t. In: De Lucia, A., Ferrucci, F. (eds.) ISSSE 2006-2008. LNCS, vol.\u00a05413, pp. 32\u201354. Springer, Heidelberg (2009)"},{"key":"5_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-642-12261-3_13","volume-title":"Models in Software Engineering","author":"T. Vogel","year":"2010","unstructured":"Vogel, T., Neumann, S., Hildebrandt, S., Giese, H., Becker, B.: Incremental Model Synchronization for Efficient Run-Time Monitoring. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol.\u00a06002, pp. 124\u2013139. Springer, Heidelberg (2010)"},{"key":"5_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-540-69073-3_23","volume-title":"Models in Software Engineering","author":"H. Goldsby","year":"2008","unstructured":"Goldsby, H., Cheng, B., Zhang, J.: AMOEBA-RT: Run-Time Verification of Adaptive Software. In: Giese, H. (ed.) MODELS 2008. LNCS, vol.\u00a05002, pp. 212\u2013224. Springer, Heidelberg (2008)"},{"key":"5_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-642-16599-3_18","volume-title":"The Smart Internet","author":"N.M. Villegas","year":"2010","unstructured":"Villegas, N.M., M\u00fcller, H.A.: Managing Dynamic Context to Optimize Smart Interactions and Services. In: Chignell, M., Cordy, J., Ng, J., Yesha, Y. (eds.) The Smart Internet. LNCS, vol.\u00a06400, pp. 289\u2013318. Springer, Heidelberg (2010)"},{"key":"5_CR43","unstructured":"Villegas, N.M., M\u00fcller, H.A.: Context-driven Adaptive Monitoring for Supporting SOA Governance. In: 4th International Workshop on a Research Agenda for Maintenance and Evolution of Service-Oriented Systems (MESOA 2010). CMU\/SEI-2011-SR-008, Pittsburgh: Carnegie Mellon University (2011)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Self-Adaptive Systems II"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35813-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T15:33:58Z","timestamp":1745940838000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35813-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642358128","9783642358135"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35813-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}