{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T01:10:06Z","timestamp":1744074606060,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642331183"},{"type":"electronic","value":"9783642331190"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33119-0_15","type":"book-chapter","created":{"date-parts":[[2012,9,7]],"date-time":"2012-09-07T11:50:13Z","timestamp":1347018613000},"page":"198-212","source":"Crossref","is-referenced-by-count":11,"title":["Automatically RELAXing a Goal Model to Cope with Uncertainty"],"prefix":"10.1007","author":[{"given":"Andres J.","family":"Ramirez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik M.","family":"Fredericks","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adam C.","family":"Jensen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Betty H. C.","family":"Cheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","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":"15_CR2","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)"},{"doi-asserted-by":"crossref","unstructured":"Chung, L., Nixon, B., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer Academic Publishers (2000)","key":"15_CR3","DOI":"10.1007\/978-1-4615-5269-7"},{"issue":"1-2","key":"15_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming\u00a020(1-2), 3\u201350 (1993)","journal-title":"Science of Computer Programming"},{"doi-asserted-by":"crossref","unstructured":"Esfahani, N., Kouroshfar, E., Malek, S.: Taming uncertainty in self-adaptive software. In: Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, Szeged, Hungary, pp. 234\u2013244 (2011)","key":"15_CR5","DOI":"10.1145\/2025113.2025147"},{"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, Washington, DC (1998)","key":"15_CR6","DOI":"10.1109\/IWSSD.1998.667919"},{"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, Washington, DC (1995)","key":"15_CR7","DOI":"10.1109\/ISRE.1995.512555"},{"key":"15_CR8","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), June 2009, pp. 107\u2013116. ACM, Barcelona (2009)"},{"key":"15_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1090.001.0001","volume-title":"Adaptation in Natural and Artificial Systems","author":"J.H. Holland","year":"1992","unstructured":"Holland, J.H.: Adaptation in Natural and Artificial Systems. MIT Press, Cambridge (1992)"},{"key":"15_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)"},{"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":"15_CR11"},{"key":"15_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":"15_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."},{"unstructured":"van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley (March 2009)","key":"15_CR14"},{"issue":"10","key":"15_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 Transactions on Software Engineering\u00a026(10), 978\u20131005 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR16","first-page":"53","volume-title":"Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering","author":"E. Letier","year":"2004","unstructured":"Letier, E., van Lamsweerde, A.: Reasoning about partial goal satisfaction for requirements and design engineering. In: Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 53\u201362. ACM, Newport Beach (2004)"},{"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)","key":"15_CR17","DOI":"10.1007\/978-3-642-24485-8_37"},{"doi-asserted-by":"crossref","unstructured":"Ramirez, A.J., Knoester, D.B., Cheng, B.H.C., McKinley, P.K.: Applying genetic algorithms to decision making in autonomic computing systems. In: Proceedings of the Sixth International Conference on Autonomic Computing, Barcelona, Spain, pp. 97\u2013106 (June 2009)","key":"15_CR18","DOI":"10.1145\/1555228.1555258"},{"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, September 2010, pp. 95\u2013103 (2010)","key":"15_CR19","DOI":"10.1109\/RE.2010.21"},{"key":"15_CR20","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1109\/SSBSE.2010.25","volume-title":"Proceedings of the 2nd International Symposium on Search Based Software Engineering (SSBSE 2010)","author":"J.T. Souza de","year":"2010","unstructured":"de Souza, J.T., Maia, C.L.B., de Freitas, F.G., Coutinho, D.P.: The human competitiveness of search based software engineering. In: Proceedings of the 2nd International Symposium on Search Based Software Engineering (SSBSE 2010), September 7-9, pp. 143\u2013152. IEEE, Benevento (2010)"},{"key":"15_CR21","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1109\/ReRunTime.2011.6046242","volume-title":"Proceedings of the Second International Workshop on Requirements at Run Time","author":"V.E.S. Souza","year":"2011","unstructured":"Souza, V.E.S., Mylopoulos, J.: From awareness requirements to adaptive systems: A control-theoretic approach. In: Proceedings of the Second International Workshop on Requirements at Run Time, pp. 9\u201315. IEEE Computer Society Press, Trento (2011)"},{"key":"15_CR22","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":"15_CR23","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":"15_CR24","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1109\/RE.2009.36","volume-title":"Proceedings of the 17th International Requirements Engineering Conference (RE 2009)","author":"J. Whittle","year":"2009","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: Proceedings of the 17th International Requirements Engineering Conference (RE 2009), pp. 79\u201388. IEEE Computer Society, Atlanta (2009)"}],"container-title":["Lecture Notes in Computer Science","Search Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33119-0_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T00:45:32Z","timestamp":1744073132000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33119-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642331183","9783642331190"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33119-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}