{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T23:33:40Z","timestamp":1780702420857,"version":"3.54.1"},"reference-count":25,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2001,9,1]],"date-time":"2001-09-01T00:00:00Z","timestamp":999302400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[2001,9]]},"DOI":"10.1016\/s0164-1212(01)00036-x","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T21:10:08Z","timestamp":1027631408000},"page":"171-180","source":"Crossref","is-referenced-by-count":100,"title":["Making inconsistency respectable in software development"],"prefix":"10.1016","volume":"58","author":[{"given":"Bashar","family":"Nuseibeh","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Steve","family":"Easterbrook","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/S0164-1212(01)00036-X_BIB1","unstructured":"Balzer, R. Tolerating inconsistency. In: Proceedings of 13th International Conference on Software Engineering (ICSE-13), Austin, TX, USA. IEEE Computer Society Press, Silver Spring, MD, 1991, pp. 158\u2013165"},{"issue":"3","key":"10.1016\/S0164-1212(01)00036-X_BIB2","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1145\/234426.234427","article-title":"A framework for formalizing inconsistencies and deviations in human-centered systems","volume":"5","author":"Cugola","year":"1996","journal-title":"Trans. Software Eng. Methodol."},{"key":"10.1016\/S0164-1212(01)00036-X_BIB3","doi-asserted-by":"crossref","unstructured":"Easterbrook, S., Callahan, J., 1997. Formal methods for V&V of partial specifications: An experience report. In: Proceedings of 3rd International Symposium on Requirements Engineering (RE'97), Annapolis, USA. IEEE Computer Society Press, Silver Spring, MD, January 5\u20138, pp. 160\u2013168","DOI":"10.1109\/ISRE.1997.566865"},{"key":"10.1016\/S0164-1212(01)00036-X_BIB4","doi-asserted-by":"crossref","unstructured":"Easterbrook, S.M., 1996. Learning from inconsistency. In: Proceedings of 8th International Workshop on Software Specification and Design (IWSSD-8), Paderborn, Germany, March 22\u201323, 1996. IEEE Computer Society Press, Silver Spring, MD, March 22\u201323, pp. 136\u2013140","DOI":"10.1109\/IWSSD.1996.501155"},{"issue":"8","key":"10.1016\/S0164-1212(01)00036-X_BIB5","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1109\/32.310667","article-title":"Inconsistency handling in multi-perspective specifications","volume":"20","author":"Finkelstein","year":"1994","journal-title":"Trans. Software Eng."},{"key":"10.1016\/S0164-1212(01)00036-X_BIB6","doi-asserted-by":"crossref","unstructured":"Gabbay, D., Hunter, A., 1991. Making inconsistency respectable: a logical framework for inconsistency in reasoning, Part 1 \u2013 A position paper. In: Proceedings of Fundamentals of Artificial Intelligence Research'91. Springer, Berlin, pp. 19\u201332","DOI":"10.1007\/3-540-54507-7_3"},{"key":"10.1016\/S0164-1212(01)00036-X_BIB7","unstructured":"Gabbay, D., Hunter, A., 1992. Making inconsistency respectable: a logical framework for inconsistency in reasoning, Part 2. In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Lecture Notes in Computer Science. Springer, Berlin, pp. 129\u2013136"},{"issue":"11","key":"10.1016\/S0164-1212(01)00036-X_BIB8","first-page":"906","article-title":"Special issue on managing inconsistency in software development (1)","volume":"24","author":"Ghezzi","year":"1998","journal-title":"Trans. Software Eng."},{"issue":"11","key":"10.1016\/S0164-1212(01)00036-X_BIB9","doi-asserted-by":"crossref","first-page":"782","DOI":"10.1109\/TSE.1999.824393","article-title":"Special issue on managing inconsistency in software development (2)","volume":"25","author":"Ghezzi","year":"1999","journal-title":"Trans. Software Eng."},{"issue":"3","key":"10.1016\/S0164-1212(01)00036-X_BIB10","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1145\/234426.234431","article-title":"Automated consistency checking of requirements specifications","volume":"5","author":"Heitmeyer","year":"1996","journal-title":"Trans. Software Eng. Methodol."},{"issue":"5","key":"10.1016\/S0164-1212(01)00036-X_BIB11","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.588521","article-title":"The model checker spin","volume":"23","author":"Holzmann","year":"1997","journal-title":"Trans. Software Eng."},{"issue":"4","key":"10.1016\/S0164-1212(01)00036-X_BIB12","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1145\/292182.292187","article-title":"Managing inconsistent specifications: reasoning, analysis and action","volume":"7","author":"Hunter","year":"1998","journal-title":"Trans. Software Eng. Methodol."},{"key":"10.1016\/S0164-1212(01)00036-X_BIB13","series-title":"Software Requirements & Specifications: A Lexicon of Practice, Principles and Prejudices","author":"Jackson","year":"1995"},{"key":"10.1016\/S0164-1212(01)00036-X_BIB14","doi-asserted-by":"crossref","unstructured":"Leonhardt, U., Finkelstein, A., Kramer, J., Nuseibeh, B., 1995. Decentralised process modelling in a multi-perspective development environment. In: Proceedings of 17th International Conference on Software Engineering, Seattle, Washington, USA. ACM, New York, April 23\u201330, pp. 255\u2013264","DOI":"10.1145\/225014.225038"},{"key":"10.1016\/S0164-1212(01)00036-X_BIB15","doi-asserted-by":"crossref","unstructured":"Littlewood, B., 1994. Learning to live with uncertainty in our software. In: Proceedings of 2nd International Symposium on Software Metrics, vols. 2\u20138, London. IEEE Computer Society Press, Silver Spring, MD, October 24\u201326","DOI":"10.1109\/METRIC.1994.344234"},{"key":"10.1016\/S0164-1212(01)00036-X_BIB16","doi-asserted-by":"crossref","unstructured":"Narayanaswamy, K., Goldman, N., 1992. Lazy consistency: a basis for cooperative software development. In: Proceedings of 4th International Conference on Computer Supported Cooperative Work (CSCW'92), Toronto, Canada. ACM SIGCHI & SIGOIS, pp. 257\u2013264","DOI":"10.1145\/143457.143521"},{"issue":"3","key":"10.1016\/S0164-1212(01)00036-X_BIB17","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1109\/MS.1997.589224","article-title":"Ariane 5: Who Dunnit?","volume":"14","author":"Nuseibeh","year":"1997","journal-title":"IEEE Software"},{"issue":"4","key":"10.1016\/S0164-1212(01)00036-X_BIB18","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/2.839317","article-title":"Leveraging inconsistency in software development","volume":"33","author":"Nuseibeh","year":"2000","journal-title":"Computer"},{"issue":"10","key":"10.1016\/S0164-1212(01)00036-X_BIB19","doi-asserted-by":"crossref","first-page":"760","DOI":"10.1109\/32.328995","article-title":"A framework for expressing the relationships between multiple views in requirements specification","volume":"20","author":"Nuseibeh","year":"1994","journal-title":"Trans. Software Eng."},{"key":"10.1016\/S0164-1212(01)00036-X_BIB20","doi-asserted-by":"crossref","unstructured":"Robinson, W.N., 1990. Negotiation behaviour during multiple agent specification: a need for automated conflict resolution. In: Proceedings of 12th International Conference on Software Engineering (ICSE-12), Nice, France. IEEE Computer Society Press, Silver Spring, MD, March, pp. 268\u2013276","DOI":"10.1109\/ICSE.1990.63633"},{"key":"10.1016\/S0164-1212(01)00036-X_BIB21","doi-asserted-by":"crossref","unstructured":"Russo, A., Nuseibeh, B.A., Kramer, J., 1998. Restructuring requirements specifications for inconsistency analysis: a case study. In: Proceedings of 3rd International Conference on Requirements Engineering (ICRE98), Colorado Springs, USA. IEEE Computer Society Press, Silver Spring, MD, pp. 51\u201360","DOI":"10.1109\/ICRE.1998.667808"},{"key":"10.1016\/S0164-1212(01)00036-X_BIB22","doi-asserted-by":"crossref","unstructured":"Schneider, F., Easterbrook, S.M., Callahan, J.R., Holzmann, G.J., 1998. Validating requirements for fault tolerant systems using model checking. In: Proceedings of 3rd International Conference on Requirements Engineering (ICRE-98), Colorado Springs, USA. IEEE Computer Society Press, Silver Spring, MD, April 6\u201310, pp. 4\u201313","DOI":"10.1109\/ICRE.1998.667803"},{"key":"10.1016\/S0164-1212(01)00036-X_BIB23","unstructured":"Schwanke, R.W., Kaiser, G.E., 1988. Living with inconsistency in large systems. In: Proceedings of the International Workshop on Software Version and Configuration Control, Grassau, Germany. Teubner, Stuttgart, January 27\u201329, pp. 98\u2013118"},{"issue":"2","key":"10.1016\/S0164-1212(01)00036-X_BIB24","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1023\/A:1008718614166","article-title":"Overlaps in requirements engineering","volume":"6","author":"Spanoudakis","year":"1999","journal-title":"Automated Software Eng."},{"key":"10.1016\/S0164-1212(01)00036-X_BIB25","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A., Letier, E., 1998. Integrating obstacles in goal-driven requirements engineering. In: Proceedings of 20th International Conference on Software Engineering (ICSE-20), Kyoto, Japan. IEEE Computer Society Press, Silver Spring, MD, April 19\u201325, pp. 53\u201362","DOI":"10.1109\/ICSE.1998.671102"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016412120100036X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016412120100036X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,5]],"date-time":"2024-12-05T12:13:25Z","timestamp":1733400805000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S016412120100036X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,9]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,9]]}},"alternative-id":["S016412120100036X"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(01)00036-x","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2001,9]]}}}