{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T17:38:12Z","timestamp":1774373892949,"version":"3.50.1"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T00:00:00Z","timestamp":1561334400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T00:00:00Z","timestamp":1561334400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100002790","name":"Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["NSERC-RGPIN227055-15"],"award-info":[{"award-number":["NSERC-RGPIN227055-15"]}],"id":[{"id":"10.13039\/501100002790","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003977","name":"Israel Science Foundation","doi-asserted-by":"publisher","award":["817\/15"],"award-info":[{"award-number":["817\/15"]}],"id":[{"id":"10.13039\/501100003977","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1007\/s10664-019-09718-5","type":"journal-article","created":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T05:03:03Z","timestamp":1561352583000},"page":"3972-4005","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["The inconsistency between theory and practice in managing inconsistency in requirements engineering"],"prefix":"10.1007","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4267-0235","authenticated-orcid":false,"given":"Irit","family":"Hadar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8350-4068","authenticated-orcid":false,"given":"Anna","family":"Zamansky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6817-9081","authenticated-orcid":false,"given":"Daniel M.","family":"Berry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,24]]},"reference":[{"key":"9718_CR1","doi-asserted-by":"crossref","unstructured":"Bagheri E, Ghorbani AA (2008) Experiences on the belief-theoretic integration of para-consistent conceptual models. In: Proceedings of 19th IEEE Australian Conference on Software Engineering (ASWEC), pp 357\u2013366","DOI":"10.1109\/ASWEC.2008.4483224"},{"key":"9718_CR2","unstructured":"Brower RS, Jeong HS (2008) Grounded analysis: Beyond description to derive theory from qualitative data. In: Yang K, Miller GJ (eds) Handbook of Research Methods in Public Administration. Taylor & Francis, Boca Raton, pp 823\u2013839"},{"key":"9718_CR3","doi-asserted-by":"crossref","unstructured":"Cho A (2016) Gravitational waves, Einstein\u2019s ripples in spacetime, spotted for first time. Science Magazine (11 February 2016, viewed on 20 January 2018) \nhttp:\/\/www.sciencemag.org\/news\/2016\/02\/gravitational-waves-einstein-s-ripples-spacetime-spotted-first-time","DOI":"10.1126\/science.aaf4041"},{"key":"9718_CR4","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1049\/sej.1996.0004","volume":"11","author":"S Easterbrook","year":"1996","unstructured":"Easterbrook S, Nuseibeh B (1996) Using viewpoints for inconsistency management. Softw Eng J 11:31\u201343","journal-title":"Softw Eng J"},{"key":"9718_CR5","doi-asserted-by":"crossref","unstructured":"Easterbrook S, Chechik M (2001) A framework for multi-valued reasoning over inconsistent viewpoints. In: Proceedings of the 23rd International Conference on Software Engineering (ICSE), pp 411\u2013420","DOI":"10.1109\/ICSE.2001.919114"},{"key":"9718_CR6","unstructured":"Ejersbo LR, Engelhardt R, Fr\u00f8lunde L, Hangh\u00f8j T, Magnussen R, Misfeldt M (2008) Balancing product design and theoretical insights. In: Kelly A.E, Lesh R.A, Baek J.Y (eds) Handbook of Design Research Methods in Education: Innovations in Science, Technology, Engineering, and Mathematics Learning and Teaching. Routledge, New York, pp 149\u2013163"},{"key":"9718_CR7","doi-asserted-by":"crossref","unstructured":"Ernst NA, Borgida A, Mylopoulos J, Jureta IJ (2012) Agile requirements evolution via paraconsistent reasoning. In: Proceedings of the 24th International Conference on Advanced Information Systems Engineering (CAiSE), pp 382\u2013397","DOI":"10.1007\/978-3-642-31095-9_25"},{"key":"9718_CR8","first-page":"3","volume":"16","author":"JSBT Evans","year":"1997","unstructured":"Evans JSBT, Over DE (1997) Rationality in reasoning: The problem of deductive competence. Cahiers Psychol Cogn\/Curr Psychol Cogn 16:3\u201338","journal-title":"Cahiers Psychol Cogn\/Curr Psychol Cogn"},{"key":"9718_CR9","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1109\/32.310667","volume":"20","author":"A Finkelstein","year":"1994","unstructured":"Finkelstein A, Gabbay D, Hunter A, Kramer J, Nuseibeh B (1994) Inconsistency handling in multiperspective specifications. IEEE Trans Softw Eng (TSE) 20:569\u2013578","journal-title":"IEEE Trans Softw Eng (TSE)"},{"key":"9718_CR10","first-page":"1","volume-title":"Lecture Notes in Computer Science","author":"Anthony Finkelstein","year":"2000","unstructured":"Finkelstein A (2000) A foolish consistency: Technical challenges in consistency management. In: Ibrahim M, K\u00fcng J, Revell N (eds) Proceedings 11th International Conference on Database and Expert Systems Applications (DEXA). Volume 1873 of LNCS. DE, Springer, Berlin, pp 1\u20135"},{"key":"9718_CR11","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1145\/1072997.1072999","volume":"14","author":"V Gervasi","year":"2005","unstructured":"Gervasi V, Zowghi D (2005) Reasoning about inconsistencies in natural language requirements. ACM Trans Softw Eng Methodol (TOSEM) 14:277\u2013330","journal-title":"ACM Trans Softw Eng Methodol (TOSEM)"},{"key":"9718_CR12","unstructured":"Gigerenzer G, Todd PM (1990) The ABC Research Group: Simple Heuristics That Make Us Smart. Oxford University Press, New York"},{"key":"9718_CR13","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1017\/CBO9780511808098.011","volume-title":"Heuristics and Biases","author":"Daniel T. Gilbert","year":"2002","unstructured":"Gilbert DT (2002) Inferential correction. In: Gilovich T, Griffi D, Kahneman D (eds) Part One \u2014 Theoretical and Empirical Extensions. Cambridge University Press, Cambridge, pp 167\u2013184"},{"key":"9718_CR14","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/1342327.1342336","volume":"51","author":"I Hadar","year":"2008","unstructured":"Hadar I, Leron U (2008) How intuitive is object-oriented design? Commun ACM 51:41\u201346","journal-title":"Commun ACM"},{"key":"9718_CR15","doi-asserted-by":"publisher","first-page":"1407","DOI":"10.1016\/j.scico.2012.10.006","volume":"78","author":"I Hadar","year":"2013","unstructured":"Hadar I (2013) When intuition and logic clash: The case of the object-oriented paradigm. Sci Comput Program 78:1407\u20131426","journal-title":"Sci Comput Program"},{"key":"9718_CR16","doi-asserted-by":"crossref","unstructured":"Hadar I, Zamansky A (2015a) Cognitive factors in inconsistency management. In: Proceedings of 23rd IEEE International Requirements Engineering Conference (RE), pp 226\u2013229","DOI":"10.1109\/RE.2015.7320427"},{"key":"9718_CR17","first-page":"107","volume-title":"Lecture Notes in Business Information Processing","author":"Irit Hadar","year":"2015","unstructured":"Hadar I, Zamansky A (2015b) When a paradigm is inconsistent with intuition: The case of inconsistency management. In: Proceedings of 3rd International Workshop on Cognitive Aspects of Information Systems Engineering (COGNISE). Volume 215 of Lecture Notes in Business Information Processing, pp 107\u2013113"},{"key":"9718_CR18","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-540-45236-2_10","volume-title":"FME 2003: Formal Methods","author":"Ian J. Hayes","year":"2003","unstructured":"Hayes I, Jackson M, Jones C (2003) Determining the specification of a control system from that of its environment. In: Araki K, Gnesi S, Mandrioli D (eds) Formal Methods (FME). Volume 2805 of LNCS. Springer, Berlin, pp 154\u2013169"},{"key":"9718_CR19","unstructured":"Jones CB, Hayes IJ, Jackson MA (2007) Deriving specifications for systems that are connected to the physical world. In: Jones CB, Liu Z, Woodcock J (eds) Formal Methods and Hybrid Real-Time Systems. Volume 4700 of LNCS. Springer, Berlin"},{"key":"9718_CR20","doi-asserted-by":"crossref","unstructured":"Jureta IJ, Borgida A, Ernst NA, Mylopoulos J (2010) Techne: Towards a new generation of requirements modeling languages with goals, preferences, and inconsistency handling. In: Proceedings of 18th IEEE International Requirements Engineering Conference (RE), pp 115\u2013124","DOI":"10.1109\/RE.2010.24"},{"key":"9718_CR21","unstructured":"Kahneman D (2002) (Nobel) Prize Lecture, December 8, 2002: Maps of bounded rationality: A perspective on intuitive judgment and choice \nhttp:\/\/www.nobel.se\/economics\/laureates\/2002\/kahnemann-lecture.pdf"},{"key":"9718_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10515-016-0192-z","volume":"24","author":"M Kamalrudin","year":"2017","unstructured":"Kamalrudin M, Hosking J, Grundy J (2017) MaramaAIC: tool support for consistency management and validation of requirements. Autom Softw Eng 24:1\u201345","journal-title":"Autom Softw Eng"},{"key":"9718_CR23","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1017\/S0140525X10000968","volume":"34","author":"H Mercier","year":"2011","unstructured":"Mercier H, Sperber D (2011) Why do humans reason? arguments for an argumentative theory. Behav Brain Sci 34:57\u201374","journal-title":"Behav Brain Sci"},{"key":"9718_CR24","doi-asserted-by":"publisher","first-page":"631","DOI":"10.3233\/FI-2009-0062","volume":"91","author":"K Mu","year":"2009","unstructured":"Mu K, Liu W, Jin Z, Lu R, Yue A, Bell D (2009) Handling inconsistency in distributed software requirements specifications based on prioritized merging. Fundam Inf 91:631\u2013670","journal-title":"Fundam Inf"},{"key":"9718_CR25","doi-asserted-by":"publisher","first-page":"241","DOI":"10.2307\/249422","volume":"21","author":"MD Myers","year":"1997","unstructured":"Myers MD, Avison D (1997) Qualitative research in information systems. Manag Inf Syst Q 21:241\u2013242","journal-title":"Manag Inf Syst Q"},{"key":"9718_CR26","doi-asserted-by":"crossref","unstructured":"Nuseibeh B, Easterbrook S (1999) The process of inconsistency management: A framework for understanding. In: Proceedings 10th International Workshop on Database and Expert Systems Applications (DEXA), pp 364\u2013368","DOI":"10.1109\/DEXA.1999.795194"},{"key":"9718_CR27","doi-asserted-by":"publisher","first-page":"760","DOI":"10.1109\/32.328995","volume":"20","author":"B Nuseibeh","year":"1994","unstructured":"Nuseibeh B, Kramer J, Finkelstein A (1994) A framework for expressing the relationships between multiple views in requirements specification. IEEE Trans Softw Eng 20:760\u2013773","journal-title":"IEEE Trans Softw Eng"},{"key":"9718_CR28","doi-asserted-by":"crossref","unstructured":"Nuseibeh B, Easterbrook S (2000a) Requirements engineering: A roadmap. In: Proceedings of the Conference on The Future of Software Engineering, Proceedings of the 22nd International Conference on Software Engineering (ICSE), pp 35\u201346","DOI":"10.1145\/336512.336523"},{"key":"9718_CR29","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/2.839317","volume":"33","author":"B Nuseibeh","year":"2000","unstructured":"Nuseibeh B, Easterbrook S, Russo A (2000b) Leveraging inconsistency in software development. IEEE Comput 33:24\u201329","journal-title":"IEEE Comput"},{"key":"9718_CR30","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0164-1212(01)00036-X","volume":"58","author":"B Nuseibeh","year":"2001","unstructured":"Nuseibeh B, Easterbrook S, Russo A (2001) Making inconsistency respectable in software development. J Syst Softw 58:171\u2013180","journal-title":"J Syst Softw"},{"key":"9718_CR31","doi-asserted-by":"crossref","unstructured":"Nuseibeh B, Kramer J, Finkelstein A (2003) Viewpoints: Meaningful relationships are difficult! In: Proceedings of the 25th International Conference on Software Engineering (ICSE), pp 676\u2013681","DOI":"10.1109\/ICSE.2003.1201254"},{"key":"9718_CR32","unstructured":"Robson C, McCartan K (2016) Real world research. Wiley, New York"},{"key":"9718_CR33","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-540-28645-5_5","volume-title":"Advances in Artificial Intelligence \u2013 SBIA 2004","author":"Odinaldo Rodrigues","year":"2004","unstructured":"Rodrigues O, D\u2019Avila Garcez AS, Russo A (2004) Reasoning about requirements evolution using clustered belief revision. In: Bazzan A, Labidi S (eds) Advances in Artificial Intelligence \u2014 SBIA 2004, Proceedings of 17th Brazilian Symposium on Artificial Intelligence (SBIA), pp 41\u201351"},{"key":"9718_CR34","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s10664-008-9102-8","volume":"14","author":"P Runeson","year":"2009","unstructured":"Runeson P, H\u00f6st M (2009) Guidelines for conducting and reporting case study research in software engineering. Empir Softw Eng 14:131","journal-title":"Empir Softw Eng"},{"key":"9718_CR35","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/3-540-45619-8_3","volume-title":"Logic Programming","author":"Alessandra Russo","year":"2002","unstructured":"Russo A, Miller R, Nuseibeh B, Kramer J (2002) An abductive approach for analysing event-based requirements specifications. In: Proceedings 18th International Conference in Logic Programming (ICLP), pp 22\u201337"},{"key":"9718_CR36","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1142\/9789812389718_0015","volume-title":"Handbook of Software Engineering and Knowledge Engineering","author":"GEORGE SPANOUDAKIS","year":"2001","unstructured":"Spanoudakis G, Zisman A (2001) Inconsistency management in software engineering: Survey and open research issues. In: Chang SK (ed) Handbook of Software Engineering and Knowledge Engineering, vol 1. World Scientific Publishing, Singapore, pp 329\u2013380"},{"key":"9718_CR37","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1017\/S0140525X00003435","volume":"23","author":"KE Stanovich","year":"2000","unstructured":"Stanovich KE, West RF (2000) Individual differences in reasoning: Implications for the rationality debate. Behav Brain Sci 23:645\u2013726","journal-title":"Behav Brain Sci"},{"key":"9718_CR38","doi-asserted-by":"crossref","unstructured":"Stanovich KE (2005) The robot\u2019s rebellion: Finding meaning in the age of Darwin. University of Chicago Press, Chicago","DOI":"10.7208\/chicago\/9780226771199.001.0001"},{"key":"9718_CR39","volume-title":"Basics of qualitative research: Grounded theory procedures and techniques","author":"A Strauss","year":"1990","unstructured":"Strauss A, Corbin J (1990) Basics of qualitative research: Grounded theory procedures and techniques. Sage Publications, Thousand Oaks"},{"key":"9718_CR40","unstructured":"Strauss A, Corbin J (1994) Grounded theory methodology\u2014an overview. In: Norman KD, Vannaeds SLY (eds) Handbook of Qualitative Research. Sage Publications, Thousand Oaks, pp 273\u2013285"},{"key":"9718_CR41","unstructured":"Strauss A, Corbin J (1998) Basics of qualitative research: Techniques and procedures for developing grounded theory. Sage Publications, Thousand Oaks"},{"key":"9718_CR42","doi-asserted-by":"crossref","unstructured":"Todd PM, Gigerenzer G (2012) Ecological rationality: Intelligence in the world. Oxford University Press, New York","DOI":"10.1093\/acprof:oso\/9780195315448.003.0011"},{"key":"9718_CR43","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/j.is.2016.07.010","volume":"64","author":"H van der Aa","year":"2017","unstructured":"van der Aa H, Leopold H, Reijers HA (2017) Comparing textual descriptions to process models\u2013the automatic detection of inconsistencies. Inf Syst 64:447\u2013460","journal-title":"Inf Syst"},{"key":"9718_CR44","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1057\/palgrave.ejis.3000589","volume":"15","author":"G Walsham","year":"2006","unstructured":"Walsham G (2006) Doing interpretive research. Eur J Inf Syst 15:320\u2013330","journal-title":"Eur J Inf Syst"},{"key":"9718_CR45","doi-asserted-by":"crossref","unstructured":"Whitworth E, Biddle R (2007) The social nature of Agile teams. In: Agile 2007 (AGILE 2007), pp 26\u201336","DOI":"10.1109\/AGILE.2007.60"},{"key":"9718_CR46","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/s00766-006-0037-6","volume":"11","author":"RJ Wieringa","year":"2006","unstructured":"Wieringa RJ, Heerkens JMG (2006) The methodological soundness of requirements engineering papers: a conceptual framework and two case studies. Requir Eng J 11:295\u2013307","journal-title":"Requir Eng J"},{"key":"9718_CR47","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/978-3-642-29044-2_2","volume-title":"Experimentation in Software Engineering","author":"Claes Wohlin","year":"2012","unstructured":"Wohlin C, Runeson P, H\u00f6st M, Ohlsson MC, Regnell B, Wessl\u00e9n A (2012) Experimentation in software engineering. Springer, Heidelberg Germany"},{"key":"9718_CR48","doi-asserted-by":"crossref","unstructured":"Zamansky A, Hadar I, Berry DM (2016) Reasoning about inconsistency in RE: Separating the wheat from the chaff. In: Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering (ENASE), pp 377\u2013382. \nhttp:\/\/www.scitepress.org\/Papers\/2016\/59286\/59286.pdf","DOI":"10.5220\/0005928603770382"},{"key":"9718_CR49","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/237432.237434","volume":"6","author":"P Zave","year":"1997","unstructured":"Zave P, Jackson M (1997) Four dark corners of requirements engineering. ACM Trans Softw Eng Methodol (TOSEM) 6:1\u201330","journal-title":"ACM Trans Softw Eng Methodol (TOSEM)"},{"key":"9718_CR50","doi-asserted-by":"crossref","unstructured":"Zowghi D, Gervasi V, McRae A (2001) Using default reasoning to discover inconsistencies in natural language requirements. In: Proceedings of 8th IEEE Asia-Pacific Software Engineering Conference (APSEC), pp 133\u2013140","DOI":"10.1109\/APSEC.2001.991469"},{"key":"9718_CR51","unstructured":"Zowghi D, Gervasi V (2002) The three Cs of requirements: Consistency, completeness, and correctness. In: Proceedings of 8th International Workshop on Requirements Engineering: Foundations for Software Quality (REFSQ). Essener Informatik Beitiage, Essen"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-019-09718-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10664-019-09718-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-019-09718-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,22]],"date-time":"2020-06-22T23:26:20Z","timestamp":1592868380000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10664-019-09718-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,24]]},"references-count":51,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["9718"],"URL":"https:\/\/doi.org\/10.1007\/s10664-019-09718-5","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"value":"1382-3256","type":"print"},{"value":"1573-7616","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,6,24]]},"assertion":[{"value":"24 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}