{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T05:18:27Z","timestamp":1769750307638,"version":"3.49.0"},"reference-count":44,"publisher":"Elsevier BV","issue":"14","license":[{"start":{"date-parts":[[2003,11,1]],"date-time":"2003-11-01T00:00:00Z","timestamp":1067644800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2003,11,1]],"date-time":"2003-11-01T00:00:00Z","timestamp":1067644800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[2003,11]]},"DOI":"10.1016\/s0950-5849(03)00100-9","type":"journal-article","created":{"date-parts":[[2003,7,22]],"date-time":"2003-07-22T17:18:59Z","timestamp":1058894339000},"page":"993-1009","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":84,"title":["On the interplay between consistency, completeness, and correctness in requirements evolution"],"prefix":"10.1016","volume":"45","author":[{"given":"Didar","family":"Zowghi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincenzo","family":"Gervasi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(03)00100-9_BIB1","series-title":"Software Requirements and Specifications: a lexicon of practice, principles and prejudices","author":"Jackson","year":"1995"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB2","series-title":"Proceedings of the Eight IEEE International Workshop on Software Specifications and Design (IWSSD'96)","author":"Nuseibeh","year":"1996"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB3","doi-asserted-by":"crossref","unstructured":"S. Easterbrook, B. Nuseibeh, Managing inconsistencies in an evolving specification, in: Proceedings of the Second International Symposium on Requirements Engineering (RE95), York, England, 1995, pp. 48\u201355.","DOI":"10.1109\/ISRE.1995.512545"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB4","series-title":"CSCW: Cooperation or Conflict?","first-page":"1","article-title":"A survey of empirical studies of conflict","author":"Easterbrook","year":"1993"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB5","doi-asserted-by":"crossref","unstructured":"W. Robinson, S. Volkov, A meta-model for restructuring stakeholders requirements, in: Proceedings of the International Conference on Software Engineering (ICSE97), Boston, USA, 1997, pp. 140\u2013149.","DOI":"10.1145\/253228.253255"},{"issue":"11","key":"10.1016\/S0950-5849(03)00100-9_BIB6","doi-asserted-by":"crossref","first-page":"908","DOI":"10.1109\/32.730542","article-title":"Managing conflicts in goal-driven requirements engineering","volume":"24","author":"van Lamsweerde","year":"1998","journal-title":"IEEE Transactions on Software Engineering: special issue on Managing Inconsistency in Software Development"},{"issue":"3","key":"10.1016\/S0950-5849(03)00100-9_BIB7","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1145\/234426.234427","article-title":"A framework for formalizing inconsistencies and deviations in human-centred systems","volume":"5","author":"Cugola","year":"1996","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB8","series-title":"Software Engineering Notes (Proceedings of ACM SIFSOFT Symposium on Software Development Environment)","volume":"vol. 17(5)","author":"Hagensen","year":"1992"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB9","series-title":"Proceedings of the 13th IEEE International Conference on Sofware Engineering (ICSE13)","author":"Balzer","year":"1991"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB10","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1109\/MC.1985.1662870","article-title":"Knowledge representation as the basis for requirements specifications","volume":"April","author":"Borgida","year":"1985","journal-title":"IEEE Computer"},{"issue":"4","key":"10.1016\/S0950-5849(03)00100-9_BIB11","first-page":"181","article-title":"Evaluation methods for user requirements documents","volume":"31","author":"Cordes","year":"1989","journal-title":"Information and System Technology"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB12","series-title":"Proceedings of CAiSE","author":"Dubois","year":"1992"},{"issue":"1","key":"10.1016\/S0950-5849(03)00100-9_BIB13","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1049\/sej.1996.0004","article-title":"Using viewpoints for inconsistency management","volume":"11","author":"Easterbrook","year":"1996","journal-title":"IEE Software Engineering Journal"},{"issue":"3","key":"10.1016\/S0950-5849(03)00100-9_BIB14","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":"ACM Transactions on Software Engineering and Methodology"},{"issue":"10","key":"10.1016\/S0950-5849(03)00100-9_BIB15","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":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"10.1016\/S0950-5849(03)00100-9_BIB16","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1109\/32.75413","article-title":"The requirements apprentice: automated assistance for requirements acquisition","volume":"17","author":"Reubenstein","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB17","series-title":"Proceedings of the IEEE 3rd International Conference on Requirements Engineering, (ICRE98)","author":"Sommerville","year":"1998"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB18","series-title":"Logic for Problem Solving","author":"Kowalski","year":"1979"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB19","unstructured":"R.R. Lutz, Analyzing software requirements errors in safety-critical, embedded systems, in: Proceedings of the First IEEE International Symposium on Requirements Engineering (RE93), 1993, pp. 35\u201346."},{"key":"10.1016\/S0950-5849(03)00100-9_BIB20","series-title":"Software Requirements: Analysis and Specification","author":"Davis","year":"1993"},{"issue":"1","key":"10.1016\/S0950-5849(03)00100-9_BIB21","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1109\/MS.1984.233702","article-title":"Verifying and validating software requirements and design specifications","volume":"1","author":"Boehm","year":"1984","journal-title":"IEEE Software"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB22","doi-asserted-by":"crossref","unstructured":"N. Leveson, Completeness in formal specification language design for processcontrol systems, in: Proceedings of the Third Workshop on Formal Methods in Software Practice, Portland, Oregon, 2000, pp. 75\u201387.","DOI":"10.1145\/349360.351140"},{"issue":"3","key":"10.1016\/S0950-5849(03)00100-9_BIB23","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1109\/32.75414","article-title":"Software requirements analysis for real-time process-control systems","volume":"17","author":"Jaffe","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB24","series-title":"Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering","author":"Letier","year":"2002"},{"issue":"1","key":"10.1016\/S0950-5849(03)00100-9_BIB25","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/291469.293165","article-title":"From object-oriented to goal-oriented requirements analysis","volume":"42","author":"Mylopoulos","year":"1999","journal-title":"Communications ACM"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB26","doi-asserted-by":"crossref","unstructured":"H. Kaiya, H. Horai, M. Saeki, AGORA: Attributed goal-oriented requirements analysis method, in: Proceedings of the Tenth IEEE Joint International Requirements Engineering Conference (RE02), Essen, Germany, 2002, pp. 13\u201322.","DOI":"10.1109\/ICRE.2002.1048501"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB27","series-title":"Proceedings of the 24th IEEE International Conference on Software Engineering (ICSE\u201902)","author":"Woodside","year":"2002"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB28","doi-asserted-by":"crossref","unstructured":"A. Bouhoula, Simultaneous checking of completeness and ground conuence, in: Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE'00), Grenoble, France, 2000, pp. 143\u2013153.","DOI":"10.1109\/ASE.2000.873659"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB29","doi-asserted-by":"crossref","unstructured":"F.T. Sheldon, H.Y. Kim, Z. Zhou, A case study: validation of guidance control software requirements for completeness, consistency and fault tolerance, in: Proceedings of the 2001 Pacific Rim International Symposium on Dependable Computing (PRDC 2001), Seoul, Korea, 2001, pp. 311\u2013318.","DOI":"10.1109\/PRDC.2001.992714"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB30","unstructured":"K. Yue, What does it mean to say that a specification is complete?, in: Proceedings of the IEEE International Workshop on Software Specifications and Design (IWSSD'87), 1987, pp. 42\u201349."},{"key":"10.1016\/S0950-5849(03)00100-9_BIB31","doi-asserted-by":"crossref","unstructured":"C.M. Lott, Correctness is congruent with quality, ACM Software Engineering Notes 15 (5).","DOI":"10.1145\/101328.101332"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB32","series-title":"Proceedings of 17th IEEE International Conference on Software Engineering (ICSE17)","author":"Jackson","year":"1995"},{"issue":"1","key":"10.1016\/S0950-5849(03)00100-9_BIB33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/237432.237434","article-title":"Four dark corners of requirements engineering","volume":"6","author":"Zave","year":"1997","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB34","series-title":"Proceedings of the First IEEE International Symposium on Requirements Engineering (RE93)","author":"Jackson","year":"1993"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB35","unstructured":"D. Bjorner, C.W. George, B.S. Hansen, H. Laustrup, S. Prehn, Models of railway systems infrastructure, in: Proceedings of the First Workshop on Formal Methods in Railway Industry, Nieuwegein, Netherlands, 1997, http:\/\/www.ifad.dk\/Projects\/FMERail\/proceedings1.html."},{"key":"10.1016\/S0950-5849(03)00100-9_BIB36","series-title":"Problem Frames: Analyzing and structuring software development problems","author":"Jackson","year":"2001"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB37","series-title":"Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR\u201991)","first-page":"387","article-title":"On the difference between updating a knowledge base and revising it","author":"Katsuno","year":"1991"},{"issue":"6","key":"10.1016\/S0950-5849(03)00100-9_BIB38","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1109\/32.508311","article-title":"Completeness and consistency in hierarchical state-based requirements","volume":"22","author":"Heimdahl","year":"1996","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"8","key":"10.1016\/S0950-5849(03)00100-9_BIB39","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":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"10.1016\/S0950-5849(03)00100-9_BIB40","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":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB41","doi-asserted-by":"crossref","unstructured":"D. Zowghi, V. Gervasi, A. McRae, Using default reasoning to discover inconsistencies in natural language requirements, in: Proceedings of the Eight Asia-Pacific Software Engineering Conference (APSEC'01), Macau, China, 2001, pp. 133\u2013140.","DOI":"10.1109\/APSEC.2001.991469"},{"issue":"2","key":"10.1016\/S0950-5849(03)00100-9_BIB42","first-page":"113","article-title":"Lightweight validation of natural language requirements","volume":"32","author":"Gervasi","year":"2002","journal-title":"Software: Practice and Experience"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB43","series-title":"Proceedings of the 11th IEEE Joint International Requirements Engineering Conference (RE03)","author":"Zowghi","year":"2003"},{"key":"10.1016\/S0950-5849(03)00100-9_BIB44","doi-asserted-by":"crossref","unstructured":"D. Zowghi, R. J. Offen, A logical framework for modelling and reasoning about the evolution of requirements, in: Proceedings of the Third IEEE International Symposium on Requirements Engineering (RE97), 1997, pp. 247\u2013259.","DOI":"10.1109\/ISRE.1997.566875"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584903001009?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584903001009?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:24:14Z","timestamp":1760585054000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584903001009"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,11]]},"references-count":44,"journal-issue":{"issue":"14","published-print":{"date-parts":[[2003,11]]}},"alternative-id":["S0950584903001009"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(03)00100-9","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[2003,11]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"On the interplay between consistency, completeness, and correctness in requirements evolution","name":"articletitle","label":"Article Title"},{"value":"Information and Software Technology","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S0950-5849(03)00100-9","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2003 Elsevier B.V. All rights reserved.","name":"copyright","label":"Copyright"}]}}