{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:53:01Z","timestamp":1725551581338},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540304623"},{"type":"electronic","value":"9783540316527"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11589990_7","type":"book-chapter","created":{"date-parts":[[2005,11,26]],"date-time":"2005-11-26T06:28:03Z","timestamp":1132986483000},"page":"39-48","source":"Crossref","is-referenced-by-count":4,"title":["Inconsistency-Based Strategy for Clarifying Vague 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"}]},{"given":"Ruqian","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1023\/A:1018998207415","volume":"3","author":"G. Spanoudakis","year":"1997","unstructured":"Spanoudakis, G., Finkelstein, A.: Reconciling requirements: a method for managing interference, inconsistency and conflict. Annals of Software Engineering\u00a03, 433\u2013457 (1997)","journal-title":"Annals of Software Engineering"},{"key":"7_CR2","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1142\/9789812389718_0015","volume-title":"Handbook of Software Engineering and Knowledge Engineering","author":"G. Spanoudakis","year":"2001","unstructured":"Spanoudakis, G., Zisman, A.: Inconsistency management in software engineering: Survey and open research issues. In: Chang, S.K. (ed.) Handbook of Software Engineering and Knowledge Engineering, pp. 329\u2013380. World Scientific Publishing Co., Singapore (2001)"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1145\/292182.292187","volume":"7","author":"A. Hunter","year":"1998","unstructured":"Hunter, A., Nuseibeh, B.: Managing inconsistent specification. ACM Transactions on Software Engineering and Methodology\u00a07, 335\u2013367 (1998)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"978","DOI":"10.1109\/32.879820","volume":"26","author":"A. Lamsweerde","year":"2000","unstructured":"Lamsweerde, A., Letier, E.: Handling obstacles in goal-driven requirements engineering. IEEE Transactions on Software Engineering\u00a026, 978\u20131005 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1023\/A:1016000201864","volume":"21","author":"H. Bowman","year":"2002","unstructured":"Bowman, H., Steen, M., Boiten, E., Derrick, J.: A formal framework for viewpoint consistency. Formal Methods in System Design\u00a021, 111\u2013166 (2002)","journal-title":"Formal Methods in System Design"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1145\/505532.505552","volume":"26","author":"S. Easterbrook","year":"2001","unstructured":"Easterbrook, S., Chechik, M.: 2nd international workshop on living with inconsistency. Software Engineering Notes\u00a026, 76\u201378 (2001)","journal-title":"Software Engineering Notes"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Easterbrook, S., Chechik, M.: A framework for multi-valued reasoning over inconsistent viewpoints. In: Harrold, M., Schafer, W., Muller, H. (eds.) Proceedings of International Conference on Software Engineering (ICSE 2001), Toronto, Canada, pp. 411\u2013420 (2001)","DOI":"10.1109\/ICSE.2001.919114"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-44685-0_30","volume-title":"CONCUR 2001 - Concurrency Theory","author":"M. Chechik","year":"2001","unstructured":"Chechik, M., Devereux, B., Easterbrook, S.P.: Efficient multiple-valued model-checking using lattice representations. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 21\u201324. Springer, Heidelberg (2001)"},{"key":"7_CR9","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"}],"container-title":["Lecture Notes in Computer Science","AI 2005: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11589990_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:48:18Z","timestamp":1619506098000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11589990_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540304623","9783540316527"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11589990_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}