{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:05:05Z","timestamp":1729659905034,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1109\/re.2015.7320436","type":"proceedings-article","created":{"date-parts":[[2015,11,5]],"date-time":"2015-11-05T22:57:15Z","timestamp":1446764235000},"page":"274-277","source":"Crossref","is-referenced-by-count":0,"title":["Towards a general formal framework of Coherence Management in RE"],"prefix":"10.1109","author":[{"given":"Alexander","family":"Borgida","sequence":"first","affiliation":[]},{"given":"Ivan","family":"Jureta","sequence":"additional","affiliation":[]},{"given":"Anna","family":"Zamansky","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s10844-006-2974-4"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/978-3-540-30597-2_7","article-title":"Approaches to measuring inconsistent information","author":"hunter","year":"2005","journal-title":"Inconsistency Tolerance"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2010.24"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31095-9_25"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2001.991469"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1072997.1072999"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1996.0004"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919114"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28645-5_5"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1142\/9789812389718_0015"},{"key":"ref18","first-page":"22","article-title":"An abductive approach for analysing event-based requirements specifications","author":"russo","year":"2002","journal-title":"Proceedings of the 18th International Conference in Logic Programming ICLP"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2008.4483224"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2014.6912245"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/32.142871"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-011-9216-0"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44469-6_1"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63531-9_3"},{"key":"ref29","first-page":"21","article-title":"On measuring levels of inconsistency in multi-perspective requirements specifications","author":"barrag\u00e1ns-mart\u00ednez","year":"2004","journal-title":"Proceedings of the 1st Conference on the Principles of Software Engineering"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/52.506460"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60112-0_6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2009.8"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/2.839317"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/10.5.677"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(01)00036-X"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"631","DOI":"10.3233\/FI-2009-0062","article-title":"Handling inconsistency in distributed software requirements specifications based on prioritized merging","volume":"91","author":"mu","year":"2009","journal-title":"Fundamenta Informaticae"},{"article-title":"What is an ideal logic for reasoning with inconsistency","year":"0","author":"arieli","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/S0364-0213(99)80033-0"},{"key":"ref24","article-title":"Modelling strategic relationships for process reengineering","volume":"11","author":"yu","year":"2011","journal-title":"Social Modeling for Requirements Engineering"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-011-9346-y"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s10988-006-9008-0"},{"key":"ref25","first-page":"1","article-title":"Formal Reasoning Techniques for Goal Models","volume":"1","author":"giorgini","year":"2004","journal-title":"Journal on Data Semantics VI"}],"event":{"name":"2015 IEEE 23rd International Requirements Engineering Conference (RE)","start":{"date-parts":[[2015,8,24]]},"location":"Ottawa, ON, Canada","end":{"date-parts":[[2015,8,28]]}},"container-title":["2015 IEEE 23rd International Requirements Engineering Conference (RE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7310793\/7320393\/07320436.pdf?arnumber=7320436","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,11]],"date-time":"2020-09-11T01:02:24Z","timestamp":1599786144000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7320436\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/re.2015.7320436","relation":{},"subject":[],"published":{"date-parts":[[2015,8]]}}}