{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,15]],"date-time":"2026-08-15T14:31:37Z","timestamp":1786804297299,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,27]],"date-time":"2020-06-27T00:00:00Z","timestamp":1593216000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,27]]},"DOI":"10.1145\/3377811.3380927","type":"proceedings-article","created":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T18:25:34Z","timestamp":1601576734000},"page":"50-61","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":32,"title":["Adapting requirements models to varying environments"],"prefix":"10.1145","author":[{"given":"Dalal","family":"Alrajeh","sequence":"first","affiliation":[{"name":"Imperial College London, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Antoine","family":"Cailliau","sequence":"additional","affiliation":[{"name":"UCLouvain, Belgium"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Axel","family":"van Lamsweerde","sequence":"additional","affiliation":[{"name":"UCLouvain, Belgium"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. ([n. d.]). http:\/\/formal.cs.utah.edu:8080\/pbl\/PBL.php."},{"key":"e_1_3_2_1_2_1","unstructured":"European Environment Agency. 2019. Low Emission Zones. (2019). http:\/\/urbanaccessregulations.eu\/low-emission-zones-main\/."},{"key":"e_1_3_2_1_3_1","volume-title":"Dynamic Evolution of Context-Aware Systems with Models at Runtime","author":"Alf\u00e9rez Germ\u00e1n H","unstructured":"Germ\u00e1n H Alf\u00e9rez and Vicente Pelechano. 2012. Dynamic Evolution of Context-Aware Systems with Models at Runtime.. In MoDELS. Springer, 70--86."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-010-0110-z"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 12th International Conference Enterprise, Business-Process and Information Systems Modeling. 372--382","author":"Ali Raian","unstructured":"Raian Ali, Fabiano Dalpiaz, Paolo Giorgini, and V\u00edtor E. Silva Souza. 2011. Requirements Evolution: From Assumptions to Reality. In Proceedings of the 12th International Conference Enterprise, Business-Process and Information Systems Modeling. 372--382."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070527"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227147"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884838"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25264-3_28"},{"key":"e_1_3_2_1_10_1","volume-title":"ILP 2014","author":"Athakravi Duangtida","year":"2014","unstructured":"Duangtida Athakravi, Dalal Alrajeh, Krysia Broda, Alessandra Russo, and Ken Satoh. 2014. Inductive Learning Using Constraint-Driven Bias. In Inductive Logic Programming - 24th International Conference, ILP 2014, Nancy, France, September 14--16, 2014, Revised Selected Papers. 16--32."},{"key":"e_1_3_2_1_11_1","volume-title":"Inductive Logic Programming - 23rd International Conference (ILP). 31--46.","author":"Athakravi Duangtida","unstructured":"Duangtida Athakravi, Domenico Corapi, Krysia Broda, and Alessandra Russo. 2013. Learning Through Hypothesis Refinement Using Answer Set Programming. In Inductive Logic Programming - 23rd International Conference (ILP). 31--46."},{"key":"e_1_3_2_1_12_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Biere Armin","unstructured":"Armin Biere, Alessandro Cimatti, Edmund Clarke, and Yunshan Zhu. 1999. Symbolic Model Checking without BDDs. In Tools and Algorithms for the Construction and Analysis of Systems, W. Rance Cleaveland (Ed.). Springer Berlin Heidelberg, 193--207."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1090744.1090746"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3337800"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2014.6912246"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/647771.734431"},{"key":"e_1_3_2_1_17_1","volume-title":"Software Product Lines: Practices and Patterns","author":"Clements Paul","unstructured":"Paul Clements and Linda Northrop. 2001. Software Product Lines: Practices and Patterns. Addison-Wesley Professional."},{"key":"e_1_3_2_1_19_1","unstructured":"Robert Darimont. 2014. GORE\/KAOS in the industry: Lessons learnt. (2014). https:\/\/refsq.org\/2014\/2014\/files\/Robert-Darimont-GORE.pdf."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2011.6051656"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_5"},{"key":"e_1_3_2_1_22_1","volume-title":"Preliminary Report. CoRR abs\/1405.3694","author":"Gebser Martin","year":"2014","unstructured":"Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub. 2014. Clingo = ASP + Control: Preliminary Report. CoRR abs\/1405.3694 (2014)."},{"key":"e_1_3_2_1_23_1","first-page":"107","article-title":"Potassco","volume":"24","author":"Gebser Martin","year":"2011","unstructured":"Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, and Marius Schneider. 2011. Potassco: The Potsdam Answer Set Solving Collection. AI Commun. 24, 2 (2011), 107--124.","journal-title":"The Potsdam Answer Set Solving Collection. AI Commun."},{"key":"e_1_3_2_1_24_1","volume-title":"Dealing with non-functional requirements for adaptive systems via dynamic software product-lines","author":"Ghezzi Carlo","unstructured":"Carlo Ghezzi and Amir Molzam Sharifloo. 2013. Dealing with non-functional requirements for adaptive systems via dynamic software product-lines. In Software Engineering for Self-Adaptive Systems II. Springer, 191--213."},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development MODELSWARD. 335--354","author":"Greenyer Joel","year":"2018","unstructured":"Joel Greenyer, Daniel Gritzner, David Harel, and Assaf Marron. 2018. Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models. In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development MODELSWARD. 335--354."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2001.948406"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2012.332"},{"key":"e_1_3_2_1_28_1","volume-title":"2011 2nd International Workshop on. IEEE, 1--8.","author":"Inverardi Paola","year":"2011","unstructured":"Paola Inverardi and Marco Mori. 2011. Requirements models at run-time to support consistent system evolutions. In Requirements@ Run. Time (RE@ RunTime), 2011 2nd International Workshop on. IEEE, 1--8."},{"key":"e_1_3_2_1_29_1","volume-title":"Software Requirements and Specifications: A Lexicon of Practice, Principles and Prejudices","author":"Jackson Michael","unstructured":"Michael Jackson. 1995. Software Requirements and Specifications: A Lexicon of Practice, Principles and Prejudices. ACM Press\/Addison-Wesley Publishing Co., New York, NY, USA."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2017.09.004"},{"key":"e_1_3_2_1_31_1","article-title":"The Requirements Problem for Adaptive Systems","volume":"5","author":"Jureta Ivan J.","year":"2014","unstructured":"Ivan J. Jureta, Alexander Borgida, Neil A. Ernst, and John Mylopoulos. 2014. The Requirements Problem for Adaptive Systems. ACM Trans. Manage. Inf. Syst. 5, 3 (2014), 17:1--17:33.","journal-title":"ACM Trans. Manage. Inf. Syst."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"e_1_3_2_1_33_1","volume-title":"Specifying message passing and time-critical systems with temporal logic","author":"Koymans Ron","unstructured":"Ron Koymans. 1992. Specifying message passing and time-critical systems with temporal logic. Vol. 651. Springer Science & Business Media."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04840-1_11"},{"key":"e_1_3_2_1_35_1","volume-title":"Foundations of Logic Programming","author":"Lloyd John W.","unstructured":"John W. Lloyd. 1987. Foundations of Logic Programming. Springer-Verlag."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-011-0138-8"},{"key":"e_1_3_2_1_37_1","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Manna Zohar","unstructured":"Zohar Manna and Amir Pnueli. 1992. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag."},{"key":"e_1_3_2_1_38_1","volume-title":"Theory Completion Using Inverse Entailment. In Proceedings of 10th International Conference on Inductive Logic Programming. LNCS","volume":"1866","author":"Stephen","unstructured":"Stephen H. Muggleton and Christopher H. Bryant. 2000. Theory Completion Using Inverse Entailment. In Proceedings of 10th International Conference on Inductive Logic Programming. LNCS, Vol. 1866. 130--146."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46397-1_42"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336523"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5220\/0006462503720381"},{"key":"e_1_3_2_1_42_1","unstructured":"SPF Sant\u00e9 Publique. 2013. Manuel belge de la r\u00e9gulation m\u00e9dicale. (2013). https:\/\/www.health.belgium.be\/fr\/manuel-belge-de-la-regulation-medicale"},{"key":"e_1_3_2_1_43_1","unstructured":"RESPIRE. [n. d.]. ([n. d.]). https:\/\/www.dropbox.com\/sh\/wdew1sbcoqhhfe0\/AACBqCRj7epEyRX9teKYZ3bpa?dl=0."},{"key":"e_1_3_2_1_44_1","unstructured":"Siemens Products & Services. 2018. Low Emission Zones - Reducing air pollution where it matters. (2018). https:\/\/new.siemens.com\/global\/en\/products\/mobility\/road-solutions\/enforcement-and-tolling-solutions\/low-emission-zone.html."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486797"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1037\/0033-295X.84.4.327"},{"key":"e_1_3_2_1_48_1","volume-title":"Requirements Engineering: From System Goals to UML Models to Software Specifications","author":"van Lamsweerde Axel","year":"2009","unstructured":"Axel van Lamsweerde. 2009. Requirements Engineering: From System Goals to UML Models to Software Specifications (1st ed.). Wiley Publishing.","edition":"1"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/237432.237434"}],"event":{"name":"ICSE '20: 42nd International Conference on Software Engineering","location":"Seoul South Korea","acronym":"ICSE '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","KIISE Korean Institute of Information Scientists and Engineers","IEEE CS"]},"container-title":["Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377811.3380927","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377811.3380927","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:40Z","timestamp":1750200100000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377811.3380927"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,27]]},"references-count":47,"alternative-id":["10.1145\/3377811.3380927","10.1145\/3377811"],"URL":"https:\/\/doi.org\/10.1145\/3377811.3380927","relation":{},"subject":[],"published":{"date-parts":[[2020,6,27]]},"assertion":[{"value":"2020-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}