{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T03:46:12Z","timestamp":1776829572438,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642344183","type":"print"},{"value":"9783642344190","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-34419-0_11","type":"book-chapter","created":{"date-parts":[[2013,6,3]],"date-time":"2013-06-03T10:48:38Z","timestamp":1370256518000},"page":"245-263","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Resolving Inconsistency and Incompleteness Issues in Software Requirements"],"prefix":"10.1007","author":[{"given":"R.","family":"Sharma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K. K.","family":"Biswas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,4,12]]},"reference":[{"key":"11_CR00111","doi-asserted-by":"publisher","unstructured":"IEEE Recommended Practice for Software Requirements Specifications, IEEE Std 830-1998, pp 1\u201340, 20 Oct 1998, doi: 10.1109\/IEEESTD.1998.88286","DOI":"10.1109\/IEEESTD.1998.88286"},{"issue":"14","key":"11_CR00112","first-page":"993","volume":"45","author":"D Zowghi","year":"2003","unstructured":"Zowghi D, Gervasi V (2003) On the interplay between consistency, completeness, and correctness in requirements evolution. Inform Technol 45(14):993\u20131009","journal-title":"Inform Technol"},{"key":"11_CR00113","doi-asserted-by":"publisher","unstructured":"Zualkernan IA, Tsai WT (1988) Are knowledge representations the answer to requirements analysis. In: Proceedings of the IEEE conference on computer languages (ICCL 1988), pp 437\u2013443. doi:10.1109\/ICCL.1988.13094","DOI":"10.1109\/ICCL.1988.13094"},{"issue":"4","key":"11_CR00114","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1049\/sej.1991.0017","volume":"6","author":"J-PT Jeffrey","year":"1991","unstructured":"Jeffrey J-PT, Weigert T (1991) HCLIE: a logic-based requirement language for new software engineering paradigms. Softw Eng 6(4):137\u2013151","journal-title":"Softw Eng"},{"issue":"4","key":"11_CR00115","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1109\/MC.1985.1662870","volume":"18","author":"A Borgida","year":"1985","unstructured":"Borgida A, Greenspan S, Mylopoulos J (1985) Knowledge representation as the basis for requirements specifications. Computer 18(4):82\u201391. doi:10.1109\/MC.1985.1662870","journal-title":"Computer"},{"issue":"2","key":"11_CR00116","doi-asserted-by":"publisher","first-page":"doi:10.1093\/com","DOI":"10.1093\/comjnl\/34.2.143","volume":"34","author":"TH Tse","year":"1991","unstructured":"Tse TH, Pong L (1991) An examination of requirements specification languages. Comput J 34(2):doi:10.1093\/com\/jnl\/34.2.143","journal-title":"Comput J"},{"key":"11_CR00117","volume-title":"System and software requirements engineering","author":"CP Svoboda","year":"1990","unstructured":"Svoboda CP (1990) Tutorial on structured analysis. In: Thayer RH, Dorfman M (eds) System and software requirements engineering. IEEE Computer Press Society, Los Alamitos"},{"key":"11_CR00118","unstructured":"Grady Booch Object-oriented analysis and design with applications, 2nd edn, Pearson Education"},{"key":"11_CR00119","doi-asserted-by":"crossref","unstructured":"Weston N, Chitchyan R, Rashid A (2008) A formal approach to semantic composition of aspect-oriented requirements. In: Proceedings of the 16th IEEE international requirements engineering conference, Barcelona, Spain, pp 173\u2013182","DOI":"10.1109\/RE.2008.42"},{"issue":"1","key":"11_CR001110","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 6(1):1\u201330","journal-title":"ACM Trans Softw Eng Methodol"},{"issue":"1","key":"11_CR001111","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0306-4379(86)90020-7","volume":"11","author":"S Greenspan","year":"1986","unstructured":"Greenspan S, Borgida A, Mylopoulos J (1986) A requirements modeling language and its logic. Inform Syst 11(1):9\u201323","journal-title":"Inform Syst"},{"key":"11_CR001112","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1145\/102675.102676","volume":"8","author":"J Mylopoulos","year":"1990","unstructured":"Mylopoulos J, Borgida A, Jarke M, Koubarakis M (1990) Telos: representing knowledge about information systems. ACM Trans Inform Syst 8(4):325\u2013362","journal-title":"ACM Trans Inform Syst"},{"issue":"4","key":"11_CR001113","first-page":"623","volume":"28","author":"A Dardenne","year":"1996","unstructured":"Dardenne A, van Lamsweerde A, Fickas S (1996) Goal directed requirements acquisition. Sci Comput Program 28(4):623\u2013643","journal-title":"Sci Comput Program"},{"key":"11_CR001114","doi-asserted-by":"crossref","unstructured":"Yu E (1997) Towards modelling and reasoning support for early-phase requirements engineering. In: Proceedings of the 5th IEEE international requirements engineering conference, Maryland, US, pp 226\u2013235","DOI":"10.1109\/ISRE.1997.566873"},{"key":"11_CR001115","doi-asserted-by":"crossref","unstructured":"Nuseibeh B (1996) To be and not to be: on managing inconsistency in software development. In: Proceedings of the 8th IEEE international workshop on software specifications and design, Germany, pp 164\u2013169","DOI":"10.1109\/IWSSD.1996.501161"},{"key":"11_CR001116","unstructured":"Easterbook S, Nuseibeh B (1995) Managing inconsistencies in an evolving specification. In: Proceedings of the 2nd international symposium on requirements engineering, UK, pp 48\u201355"},{"key":"11_CR001117","unstructured":"Balzer R (1991) Tolerating inconsistency. In: Proceedings of the 13th international conference on software engineering, IEEE Computer Press, Texas, US, pp 158\u2013165"},{"key":"11_CR001118","doi-asserted-by":"crossref","unstructured":"Letier E, van Lamsweerde A (2002) Requirements analysis: deriving operational software specifications from system goals. In: Proceedings of the 10th ACM SIGSOFT symposium on foundations of software engineering. ACM Press, South Carolina, US, pp 119\u2013128","DOI":"10.1145\/587051.587070"},{"key":"11_CR001119","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter R (1980) A logic for default reasoning. Artif Intell 13:81\u2013132","journal-title":"Artif Intell"},{"issue":"3","key":"11_CR001120","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 14(3):277\u2013330","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"11_CR001121","unstructured":"Nute D (2001) Defeasible logic. In: Proceedings of the international conference on applications of prolog (INAP 2001), Tokyo, Japan, pp 87\u2013114"},{"key":"11_CR001122","unstructured":"Grosof, BN (1997) Courteous logic programs: prioritized conflict handling for rules. IBM research report RC20836, IBM Research Division, T.J. Watson Research Centre"},{"issue":"1","key":"11_CR001123","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.elerap.2003.09.005","volume":"3","author":"BN Grosof","year":"2004","unstructured":"Grosof BN (2004) Representing E-commerce rules via situated courteous logic programs in RuleML. Electron Comm Res Appl 3(1):2\u201320. doi:10.1016\/j.elerap.2003.09.005","journal-title":"Electron Comm Res Appl"},{"key":"11_CR001124","unstructured":"http:\/\/nlp.stanford.edu\/software\/tagger.shtml"},{"key":"11_CR001125","doi-asserted-by":"crossref","unstructured":"Zhang Y, Zhang W (2007) Description logic representation for requirement specification. In: Proceedings of the international conference on computational science (ICCS 2007), Part II, Springer-Verlag, Beijing, China, pp 1147\u20131154","DOI":"10.1007\/978-3-540-72586-2_160"},{"key":"11_CR001126","unstructured":"Sharma R, Biswas KK (2011) Can ontologies be sufficient solution to requirements engineering problem? In: Proceedings of the international conference on knowledge engineering and ontology development (KEOD 2011)"}],"container-title":["Managing Requirements Knowledge"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34419-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T12:33:38Z","timestamp":1676810018000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-34419-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642344183","9783642344190"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34419-0_11","relation":{},"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"12 April 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}