{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,6]],"date-time":"2025-12-06T04:41:40Z","timestamp":1764996100260,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,8,25]],"date-time":"2016-08-25T00:00:00Z","timestamp":1472083200000},"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":[[2016,8,25]]},"DOI":"10.1145\/2970276.2970349","type":"proceedings-article","created":{"date-parts":[[2016,8,26]],"date-time":"2016-08-26T12:40:09Z","timestamp":1472215209000},"page":"507-518","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Goal-conflict detection based on temporal satisfiability checking"],"prefix":"10.1145","author":[{"given":"Renzo","family":"Degiovanni","sequence":"first","affiliation":[{"name":"Universidad Nacional de R\u00edo Cuarto, Argentina \/ CONICET, Argentina"}]},{"given":"Nicolas","family":"Ricci","sequence":"additional","affiliation":[{"name":"Universidad Nacional de R\u00edo Cuarto, Argentina \/ CONICET, Argentina"}]},{"given":"Dalal","family":"Alrajeh","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}]},{"given":"Pablo","family":"Castro","sequence":"additional","affiliation":[{"name":"Universidad Nacional de R\u00edo Cuarto, Argentina \/ CONICET, Argentina"}]},{"given":"Nazareno","family":"Aguirre","sequence":"additional","affiliation":[{"name":"Universidad Nacional de R\u00edo Cuarto, Argentina \/ CONICET, Argentina"}]}],"member":"320","published-online":{"date-parts":[[2016,8,25]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"IEEE recommended practice for software requirements specifications. IEEE Std 830-1998 pages 1\u201340 1998.  IEEE recommended practice for software requirements specifications. IEEE Std 830-1998 pages 1\u201340 1998."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070527"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337306"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23404-5_14"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1787526.1787535"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568323"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10702-8_11"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31095-9_25"},{"key":"e_1_3_2_1_12_1","first-page":"796","volume-title":"IJCAI","author":"Felfernig Alexander","year":"2009","unstructured":"Alexander Felfernig , Gerhard Friedrich , Monika Schubert , Monika Mandl , Markus Mairitsch , and Erich Teppan . Plausible repairs for inconsistent requirements . In IJCAI , pages 791\u2013 796 , 2009 . Alexander Felfernig, Gerhard Friedrich, Monika Schubert, Monika Mandl, Markus Mairitsch, and Erich Teppan. Plausible repairs for inconsistent requirements. In IJCAI, pages 791\u2013796, 2009."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/839268.839270"},{"key":"e_1_3_2_1_14_1","first-page":"1996","volume-title":"Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD \u201996","author":"Finkelstein A.","unstructured":"A. Finkelstein and J. Dowell . A comedy of errors: The london ambulance service case study . In Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD \u201996 , pages 2\u2013, Washington, DC, USA, 1996 . IEEE Computer Society. A. Finkelstein and J. Dowell. A comedy of errors: The london ambulance service case study. In Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD \u201996, pages 2\u2013, Washington, DC, USA, 1996. IEEE Computer Society."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2004.11.017"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.04.009"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2071368.2071369"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/2137662.2137683"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581355"},{"issue":"52","key":"e_1_3_2_1_20_1","first-page":"57","article-title":"A conceptual basis for inconsistency management in model-based systems engineering","volume":"21","author":"Herzig Sebastian J.I.","year":"2014","unstructured":"Sebastian J.I. Herzig and Christiaan J.J. Paredis . A conceptual basis for inconsistency management in model-based systems engineering . Procedia CIRP , 21 : 52 \u2013 57 , 2014 . Sebastian J.I. Herzig and Christiaan J.J. Paredis. A conceptual basis for inconsistency management in model-based systems engineering. Procedia CIRP, 21:52 \u2013 57, 2014.","journal-title":"Procedia CIRP"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/292182.292187"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2010.24"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.38"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985866"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-d.1983.0001"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/646704.702024"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2661669"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIS.2010.26"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23391-3_3"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/128869"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/357233.357237"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2015.7320418"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.142871"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-013-9202-6"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.839317"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.3127\/ajis.v6i2.296"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_38_1","first-page":"888","volume-title":"CAD","author":"Roy Suchismita","year":"2005","unstructured":"Suchismita Roy , Sayantan Das , Prasenjit Basu , Pallab Dasgupta , and P. P. Chakrabarti . Sat based solutions for consistency problems in formal property specifications for open systems . In CAD , pages 885\u2013 888 , 2005 . Suchismita Roy, Sayantan Das, Prasenjit Basu, Pallab Dasgupta, and P. P. Chakrabarti. Sat based solutions for consistency problems in formal property specifications for open systems. In CAD, pages 885\u2013888, 2005."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240298"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39597-3_11"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/590564.590581"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1178048"},{"key":"e_1_3_2_1_43_1","volume-title":"Requirements Engineering - From System Goals to UML Models to Software Specifications","author":"van Lamsweerde Axel","year":"2009","unstructured":"Axel van Lamsweerde . Requirements Engineering - From System Goals to UML Models to Software Specifications . Wiley , 2009 . Axel van Lamsweerde. Requirements Engineering - From System Goals to UML Models to Software Specifications. Wiley, 2009."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.730542"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.879820"},{"key":"e_1_3_2_1_46_1","volume-title":"The tableau method for temporal logic: An overview. Logique et Analyse, (110\u2013111): 119\u2013136","author":"Wolper Pierre","year":"1985","unstructured":"Pierre Wolper . The tableau method for temporal logic: An overview. Logique et Analyse, (110\u2013111): 119\u2013136 , 1985 . Pierre Wolper. The tableau method for temporal logic: An overview. Logique et Analyse, (110\u2013111):119\u2013136, 1985."},{"key":"e_1_3_2_1_47_1","first-page":"1997","volume-title":"Proceedings of the 3rd IEEE International Symposium on Requirements Engineering, RE \u201997","author":"Yu Eric S. K.","unstructured":"Eric S. K. Yu . Towards modeling and reasoning support for early-phase requirements engineering . In Proceedings of the 3rd IEEE International Symposium on Requirements Engineering, RE \u201997 , pages 226\u2013, Washington, DC, USA, 1997 . IEEE Computer Society. Eric S. K. Yu. Towards modeling and reasoning support for early-phase requirements engineering. In Proceedings of the 3rd IEEE International Symposium on Requirements Engineering, RE \u201997, pages 226\u2013, Washington, DC, USA, 1997. IEEE Computer Society."}],"event":{"name":"ASE'16: ACM\/IEEE International Conference on Automated Software Engineering","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"location":"Singapore Singapore","acronym":"ASE'16"},"container-title":["Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2970276.2970349","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2970276.2970349","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:50:01Z","timestamp":1750218601000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2970276.2970349"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8,25]]},"references-count":46,"alternative-id":["10.1145\/2970276.2970349","10.1145\/2970276"],"URL":"https:\/\/doi.org\/10.1145\/2970276.2970349","relation":{},"subject":[],"published":{"date-parts":[[2016,8,25]]},"assertion":[{"value":"2016-08-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}