{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T02:49:12Z","timestamp":1725763752294},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642454219"},{"type":"electronic","value":"9783642454226"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45422-6_10","type":"book-chapter","created":{"date-parts":[[2013,12,11]],"date-time":"2013-12-11T22:59:06Z","timestamp":1386802746000},"page":"142-156","source":"Crossref","is-referenced-by-count":1,"title":["A Semi-automated Approach towards Handling Inconsistencies in Software Requirements"],"prefix":"10.1007","author":[{"given":"Richa","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","reference":[{"key":"10_CR1","unstructured":"IEEE Computer Society. IEEE Recommended Practice for Software Requirements Specification, IEEE Std 830 \u2013 1998(R2009) (1998)"},{"issue":"14","key":"10_CR2","first-page":"993","volume":"45","author":"D. Zowghi","year":"2003","unstructured":"Zowghi, D.: On the Interplay Between Consistency, Completeness, and Correctness in Requirements Evolution. Information and Technology\u00a045(14), 993\u20131009 (2003)","journal-title":"Information and Technology"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Ma, L., Nuseibeh, B., Piwek, P., Roeck, A.D., Willis, A.: On Presuppositions in Requirements. In: Proc. International Workshop on Managing Requirements Knowledge, pp. 68\u201373 (2009)","DOI":"10.1109\/MARK.2009.9"},{"issue":"12","key":"10_CR4","doi-asserted-by":"publisher","first-page":"1076","DOI":"10.1109\/32.184762","volume":"18","author":"J.J.P. Tsai","year":"1992","unstructured":"Tsai, J.J.P., Weigert, T., Jang, H.: A Hybrid Knowledge Representation as a Basis of Requirements Specifciation and Specification Analysis. IEEE Transaction on Software Engg.\u00a018(12), 1076\u20131100 (1992)","journal-title":"IEEE Transaction on Software Engg."},{"issue":"3","key":"10_CR5","doi-asserted-by":"publisher","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 Transactions on Software Engg. and Methodology\u00a014(3), 277\u2013330 (2005)","journal-title":"ACM Transactions on Software Engg. and Methodology"},{"key":"10_CR6","unstructured":"Levinson, S.C.: Pragmatics. Cambridge University Press (2000)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Sharma, R., Biswas, K.K.: Using Courteous Logic based representatiosn for Requirements Specifications. In: International Workshop on Managing Requirements Knowledge (2011)","DOI":"10.1109\/MARK.2011.6046556"},{"key":"10_CR8","unstructured":"Grosof, B.N.: Courteous Logic Programs: prioritized conflict handling for rules. IBM Research Report RC20836, IBM Research Division, T.J. Watson Research Centre (1997)"},{"issue":"1","key":"10_CR9","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.elerap.2003.09.005","volume":"3","author":"B.N. Grosof","year":"2004","unstructured":"Grosof, B.N.: Representing E-Commerce Rules via situated courteous logic programs in RuleML. Electronic Commerce Research and Applications\u00a03(1), 2\u201320 (2004)","journal-title":"Electronic Commerce Research and Applications"},{"issue":"1","key":"10_CR10","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.: A Requirements Modleing Language and its logic. Information Systems\u00a011(1), 9\u201323 (1986)","journal-title":"Information Systems"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1046\/j.1365-2575.2001.00102.x","volume":"11","author":"K. Liu","year":"2001","unstructured":"Liu, K., Sun, L., Narasipuram, M.: Norm-based agency for designing Collaborative Information System. Information System\u00a011, 229\u2013247 (2001)","journal-title":"Information System"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Sharma, R., Biswas, K.K.: Using Norm Analysis Patterns for Automated Requirements Validation. In: International Workshop on Requirements Patterns, Co-located with IEEE Conference on Requirements Engineering (RE 2012), Chicago, USA (2012)","DOI":"10.1109\/RePa.2012.6359965"},{"key":"10_CR13","unstructured":"Stanley, M.: CML: A Knowledge Representation Language with Applications to Requirements Modeling, M.Sc. Thesis, Dept Comp. Sc., University of Troronto (1986)"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Mylopoulos, J., Borgida, A., Koubarakis, M.: Telos: Representing Knowledge about Information Systems. ACM Transactions on Information Systems (1990)","DOI":"10.1145\/102675.102676"},{"issue":"4","key":"10_CR15","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1049\/sej.1991.0017","volume":"6","author":"J.J.-P. Tsai","year":"1991","unstructured":"Tsai, J.J.-P.: andWeigert, T, HCLIE: a logic-based requirement language for new software engineering paradigms. Software Engineering\u00a06(4), 137\u2013151 (1991)","journal-title":"Software Engineering"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1147","DOI":"10.1007\/978-3-540-72586-2_160","volume-title":"Computational Science \u2013 ICCS 2007","author":"Y. Zhang","year":"2007","unstructured":"Zhang, Y., Zhang, W.: Description logic representation for requirement specification. In: Shi, Y., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2007, Part II. LNCS, vol.\u00a04488, pp. 1147\u20131154. Springer, Heidelberg (2007)"},{"issue":"4","key":"10_CR17","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.: Knowledge Representation as the basis for Requirements Specifications. Computer\u00a018(4), 82\u201391 (1985)","journal-title":"Computer"}],"container-title":["Communications in Computer and Information Science","Evaluation of Novel Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45422-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T07:09:33Z","timestamp":1558768173000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45422-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642454219","9783642454226"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45422-6_10","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}