{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,24]],"date-time":"2026-09-24T13:58:12Z","timestamp":1790258292184,"version":"4.1.0"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1007\/s10664-014-9305-0","type":"journal-article","created":{"date-parts":[[2014,3,11]],"date-time":"2014-03-11T03:05:36Z","timestamp":1394507136000},"page":"1466-1501","source":"Crossref","is-referenced-by-count":31,"title":["AutoRELAX: automatically RELAXing a goal model to address uncertainty"],"prefix":"10.1007","volume":"19","author":[{"given":"Erik M.","family":"Fredericks","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Byron","family":"DeVries","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Betty H. C.","family":"Cheng","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"9305_CR1","first-page":"125","volume-title":"Fuzzy goals for requirements-driven adaptation. In: Proceedings of the 18th IEEE international requirements engineering conference","author":"L Baresi","year":"2010","unstructured":"Baresi L, Pasquale L, Spoletini P (2010) Fuzzy goals for requirements-driven adaptation. In: Proceedings of the 18th IEEE international requirements engineering conference. IEEE, Sydney, pp 125\u2013134"},{"key":"9305_CR2","first-page":"199","volume-title":"Requirements reflection: requirements as runtime entities. In: Proceedings of the 32nd ACM\/IEEE international conference on software engineering","author":"N Bencomo","year":"2010","unstructured":"Bencomo N, Whittle J, Sawyer P, Finkelstein A, Letier E (2010) Requirements reflection: requirements as runtime entities. In: Proceedings of the 32nd ACM\/IEEE international conference on software engineering. ACM, Cape Town, pp 199\u2013202"},{"key":"9305_CR3","unstructured":"Bencomo N, Belaggoun A (2013) Supporting decision-making for self-adaptive systems: from goal models to dynamic decision networks. In: Requirements engineering: Foundation for Software Quality. Springer, pp 221\u2013236"},{"key":"9305_CR4","first-page":"468","volume-title":"A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty. In: ACM\/IEEE international conference on model driven engineering languages and systems (MODELS\u201909). Lecture notes in computer science","author":"BHC Cheng","year":"2009","unstructured":"Cheng BHC, Sawyer P, Bencomo N, Whittle J (2009) A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty. In: ACM\/IEEE international conference on model driven engineering languages and systems (MODELS\u201909). Lecture notes in computer science. Springer-Verlag, Denver, pp 468\u2013483"},{"key":"9305_CR5","doi-asserted-by":"crossref","unstructured":"Chung L, Nixon B, Yu E, Mylopoulos J (2000) Non-functional requirements in software engineering. Kluwer","DOI":"10.1007\/978-1-4615-5269-7"},{"key":"9305_CR6","unstructured":"Craenen B, Eiben A (2001) Stepwise adaption of weights with refinement and decay on constraint satisfaction problems. In: Proceedings of the genetic and evolutionary computation conference (GECCO 2001), pp 291\u2013298"},{"issue":"1-2","key":"9305_CR7","doi-asserted-by":"crossref","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 (1993) Goal-directed requirements acquisition. Sci Comput Program 20(1-2):3\u201350","journal-title":"Sci Comput Program"},{"key":"9305_CR8","doi-asserted-by":"crossref","unstructured":"Deb K, Pratap A, Agarwal S, Meyarivan T (2002) A fast and elitist multiobjective genetic algorithm: NSGA-II. In: IEEE transactions on evolutionary computation, vol 6. IEEE, pp 182\u2013197","DOI":"10.1109\/4235.996017"},{"key":"9305_CR9","first-page":"107","volume-title":"Elicitation and utilization of application-level utility functions. In: Proceedings of the sixth international conference on autonomic computing (ICAC\u201909)","author":"P Grandis de","year":"2009","unstructured":"de Grandis P, Valetto G (2009) Elicitation and utilization of application-level utility functions. In: Proceedings of the sixth international conference on autonomic computing (ICAC\u201909). ACM, Barcelona, pp 107\u2013116"},{"key":"9305_CR10","doi-asserted-by":"crossref","unstructured":"Eiben \u00c1, van der Hauw J (1997) Solving 3-sat by gas adapting constraint weights. In: IEEE international conference on evolutionary computation. IEEE, pp 81\u201386","DOI":"10.1109\/ICEC.1997.592273"},{"key":"9305_CR11","doi-asserted-by":"crossref","unstructured":"Eiben A, van der Hauw J (1998) Adaptive penalties for evolutionary graph coloring. In: Artificial evolution. Springer, pp 95\u2013106","DOI":"10.1007\/BFb0026593"},{"key":"9305_CR12","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1023\/A:1009638304510","volume":"4","author":"A Eiben","year":"1998","unstructured":"Eiben A, van der Hauw J, van Hemert J (1998) Graph coloring with adaptive evolutionary algorithms. J Heuristics 4:25\u201346","journal-title":"J Heuristics"},{"key":"9305_CR13","doi-asserted-by":"crossref","DOI":"10.1109\/ASE.2011.6100147","volume-title":"A framework for managing uncertainty in self-adaptive software systems. In: Proceedings of the 26th IEEE\/ACM international conference on automated software engineering","author":"N Esfahani","year":"2011","unstructured":"Esfahani N (2011) A framework for managing uncertainty in self-adaptive software systems. In: Proceedings of the 26th IEEE\/ACM international conference on automated software engineering. Lawrence , Kansas"},{"key":"9305_CR14","doi-asserted-by":"crossref","unstructured":"Esfahani N, Kouroshfar E, Malek S (2011) 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, pp 234\u2013244","DOI":"10.1145\/2025113.2025147"},{"key":"9305_CR15","first-page":"50","volume-title":"Reconciling system requirements and runtime behavior. In: Proceedings of the 8th international workshop on software specification and design","author":"MS Feather","year":"1998","unstructured":"Feather MS, Fickas S, van Lamsweerde A, Ponsard C (1998) Reconciling system requirements and runtime behavior. In: Proceedings of the 8th international workshop on software specification and design. IEEE Computer Society, Washington, DC, pp 50\u201359"},{"key":"9305_CR16","first-page":"140","volume-title":"Requirements monitoring in dynamic environments. In: Proceedings of the second IEEE international symposium on requirements engineering","author":"S Fickas","year":"1995","unstructured":"Fickas S, Feather MS (1995) Requirements monitoring in dynamic environments. In: Proceedings of the second IEEE international symposium on requirements engineering. IEEE Computer Society, Washington, DC, pp 140\u2013147"},{"key":"9305_CR17","first-page":"341","volume-title":"Run-time efficient probabilistic model checking. In: Proceedings of the 33rd international conference on software engineering","author":"A Filieri","year":"2011","unstructured":"Filieri A, Ghezzi C, Tamburrelli G (2011) Run-time efficient probabilistic model checking. In: Proceedings of the 33rd international conference on software engineering. ACM, Waikiki, pp 341\u2013350"},{"key":"9305_CR18","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1090.001.0001","volume-title":"Adaptation in natural and artificial systems","author":"JH Holland","year":"1992","unstructured":"Holland JH (1992) Adaptation in natural and artificial systems. MIT Press, Cambridge"},{"key":"9305_CR19","first-page":"15","volume-title":"Deriving specifications from requirements: an example. In: Proceedings of the 17th international conference on software engineering","author":"M Jackson","year":"1995","unstructured":"Jackson M, Zave P (1995) Deriving specifications from requirements: an example. In: Proceedings of the 17th international conference on software engineering. ACM, Seattle, pp 15\u201324"},{"key":"9305_CR20","first-page":"253","volume-title":"Seneca: remote mirroring done write. In: USENIX 2003 annual technical conference","author":"M Ji","year":"2003","unstructured":"Ji M, Veitch A, Wilkes J (2003) Seneca: remote mirroring done write. In: USENIX 2003 annual technical conference. USENIX Association, Berkeley, pp 253\u2013268"},{"key":"9305_CR21","first-page":"59","volume-title":"Designing for disasters. In: 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 (2004) Designing for disasters. In: Proceedings of the 3rd USENIX conference on file and storage technologies. USENIX Association, Berkeley, pp 59\u201362"},{"issue":"11","key":"9305_CR22","doi-asserted-by":"crossref","first-page":"1293","DOI":"10.1109\/32.60317","volume":"16","author":"J Kramer","year":"1990","unstructured":"Kramer J, Magee J (1990) The evolving philosophers problem: dynamic change management. IEEE Trans Soft Eng 16(11):1293\u20131306","journal-title":"IEEE Trans Soft Eng"},{"key":"9305_CR23","first-page":"53","volume-title":"Reasoning about partial goal satisfaction for requirements and design engineering. In: Proceedings of the 12th ACM SIGSOFT international symposium on foundations of software engineering","author":"E Letier","year":"2004","unstructured":"Letier E, van Lamsweerde A (2004) Reasoning about partial goal satisfaction for requirements and design engineering. In: Proceedings of the 12th ACM SIGSOFT international symposium on foundations of software engineering. ACM, Newport Beach, pp 53\u201362"},{"key":"9305_CR24","unstructured":"Neema S, Bapty T, Scott J (1999) Development environment for dynamically reconfigurable embedded systems. In: Proceedings of the international conference on signal processing applications and technology. Orlando"},{"key":"9305_CR25","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1109\/RESS.2011.6043924","volume-title":"Monitoring fuzzy temporal requirements for service compositions: motivations, challenges, and experimental results. In: Proceedings of the 2011 international workshop on requirements engineering for systems, services and systems of systems","author":"L Pasquale","year":"2011","unstructured":"Pasquale L, Spoletini P (2011) Monitoring fuzzy temporal requirements for service compositions: motivations, challenges, and experimental results. In: Proceedings of the 2011 international workshop on requirements engineering for systems, services and systems of systems. IEEE, Trento, pp 63\u201369"},{"key":"9305_CR26","doi-asserted-by":"crossref","unstructured":"Ramirez AJ, Knoester DB, Cheng BHC, McKinley PK (2009) Applying genetic algorithms to decision making in autonomic computing systems. In: Proceedings of the sixth international conference on autonomic computing. Barcelona, pp 97\u2013106","DOI":"10.1145\/1555228.1555258"},{"key":"9305_CR27","doi-asserted-by":"crossref","unstructured":"Ramirez AJ, Knoester DB, Cheng BHC, McKinley PK (2010) Plato: a genetic algorithm approach to run-time reconfiguration of autonomic computing systems. Clust Comput to appear","DOI":"10.1007\/s10586-010-0122-y"},{"key":"9305_CR28","unstructured":"Ramirez AJ, Cheng BHC (2011) Automatically deriving utility functions for monitoring software requirements. In: Proceedings of the 2011 international conference on model driven engineering languages and systems conference. Wellington, pp 501\u2013516"},{"key":"9305_CR29","doi-asserted-by":"crossref","unstructured":"Ramirez AJ, Jensen AC, Cheng BH, Knoester DB (2011) Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems. In: Proceedings of the 2011 international conference on automatic software engineering, ASE\u201911. Lawrence, Kansas","DOI":"10.1109\/ASE.2011.6100127"},{"key":"9305_CR30","first-page":"198","volume-title":"Search based software engineering, lecture notes in computer science, vol 7515","author":"AJ Ramirez","year":"2012","unstructured":"Ramirez AJ, Fredericks EM, Jensen AC, Cheng BHC (2012) Automatically relaxing a goal model to cope with uncertainty. In: Fraser G, Teixeira de Souza J (eds) Search based software engineering, lecture notes in computer science, vol 7515. Springer, Berlin, pp 198\u2013212"},{"key":"9305_CR31","doi-asserted-by":"crossref","unstructured":"Sawyer P, Bencomo N, Letier E, Finkelstein A (2010) Requirements-aware systems: a research agenda for re self-adaptive systems. In: Proceedings of the 18th IEEE international requirements engineering conference. Sydney, pp 95\u2013103","DOI":"10.1109\/RE.2010.21"},{"key":"9305_CR32","first-page":"9","volume-title":"From awareness requirements to adaptive systems: a control-theoretic approach. In: Proceedings of the second international workshop on requirements at run time","author":"VES Souza","year":"2011","unstructured":"Souza VES, Mylopoulos J (2011) From awareness requirements to adaptive systems: a control-theoretic approach. In: Proceedings of the second international workshop on requirements at run time. IEEE Computer Society, Trento, pp 9\u201315"},{"key":"9305_CR33","unstructured":"van der Hauw K (1996) Evaluating and improving steady state evolutionary algorithms on constraint satisfaction problems. Master\u2019s thesis, Leiden University"},{"key":"9305_CR34","unstructured":"van Lamsweerde A (2009) Requirements engineering: from system goals to UML models to software specifications. Wiley"},{"issue":"10","key":"9305_CR35","doi-asserted-by":"crossref","first-page":"978","DOI":"10.1109\/32.879820","volume":"26","author":"A Lamsweerde van","year":"2000","unstructured":"van Lamsweerde A, Letier E (2000) Handling obstacles in goal-oriented requirements engineering. IEEE Trans Softw Eng 26(10):978\u20131005","journal-title":"IEEE Trans Softw Eng"},{"key":"9305_CR36","first-page":"70","volume-title":"Utility functions in autonomic systems. In: Proceedings of the first IEEE international conference on autonomic computing","author":"WE Walsh","year":"2004","unstructured":"Walsh WE, Tesauro G, Kephart JO, Das R (2004) Utility functions in autonomic systems. In: Proceedings of the first IEEE international conference on autonomic computing. IEEE Computer Society, New York, pp 70\u201377"},{"issue":"1","key":"9305_CR37","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1016\/j.ic.2010.08.001","volume":"209","author":"O Wei","year":"2011","unstructured":"Wei O, Gurfinkel A, Chechik M (2011) On the consistency, expressiveness, and precision of partial models. J Inf Comput 209(1):20\u201347","journal-title":"J Inf Comput"},{"key":"9305_CR38","first-page":"2","volume-title":"Understanding the scope of uncertainty in dynamically adaptive systems. In: Proceedings of the sixth international working conference on requirements engineering: foundation for software quality, vol 6182","author":"K Welsh","year":"2010","unstructured":"Welsh K, Sawyer P (2010) Understanding the scope of uncertainty in dynamically adaptive systems. In: Proceedings of the sixth international working conference on requirements engineering: foundation for software quality, vol 6182. Springer, Essen, pp 2\u201316"},{"key":"9305_CR39","first-page":"560","volume-title":"Towards requirements aware systems: run-time resolution of design-time assumptions. In: Proceedings of the 26th IEEE\/ACM international conference on automated software engineering","author":"K Welsh","year":"2011","unstructured":"Welsh K, Sawyer P, Bencomo N (2011 ) Towards requirements aware systems: run-time resolution of design-time assumptions. In: Proceedings of the 26th IEEE\/ACM international conference on automated software engineering. IEEE Computer Society, Lawrence, pp 560\u2013563"},{"key":"9305_CR40","first-page":"79","volume-title":"RELAX: Incorporating uncertainty into the specification of self-adaptive systems. In: Proceedings of the 17th international requirements engineering conference (RE \u201909)","author":"J Whittle","year":"2009","unstructured":"Whittle J, Sawyer P, Bencomo N, Cheng BHC, Bruel JM (2009) RELAX: Incorporating uncertainty into the specification of self-adaptive systems. In: Proceedings of the 17th international requirements engineering conference (RE \u201909). IEEE Computer Society, Atlanta, pp 79\u201388"},{"key":"9305_CR41","unstructured":"Witty R, Scott D (2001) Disaster recovery plans and systems are essential. Technical Report FT-14-5021, Gartner research"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-014-9305-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10664-014-9305-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-014-9305-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T09:24:22Z","timestamp":1565256262000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10664-014-9305-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3,12]]},"references-count":41,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2014,10]]}},"alternative-id":["9305"],"URL":"https:\/\/doi.org\/10.1007\/s10664-014-9305-0","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"value":"1382-3256","type":"print"},{"value":"1573-7616","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,3,12]]}}}