{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:59:04Z","timestamp":1725458344883},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336652"},{"type":"electronic","value":"9783642336669"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33666-9_5","type":"book-chapter","created":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T12:50:20Z","timestamp":1347972620000},"page":"53-69","source":"Crossref","is-referenced-by-count":25,"title":["Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time"],"prefix":"10.1007","author":[{"given":"Andres J.","family":"Ramirez","sequence":"first","affiliation":[]},{"given":"Betty H. C.","family":"Cheng","sequence":"additional","affiliation":[]},{"given":"Nelly","family":"Bencomo","sequence":"additional","affiliation":[]},{"given":"Pete","family":"Sawyer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/s00766-010-0110-z","volume":"15","author":"R. Ali","year":"2010","unstructured":"Ali, R., Dalpiaz, F., Giorgini, P.: A goal-based framework for contextual requirements modeling and analysis. Requir. Eng.\u00a015, 439\u2013458 (2010)","journal-title":"Requir. Eng."},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/RE.2010.25","volume-title":"Proceedings of the 18th IEEE International Requirements Engineering Conference","author":"L. Baresi","year":"2010","unstructured":"Baresi, L., Pasquale, L., Spoletini, P.: Fuzzy goals for requirements-driven adaptation. In: Proceedings of the 18th IEEE International Requirements Engineering Conference, pp. 125\u2013134. IEEE, Sydney (2010)"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Chen, B., Peng, X., Yu, Y., Zhao, W.: Are your sites down? requirements-driven self-tuning for the survivability of web systems. In: 19th International Conference on Requirements Engineering (2011)","DOI":"10.1109\/RE.2011.6051650"},{"key":"5_CR4","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":"5_CR5","doi-asserted-by":"crossref","unstructured":"Chung, L., Nixon, B., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer Academic Publishers (2000)","DOI":"10.1007\/978-1-4615-5269-7"},{"key":"5_CR6","unstructured":"DeLoach, S.A., Miller, M.: A goal model for adaptive complex systems. International Journal of Computational Intelligence: Theory and Practice\u00a05(2) (2010)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Feather, M.S., Fickas, S., van Lamsweerde, A., Ponsard, C.: Reconciling system requirements and runtime behavior. In: Proc. of the 8th Int. Workshop on Software Specification and Design, Washington, DC, USA, pp. 50\u201359 (1998)","DOI":"10.1109\/IWSSD.1998.667919"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Fickas, S., Feather, M.S.: Requirements monitoring in dynamic environments. In: Proc. of the Second IEEE Int. Symp. on Requirements Eng., Washington, DC, USA, pp. 140\u2013147 (1995)","DOI":"10.1109\/ISRE.1995.512555"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/1555228.1555259","volume-title":"The Proceedings of the Sixth International Conference on Autonomic Computing (ICAC 2009)","author":"P. Grandis de","year":"2009","unstructured":"de Grandis, P., Valetto, G.: Elicitation and utilization of application-level utility functions. In: The Proceedings of the Sixth International Conference on Autonomic Computing (ICAC 2009), pp. 107\u2013116. ACM, Barcelona (2009)"},{"key":"5_CR10","first-page":"15","volume-title":"Proceedings of the 17th International Conference on Software Engineering","author":"M. Jackson","year":"1995","unstructured":"Jackson, M., Zave, P.: Deriving specifications from requirements: an example. In: Proceedings of the 17th International Conference on Software Engineering, pp. 15\u201324. ACM, Seattle (1995)"},{"key":"5_CR11","first-page":"253","volume-title":"USENIX 2003 Annual Technical Conference","author":"M. Ji","year":"2003","unstructured":"Ji, M., Veitch, A., Wilkes, J.: Seneca: Remote mirroring done write. In: USENIX 2003 Annual Technical Conference, pp. 253\u2013268. USENIX Association, Berkeley (2003)"},{"key":"5_CR12","first-page":"59","volume-title":"Proceedings of the 3rd USENIX Conference on File and Storage Technologies","author":"K. Keeton","year":"2004","unstructured":"Keeton, K., Santos, C., Beyer, D., Chase, J., Wilkes, J.: Designing for disasters. In: Proceedings of the 3rd USENIX Conference on File and Storage Technologies, pp. 59\u201362. USENIX Association, Berkeley (2004)"},{"issue":"11","key":"5_CR13","doi-asserted-by":"publisher","first-page":"1293","DOI":"10.1109\/32.60317","volume":"16","author":"J. Kramer","year":"1990","unstructured":"Kramer, J., Magee, J.: The evolving philosophers problem: Dynamic change management. IEEE Trans. on Soft. Eng.\u00a016(11), 1293\u20131306 (1990)","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"5_CR14","unstructured":"van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley (March 2009)"},{"issue":"10","key":"5_CR15","doi-asserted-by":"publisher","first-page":"978","DOI":"10.1109\/32.879820","volume":"26","author":"A. Lamsweerde van","year":"2000","unstructured":"van Lamsweerde, A., Letier, E.: Handling obstacles in goal-oriented requirements engineering. IEEE Tran. on Soft. Eng.\u00a026(10), 978\u20131005 (2000)","journal-title":"IEEE Tran. on Soft. Eng."},{"key":"5_CR16","unstructured":"Lapouchnian, A.: Exploiting Requirements Variability for Software Customization and Adaptation. Ph.D. thesis, University of Toronto (2011)"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/1029894.1029905","volume-title":"Proc. of the 12th ACM SIGSOFT Int. Symp. on Foundations of Software Eng.","author":"E. Letier","year":"2004","unstructured":"Letier, E., van Lamsweerde, A.: Reasoning about partial goal satisfaction for requirements and design engineering. In: Proc. of the 12th ACM SIGSOFT Int. Symp. on Foundations of Software Eng., pp. 53\u201362. ACM, Newport Beach (2004)"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Ramirez, A.J., Cheng, B.H.C.: Cheng: Adaptive monitoring of software requirements. In: Proceedings of the IEEE Workshop on Requirements at Run Time, pp. 41\u201350. RE@RunTime, Sydney, Australia (September 2010)","DOI":"10.1109\/RERUNTIME.2010.5628549"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Ramirez, A.J., Cheng, B.H.C.: Automatically deriving utility functions for monitoring software requirements. In: Proceedings of the 2011 International Conference on Model Driven Engineering Languages and Systems Conference, Wellington, New Zealand, pp. 501\u2013516 (2011)","DOI":"10.1007\/978-3-642-24485-8_37"},{"key":"5_CR20","first-page":"276","volume-title":"HICSS 2002: Proceedings of the 35th Annual Hawaii International Conference on System Sciences","author":"W.N. Robinson","year":"2002","unstructured":"Robinson, W.N.: Monitoring software requirements using instrumented code. In: HICSS 2002: Proceedings of the 35th Annual Hawaii International Conference on System Sciences, pp. 276\u2013285. IEEE Computer Society, Hawaii (2002)"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Salifu, M., Yu, Y., Nuseibeh, B.: Specifying monitoring and switching problems in context. In: IEEE Int. Requirements Engineering Conference, pp. 211\u2013220 (October 2007)","DOI":"10.1109\/RE.2007.21"},{"key":"5_CR22","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":"5_CR23","doi-asserted-by":"crossref","unstructured":"Serrano, M., Serrano, M., Sampaio, J.C., Leite, P.: Dealing with softgoals at runtime: A fuzzy logic approach. In: Proceedings of the 2nd International Workshop on Requirements at Run Time, Trento, Italy, pp. 23\u201331 (August 2011)","DOI":"10.1109\/ReRunTime.2011.6046244"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Silva Souza, V.E., Lapouchnian, A., Robinson, W.N., Mylopoulos, J.: Awareness requirements for adaptive systems. Tech. rep., University of Trento (2010)","DOI":"10.1145\/1988008.1988018"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Tarjan, R.: Depth-first search and linear graph algorithms. In: Proceedings of the 12th Annual Symposium on Switching and Automata Theory, pp. 114\u2013121 (October 1971)","DOI":"10.1109\/SWAT.1971.10"},{"key":"5_CR26","doi-asserted-by":"crossref","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: Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Waikiki, Honolulu, HI, USA, pp. 80\u201389 (May 2011)","DOI":"10.1145\/1988008.1988020"},{"key":"5_CR27","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/ICAC.2004.1301349","volume-title":"Proceedings of the First IEEE International Conference on Autonomic Computing","author":"W.E. Walsh","year":"2004","unstructured":"Walsh, W.E., Tesauro, G., Kephart, J.O., Das, R.: Utility functions in autonomic systems. In: Proceedings of the First IEEE International Conference on Autonomic Computing, pp. 70\u201377. IEEE Computer Society, New York (2004)"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Welsh, K., Sawyer, P., Bencomo, N.: Towards requirements aware systems: Run-time resolution of design-time assumptions. In: Proc. of the 26th IEEE\/ACM Int. Conf. on Automated Software Engineering, Lawrence, Kansas, USA, pp. 560\u2013563 (November 2011)","DOI":"10.1109\/ASE.2011.6100125"},{"key":"5_CR29","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)"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H.C., Bruel, J.M.: RELAX: Incorporating uncertainty into the specification of self-adaptive systems. In: Proc. of the 17th Int. Requirements Eng. Conf (RE 2009), Atlanta, Georgia, USA, pp. 79\u201388 (September 2009)","DOI":"10.1109\/RE.2009.36"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Yu, E.S.: Towards modeling and reasoning support for early-phase requirements engineering. In: Proc. of the Third IEEE Int. Symposium on Requirements Eng., Annapolis, MD, USA, pp. 226\u2013235 (January 1997)","DOI":"10.1109\/ISRE.1997.566873"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33666-9_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T22:12:41Z","timestamp":1606169561000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33666-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336652","9783642336669"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33666-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}