{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,7]],"date-time":"2025-05-07T13:45:01Z","timestamp":1746625501088,"version":"3.38.0"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2011,9,1]],"date-time":"2011-09-01T00:00:00Z","timestamp":1314835200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. Technol."],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1007\/s11390-011-0187-y","type":"journal-article","created":{"date-parts":[[2011,9,23]],"date-time":"2011-09-23T21:20:46Z","timestamp":1316812846000},"page":"890-907","source":"Crossref","is-referenced-by-count":6,"title":["Managing Software Requirements Changes Based on Negotiation-Style Revision"],"prefix":"10.1007","volume":"26","author":[{"given":"Ke-Dian","family":"Mu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weiru","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhi","family":"Jin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Hong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Bell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,9,23]]},"reference":[{"key":"187_CR1","volume-title":"Software Requirements","author":"KE Wiegers","year":"2003","unstructured":"Wiegers K E. Software Requirements, 2nd Ed. Portland: Microsoft Press, USA, 2003.","edition":"2"},{"key":"187_CR2","unstructured":"Garcez A S, Russo A, Nuseibeh B, Kramer J. An analysis-revision cycle to evolve requirements specifications. In Proc. the 16th IEEE Conference on Automated Software Engineering (ASE2001), Coronado, USA, Nov. 26\u201329, 2001, pp.354-358."},{"issue":"1","key":"187_CR3","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1049\/ip-sen:20030207","volume":"150","author":"AS Garcez","year":"2003","unstructured":"Garcez A S, Russo A, Nuseibeh B, Kramer J. Combining abductive reasoning and inductive learning to evolve requirements specifications. IEE Proceedings of Software, 2003, 150(1): 25\u201338.","journal-title":"IEE Proceedings of Software"},{"key":"187_CR4","doi-asserted-by":"crossref","unstructured":"Kakas A C, Kowalski R, Toni F. The Role of Abduction in Logic Programming. Handbook of Logic in Artificial Intelligence and Logic Programming, Gabbay Dov M, Hogger C J, Robinson J A (eds.), Volume 5., 1998, pp.235-324.","DOI":"10.1093\/oso\/9780198537922.003.0007"},{"key":"187_CR5","volume-title":"Machine Learning","author":"TM Mitchell","year":"1997","unstructured":"Mitchell T\u00a0M. Machine Learning. New York: McGraw-Hill, 1997."},{"key":"187_CR6","doi-asserted-by":"crossref","unstructured":"Zowghi D, Offen R. A logical framework for modeling and reasoning about the evolution of requirements. In Proc. the 3\u00a0rd IEEE International Symposium on Requirements Engineering (RE1997), Jan. 5\u20138, 1997, Annapolis, USA, 1997, pp.247-257.","DOI":"10.1109\/ISRE.1997.566875"},{"key":"187_CR7","doi-asserted-by":"crossref","unstructured":"Zowghi D. A requirements engineering process model based on defaults and revisions. In Proc. the 11th International Workshop on Database and Expert Systems Applications (DEXA2000), Greenwich, UK, Sept. 6\u20138, 2000, pp.966-970.","DOI":"10.1109\/DEXA.2000.875143"},{"issue":"2","key":"187_CR8","first-page":"510","volume":"50","author":"C Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n C, G\u00c4ardenfors P, Makinson D. On the logic of theory change: Partial meeting contraction and revision functions. Journal of Symbolic Logic, 1985, 50(2): 510\u2013530.","journal-title":"Makinson D. On the logic of theory change: Partial meeting contraction and revision functions. Journal of Symbolic Logic"},{"issue":"1\/2","key":"187_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(96)00038-0","volume":"89","author":"A Darwiche","year":"1997","unstructured":"Darwiche A, Pearl J. On the logic of iterated belief revision. Artificial Intelligence, 1997, 89(1\/2): 1\u201329.","journal-title":"Artificial Intelligence"},{"key":"187_CR10","unstructured":"Delgrande J, Dubois D, Lang J. Iterated revision as priorited merging. In Proc. the 10th International Conference on Principles of Knowledge Representation and Reasoning, Lake District, UK, Jun. 2\u20135, 2006, pp.210-220."},{"issue":"3","key":"187_CR11","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1023\/A:1005294718935","volume":"63","author":"E Ferm\u00e9","year":"1999","unstructured":"Ferm\u00e9 E, Hansson S. Selective revision. Studia Logica, 1999, 63(3): 331\u2013342.","journal-title":"Studia Logica"},{"key":"187_CR12","unstructured":"Booth R. A negotiation-style framework for non-prioritised revision. In Proc. the 8th Conference on Theoretical Aspects of Rationality and Knowledge (TARK2001), Siena, Italy, Jul. 8\u201310, 2001, pp.137-150."},{"issue":"2\/3","key":"187_CR13","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1023\/A:1005534223776","volume":"50","author":"S Hansson","year":"1999","unstructured":"Hansson S. A survey of non-prioritized belief revision. Erkenntnis, 1999, 50(2\/3): 413\u2013427.","journal-title":"Erkenntnis"},{"issue":"4","key":"187_CR14","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1145\/292182.292187","volume":"7","author":"A Hunter","year":"1998","unstructured":"Hunter A, Nuseibeh B. Managing inconsistent specification: Reasoning, analysis, and action. ACM Transactions on Software Engineering and Methodology, 1998, 7(4): 335\u2013367.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"9","key":"187_CR15","first-page":"48","volume":"7","author":"K Wiegers","year":"1999","unstructured":"Wiegers K. First things first: Prioritizing requirements. Software Development, 1999, 7(9): 48\u201353.","journal-title":"Software Development"},{"key":"187_CR16","volume-title":"Just Enough Requirements Management: Where Software Development Meets Marking","author":"A Davis","year":"2005","unstructured":"Davis A. Just Enough Requirements Management: Where Software Development Meets Marking. New York: Dorset House Publishing, 2005."},{"issue":"5","key":"187_CR17","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1109\/52.605933","volume":"14","author":"J Karlsson","year":"1997","unstructured":"Karlsson J, Ryan K. A cost-value approach for prioritizing requirements. IEEE Software, 1997, 14 (5): 67\u201374.","journal-title":"IEEE Software"},{"key":"187_CR18","volume-title":"To Satisfy and Delight Your Customer: How to Manage for Customer Value","author":"WJ Pardee","year":"1996","unstructured":"Pardee W\u00a0J. To Satisfy and Delight Your Customer: How to Manage for Customer Value. New York: Dorset House Publishing, 1996."},{"issue":"14","key":"187_CR19","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. On the interplay between consistency, completeness, and correctness in requirements evolution. Information and Software Technology, 2003, 45(14): 993\u20131009.","journal-title":"Information and Software Technology"},{"issue":"3","key":"187_CR20","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1145\/1072997.1072999","volume":"14","author":"V Gervasi","year":"2005","unstructured":"Gervasi V, Zowghi D. Reasoning about inconsistencies in natural language requirements. ACM Transaction on Software Engineering and Methodologies, 2005, 14(3): 277\u2013330.","journal-title":"ACM Transaction on Software Engineering and Methodologies"},{"key":"187_CR21","unstructured":"Benferhat S, Cayrol C, Dobois D, Lang J, Prade H. Inconsistency management and prioritized syntax-based entailment. In Proc. the 13th International Joint Conference on Artificial Intelligence, Chamb\u00e8ry, France, Aug. 28-Sept. 3, 1993, pp.640-647."},{"issue":"1","key":"187_CR22","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF01535841","volume":"15","author":"D Lehmann","year":"1995","unstructured":"Lehmann D. Another perspective on default reasoning. Annals of Mathematics and Artificial Intelligence, 1995, 15(1): 61\u201382.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"1","key":"187_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.artint.2006.11.002","volume":"171","author":"Y Jin","year":"2007","unstructured":"Jin Y, Thielscher M. Iterated belief revision, revised. Artificial Intelligence, 2007, 171(1): 1\u201318.","journal-title":"Artificial Intelligence"},{"key":"187_CR24","doi-asserted-by":"crossref","unstructured":"Mu K, Jin Z. Identifying acceptable common proposals for handling inconsistent software requirements. In Proc. 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE2007), Tallinn, Estonia, Jun. 27\u201329, 2007, pp.296-308.","DOI":"10.1007\/978-3-540-73196-2_19"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-011-0187-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11390-011-0187-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-011-0187-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,11]],"date-time":"2025-03-11T23:01:05Z","timestamp":1741734065000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11390-011-0187-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":24,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2011,9]]}},"alternative-id":["187"],"URL":"https:\/\/doi.org\/10.1007\/s11390-011-0187-y","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"type":"print","value":"1000-9000"},{"type":"electronic","value":"1860-4749"}],"subject":[],"published":{"date-parts":[[2011,9]]}}}