{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T03:36:52Z","timestamp":1771472212903,"version":"3.50.1"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,5,3]],"date-time":"2006-05-03T00:00:00Z","timestamp":1146614400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Knowl Inf Syst"],"published-print":{"date-parts":[[2006,12,4]]},"DOI":"10.1007\/s10115-006-0021-y","type":"journal-article","created":{"date-parts":[[2006,5,2]],"date-time":"2006-05-02T14:14:47Z","timestamp":1146579287000},"page":"85-104","source":"Crossref","is-referenced-by-count":9,"title":["Handling non-canonical software requirements based on Annotated Predicate Calculus"],"prefix":"10.1007","volume":"11","author":[{"given":"Kedian","family":"Mu","sequence":"first","affiliation":[]},{"given":"Zhi","family":"Jin","sequence":"additional","affiliation":[]},{"given":"Ruqian","family":"Lu","sequence":"additional","affiliation":[]},{"given":"Yan","family":"Peng","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,3]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Belnap N (1977) A useful four-valued logic. In: Dunn M, Epstein G (eds) Modern uses of multi-valued logics. Reidel Publishing Co., pp 8\u201337","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"21_CR2","unstructured":"Bouhoula A (2000) Simultaneous checking of completeness and ground conuence. In: Proceedings of the 15th IEEE international conference on automated software engineering (ASE00), pp 143\u2013153"},{"issue":"2","key":"21_CR3","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1023\/A:1016000201864","volume":"21","author":"H Bowman","year":"2002","unstructured":"Bowman H, Steen M, Boiten M, Derrick J (2002) A formal framework for viewpoint consistency. Formal Methods Syst Des 21(2): 111\u2013166","journal-title":"Formal Methods Syst Des"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Chechik M, Devereux B, Easterbrook S (2001) Efficient multiple-valued model checking using lattice representations. In: Proceedings of the international conference on concurrency theory. Aalborg, Denmark, pp 21\u201324","DOI":"10.1007\/3-540-44685-0_30"},{"key":"21_CR5","volume-title":"Software requirements: objects, functions, and states","author":"A Davis","year":"1993","unstructured":"Davis A (1993) Software requirements: objects, functions, and states. PTR Prentice-Hall, Englewood Cliffs, NJ"},{"issue":"6","key":"21_CR6","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1145\/505532.505552","volume":"26","author":"S Easterbrook","year":"2001a","unstructured":"Easterbrook S, Chechik M (2001a) 2nd international workshop on living with inconsistency. Softw Eng Notes 26(6): 76\u201378","journal-title":"Softw Eng Notes"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Easterbrook S, Chechik M (2001b) A framework for multi-valued reasoning over inconsistent viewpoints. In: Proceedings of international conference on software engineering (ICSE'01), Toronto, Canada, pp 411\u2013420","DOI":"10.1109\/ICSE.2001.919114"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Easterbrook S, Nuseibeh B (1995) Managing inconsistencies in an evolving specification. In: Proceedings of the second international symposium on requirements engineering (RE95), pp 48\u201355","DOI":"10.1109\/ISRE.1995.512545"},{"issue":"8","key":"21_CR9","doi-asserted-by":"crossref","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 20(8): 569\u2013578","journal-title":"IEEE Trans Softw Eng"},{"key":"21_CR10","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"M Ginsberg","year":"1988","unstructured":"Ginsberg M (1988) Multivalued logics: a uniform approach to reasoning in AI. Comput Intell 4: 265\u2013316","journal-title":"Comput Intell"},{"issue":"4","key":"21_CR11","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1145\/292182.292187","volume":"7","author":"A Hunter","year":"1998","unstructured":"Hunter A, Nuseibeh B (1998) Managing inconsistent specification. ACM Trans Softw Eng Methodol 7(4): 335\u2013367","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"21_CR12","volume-title":"Software Requirements and specifications: a lexicon of ractice, principles and prejudices","author":"M Jackson","year":"1995","unstructured":"Jackson M (1995) Software Requirements and specifications: a lexicon of ractice, principles and prejudices. Addison Wesley, UK"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Kaiya H, Horai H, Saeki M (2002) Agora: attributed goal-oriented requirements analysis method. In: Proceedings of the tenth IEEE joint international requirements engineering conference (RE02), pp 13\u201322","DOI":"10.1109\/ICRE.2002.1048501"},{"issue":"2","key":"21_CR14","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF00245460","volume":"9","author":"M Kifer","year":"1992","unstructured":"Kifer M, Lozinskii E (1992) A logic for reasoning with inconsistency. J Automat Reason 9(2): 179\u2013215","journal-title":"J Automat Reason"},{"issue":"10","key":"21_CR15","doi-asserted-by":"crossref","first-page":"978","DOI":"10.1109\/32.879820","volume":"26","author":"A Lamsweerde","year":"2000","unstructured":"Lamsweerde A, Letier E (2000) Handling obstacles in goal-driven requirements engineering. IEEE Trans Softw Eng 26(10): 978\u20131005","journal-title":"IEEE Trans Softw Eng"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Leveson N (2000) Completeness in formal specification language design for process-control systems. In: Proceedings of the third workshop on formal methods in software practice, pp 75\u201387","DOI":"10.1145\/349360.351140"},{"issue":"2","key":"21_CR17","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/j.artint.2004.11.002","volume":"163","author":"P Liberatore","year":"2005","unstructured":"Liberatore P (2005) Redundancy in logic i: Cnf propositional formulae. Artif Intell 163(2): 203\u2013232","journal-title":"Artif Intell"},{"issue":"3","key":"21_CR18","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1109\/32.75414","volume":"17","author":"S Matthew","year":"1991","unstructured":"Matthew S, Leveson G, Heimdahl M, Melhart B (1991) Software requirements analysis for real-time process-control systems. IEEE Trans Softw Eng 17(3): 241\u2013258","journal-title":"IEEE Trans Softw Eng"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"Mu K, Jin Z, Lu R, Liu W (2005a) Measuring inconsistency in requirements specifications. In: Godo L (ed) Proceedings of ECSQARU2005. LNCS, vol 3571. Springer-Verlag, Berlin Heidelberg, pp 440\u2013451","DOI":"10.1007\/11518655_38"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"Mu K, Jin Z, Lu R (2005b) Inconsistency-based strategy for clarifying vague software requirements. In: Zhang S, Jarvis R (eds) AI2005: Advances in artificial intelligence, The 18th Australian joint conference on artificial intelligence, LNCS, vol 3809. Springer-Verlag, Berlin Heidelberg New York, pp 39\u201348","DOI":"10.1007\/11589990_7"},{"issue":"1","key":"21_CR21","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/291469.293165","volume":"42","author":"J Mylopoulos","year":"1999","unstructured":"Mylopoulos J, Chung L, Yu E (1999) From object-oriented to goal-oriented requirements analysis. Commun ACM 42(1): 31\u201337","journal-title":"Commun ACM"},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"Sheldon F, Kim H, Zhou Z (2001) 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), pp 311\u2013318","DOI":"10.1109\/PRDC.2001.992714"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Spanoudakis G, Finkelstein A (1997) Reconciling requirements: a method for managing interference, inconsistency and conflict. Ann Softw Eng 3: 433\u2013457","DOI":"10.1023\/A:1018998207415"},{"key":"21_CR24","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1023\/A:1018998207415","volume":"3","author":"G Spanoudakis","year":"1997","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. World Scientific, Singapore, pp 329\u2013380","journal-title":"Ann Softw Eng"},{"issue":"14","key":"21_CR25","doi-asserted-by":"crossref","first-page":"993","DOI":"10.1016\/S0950-5849(03)00100-9","volume":"45","author":"D Zowghi","year":"2003","unstructured":"Zowghi D, Gervasi V (2003) On the interplay between consistency, completeness, and correctness in requirements evolution. Inf Softw Technol 45(14): 993\u20131009","journal-title":"Inf Softw Technol"}],"container-title":["Knowledge and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-006-0021-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10115-006-0021-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-006-0021-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T10:10:15Z","timestamp":1559124615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10115-006-0021-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,5,3]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,12,4]]}},"alternative-id":["21"],"URL":"https:\/\/doi.org\/10.1007\/s10115-006-0021-y","relation":{},"ISSN":["0219-1377","0219-3116"],"issn-type":[{"value":"0219-1377","type":"print"},{"value":"0219-3116","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,5,3]]}}}