{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T05:15:36Z","timestamp":1737263736061,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540731955"},{"type":"electronic","value":"9783540731962"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73196-2_19","type":"book-chapter","created":{"date-parts":[[2007,7,6]],"date-time":"2007-07-06T04:50:02Z","timestamp":1183697402000},"page":"296-308","source":"Crossref","is-referenced-by-count":3,"title":["Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements"],"prefix":"10.1007","author":[{"given":"Kedian","family":"Mu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhi","family":"Jin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"19_CR1","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1142\/S0218194092000038","volume":"2","author":"A. Finkelsetin","year":"1992","unstructured":"Finkelsetin, A., Kramer, J., Nuseibeh, B., Finkelstein, L., Goedicke, M.: Viewpoints: A Framework for Integrating Multiple Perspectives in System Development. International Journal of Software Engineering and Knowledge Engineering\u00a02(1), 31\u201358 (1992)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1049\/sej.1992.0038","volume":"7","author":"G.I. Kotonya","year":"1992","unstructured":"Kotonya, G.I.: Sommerville: Viewpoints for requirements definition. IEE Software Eng. Journal\u00a07, 375\u2013387 (1992)","journal-title":"IEE Software Eng. Journal"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1109\/TSE.2004.1","volume":"30","author":"J. Andrade","year":"2004","unstructured":"Andrade, J., Ares, J., Garcia, R., Pazos, J., Rodriguez, S., Silva, A.: A methodolog ical framework for viewpoint-oriented conceptual modeling. IEEE Trans. Softw. Eng.\u00a030, 282\u2013294 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1145\/1072997.1072999","volume":"14","author":"V.D. Gervasi","year":"2005","unstructured":"Gervasi, V.D.: Zowghi: Reasoning about inconsistencies in natural language re quirements. ACM Transaction on Software Engineering and Methodologies\u00a014, 277\u2013330 (2005)","journal-title":"ACM Transaction on Software Engineering and Methodologies"},{"key":"19_CR5","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1145\/292182.292187","volume":"7","author":"A.B. Hunter","year":"1998","unstructured":"Hunter, A.B.: Nuseibeh: Managing inconsistent specification. ACM Transactions on Software Engineering and Methodology\u00a07, 335\u2013367 (1998)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"19_CR6","doi-asserted-by":"publisher","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\u00a045, 993\u20131009 (2003)","journal-title":"Information and Software Technology"},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/2.839317","volume":"33","author":"B. Nuseibeh","year":"2000","unstructured":"Nuseibeh, B., Easterbrook, S., Russo, A.: Leveraging inconsistency in software development. IEEE Computer\u00a033, 24\u201329 (2000)","journal-title":"IEEE Computer"},{"key":"19_CR8","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0164-1212(01)00036-X","volume":"58","author":"B.S. Nuseibeh","year":"2001","unstructured":"Nuseibeh, B.S., Easterbrook, A.: Russo: Making inconsistency respectable in software development. Journal of Systems and Software\u00a058, 171\u2013180 (2001)","journal-title":"Journal of Systems and Software"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BFb0028192","volume-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty","author":"D. Gabbay","year":"1993","unstructured":"Gabbay, D., Hunter, A.: Making inconsistency respectable 2:meta-level handling of inconsistent data. In: Moral, S., Kruse, R., Clarke, E. (eds.) ECSQARU 1993. LNCS, vol.\u00a0747, pp. 129\u2013136. Springer, Heidelberg (1993)"},{"key":"19_CR10","doi-asserted-by":"publisher","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.: Inconsistency handling in multiperspective speci?cations. IEEE Trans. on Software Engineering\u00a020, 569\u2013578 (1994)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"19_CR11","first-page":"277","volume-title":"Proceedings of 8th International Conference on Principles of Knowledge Representation and Reasoning","author":"J. Lang","year":"2002","unstructured":"Lang, J.: From logical preference representation to combinatorial vote. In: Proceedings of 8th International Conference on Principles of Knowledge Representation and Reasoning, pp. 277\u2013288. Morgan Kaufmann, San Francisco (2002)"},{"key":"19_CR12","doi-asserted-by":"publisher","first-page":"1253","DOI":"10.1109\/32.106986","volume":"17","author":"J. Leite","year":"1991","unstructured":"Leite, J., Freeman, P.A.: Freeman: Requirements validation through viewpoint resolution. IEEE Trans. on Soft. Eng.\u00a017, 1253\u20131269 (1991)","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"19_CR13","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1145\/75199.75232","volume-title":"IWSSD \u201989","author":"W.N. Robinson","year":"1989","unstructured":"Robinson, W.N.: Integrating multiple specifications using domain goals. In: IWSSD \u201989. Proceedings of the 5th international workshop on Software specification and design, pp. 219\u2013226. ACM Press, New York, NY, USA (1989)"},{"key":"19_CR14","first-page":"676","volume-title":"Proceedings of the 25th International Conference on Software Engineering","author":"B. Nuseibeh","year":"2003","unstructured":"Nuseibeh, B., Kramer, J., Finkelstein, A.: Viewpoints: meaningful relationships are difficult? In: Proceedings of the 25th International Conference on Software Engineering, pp. 676\u2013681. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"19_CR15","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BF00245460","volume":"9","author":"M. Kifer","year":"1992","unstructured":"Kifer, M., Lozinskii, E.L.: A logic for reasoning with inconsistency. Journal of Automated Reasoning\u00a09, 179\u2013215 (1992)","journal-title":"Journal of Automated Reasoning"},{"key":"19_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/11589990_7","volume-title":"AI 2005: Advances in Artificial Intelligence","author":"K. Mu","year":"2005","unstructured":"Mu, K., Jin, Z., Lu, R.: Inconsistency-based strategy for clarifying vague software requirements. In: Zhang, S., Jarvis, R. (eds.) AI 2005. LNCS (LNAI), vol.\u00a03809, pp. 39\u201348. Springer, Heidelberg (2005)"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Easterbrook, S., Nuseibeh, B.: Managing inconsistencies in an evolving specification. In: Proceedings of the Second International Symposium on Requirements Engineering (RE95), pp. 48\u201355 (1995)","DOI":"10.1109\/ISRE.1995.512545"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Easterbrook, S.M., Chechik, A.: framework for multi-valued reasoning over inconsistent viewpoints. In: Proceedings of International Conference on Software Engineering (ICSE\u201901), Toronto, Canada, pp. 411\u2013420 (2001)","DOI":"10.1109\/ICSE.2001.919114"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73196-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T06:50:25Z","timestamp":1737183025000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73196-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540731955","9783540731962"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73196-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}