{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T22:38:34Z","timestamp":1761950314883,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540755623"},{"type":"electronic","value":"9783540755630"}],"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-75563-0_31","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T07:07:07Z","timestamp":1194937627000},"page":"454-469","source":"Crossref","is-referenced-by-count":3,"title":["Tracing the Rationale Behind UML Model Change Through Argumentation"],"prefix":"10.1007","author":[{"given":"Ivan J.","family":"Jureta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane","family":"Faulkner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"crossref","unstructured":"Antoniol, G., Canfora, G., De Lucia, A.: Maintaining traceability during object-oriented software evolution: a case study. In: Proc. Int. Conf. Softw. Maintenance (1999)","DOI":"10.1109\/ICSM.1999.792612"},{"issue":"1\u20132","key":"31_CR2","first-page":"203","volume":"128","author":"P. Besnard","year":"2001","unstructured":"Besnard, P., Hunter, A.: A logic-based theory of deductive arguments. Intell.\u00a0128(1\u20132), 203\u2013235 (2001)","journal-title":"Intell."},{"key":"31_CR3","unstructured":"Briand, L.C., Labiche, Y., Yue, T.: Automated Traceability Analysis for UML Model Refinements. Carleton Univ. Technical Report, TR SCE-06-06, ver.2 (August 2006)"},{"issue":"4","key":"31_CR4","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/371578.371581","volume":"32","author":"C.I. Ches\\~{n}evar","year":"2000","unstructured":"Ches\u00f1evar, C.I., Maguitman, A.G., Loui, R.P.: Logical Models of Argument. ACM Comput. Surv.\u00a032(4), 337\u2013383 (2000)","journal-title":"ACM Comput. Surv."},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"Conklin, J., Begeman, M.L.: gIBIS: A hypertext tool for exploratory policy discussion. ACM Trans. Inf. Syst.,\u00a06(4) (1988)","DOI":"10.1145\/58566.59297"},{"issue":"12","key":"31_CR6","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/290133.290149","volume":"41","author":"R. D\u00f6mges","year":"1998","unstructured":"D\u00f6mges, R., Pohl, K.: Adapting Traceability Environments to Project-Specific Needs. Comm. ACM\u00a041(12), 54\u201362 (1998)","journal-title":"Comm. ACM"},{"key":"31_CR7","doi-asserted-by":"crossref","unstructured":"Egyed, A.: A Scenario-Driven Approach to Traceability. Proc. Int. Conf. Softw. Eng., 123\u2013132 (2001)","DOI":"10.1109\/ICSE.2001.919087"},{"issue":"3","key":"31_CR8","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1111\/0824-7935.00119","volume":"16","author":"M. Ford","year":"2000","unstructured":"Ford, M., Billington, D.: Strategies in Human Nonmonotonic Reasoning. Computat. Intel.\u00a016(3), 446\u2013468 (2000)","journal-title":"Computat. Intel."},{"key":"31_CR9","unstructured":"Gotel, O.C.Z., Finkelstein, A.C.W.: An Analysis the Requirements Traceability Problem. Tech. Rep. TR-93-41, Dept. of Computing, Imperial College (1993)"},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"Gotel, O.C.Z., Finkelstein, A.C.W.: An analysis of the requirements traceability problem. In: Proc. Int. Conf. Req. Eng., pp. 94\u2013101 (1994)","DOI":"10.1109\/ICRE.1994.292398"},{"key":"31_CR11","unstructured":"Gotel, O.C.Z.: Contribution Structures for Requirements Engineering. Ph.D. Thesis, Imperial College of Science, Technology, and Medicine, London, England (1996)"},{"key":"31_CR12","unstructured":"Haumer, P., Pohl, K., Weidenhaupt, K., Jarke, M.: Improving Reviews by Extending Traceability. In: Proc. Annual Hawaii Int. Conf. on System Sciences (1999)"},{"key":"31_CR13","unstructured":"Jackson, J.: A Keyphrase Based Traceability Scheme. IEE Colloq. on Tools and Techn. for Maintaining Traceability During Design (1991)"},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"Jureta, I.J., Faulkner, S., Schobbens, P.-Y.: Justifying Goal Models. Proc. Int. Conf. Req. Eng., 119\u2013128 (2006)","DOI":"10.1109\/RE.2006.37"},{"key":"31_CR15","unstructured":"Letelier, P.: A Framework for Requirements Traceability in UML-Based Projects. In: Proc. Int. Worksh. on Traceability in Emerging Forms of Softw. Eng. (2002)"},{"key":"31_CR16","doi-asserted-by":"crossref","unstructured":"Louridas, P., Loucopoulos, P.: A Generic Model for Reflective Design. ACM Trans. Softw. Eng. Meth.\u00a09(2) (2000)","DOI":"10.1145\/350887.350895"},{"key":"31_CR17","doi-asserted-by":"crossref","unstructured":"Naslavsky, L., Alspaugh, T.A., Richardson, D.J., Ziv, H.: Using Scenarios to Support Traceability. Proc. Int. Worksh. on Traceability in emerging forms of software engineering, 25\u201330 (2005)","DOI":"10.1145\/1107656.1107663"},{"key":"31_CR18","unstructured":"OMG. UML 2.0 Superstructure Specification. Object Management Group, Final Adopted Specification ptc\/03-08-02 (2003)"},{"issue":"2","key":"31_CR19","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/52.506462","volume":"13","author":"F.A.C. Pinheiro","year":"1996","unstructured":"Pinheiro, F.A.C., Goguen, J.A.: An Object-Oriented Tool for Tracing Requirements. IEEE Software\u00a013(2), 52\u201364 (1996)","journal-title":"IEEE Software"},{"key":"31_CR20","volume-title":"Process-Centered Requirements Engineering. Advanced Software Development Series","author":"K. Pohl","year":"1996","unstructured":"Pohl, K.: Process-Centered Requirements Engineering. Advanced Software Development Series. J.Wiley & Sons Ltd, Taunton, England (1996)"},{"key":"31_CR21","doi-asserted-by":"crossref","unstructured":"Pohl, K.: PRO-ART: Enabling Requirements Pre-Traceability. Proc. Int. Conf. Req. Eng., 76\u201385 (1996)","DOI":"10.1109\/ICRE.1996.491432"},{"key":"31_CR22","doi-asserted-by":"crossref","unstructured":"Pohl, K., D\u00f6mges, R., Jarke, M.: Towards Method-Driven Trace Capture. Proc. Conf. Adv. Info. Syst. Eng., 103\u2013116 (1997)","DOI":"10.1007\/3-540-63107-0_8"},{"key":"31_CR23","volume-title":"Handbook of Philosophical Logic","author":"H. Prakken","year":"2002","unstructured":"Prakken, H., Vreeswijk, G.: Logical systems for defeasible argumentation. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic, Kluwer, Dordrecht (2002)"},{"issue":"6","key":"31_CR24","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1109\/32.142872","volume":"18","author":"B. Ramesh","year":"1992","unstructured":"Ramesh, B., Dhar, V.: Supporting systems development by capturing deliberations during requirements engineering. IEEE Trans. Softw. Eng.\u00a018(6), 498\u2013510 (1992)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"31_CR25","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1023\/A:1018969401055","volume":"3","author":"B. Ramesh","year":"1997","unstructured":"Ramesh, B., Stubbs, C., Powers, T., Edwards, M.: Implementing requirements traceability: A case study. Annals of Softw. Eng.\u00a03, 397\u2013415 (1997)","journal-title":"Annals of Softw. Eng."},{"key":"31_CR26","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0004-3702(92)90069-A","volume":"53","author":"G.R. Simari","year":"1992","unstructured":"Simari, G.R., Loui, R.P.: A mathematical treatment of defeasible reasoning and its implementation. Artificial Intelligence\u00a053, 125\u2013157 (1992)","journal-title":"Artificial Intelligence"},{"key":"31_CR27","series-title":"Lecture Notes in Computer Science","first-page":"283","volume-title":"ECOOP \u201999 - Object-Oriented Programming","author":"M. Toranzo","year":"1999","unstructured":"Toranzo, M., Castro, J.: A Comprehensive Traceability Model to Support the Design of Interactive Systems. In: Guerraoui, R. (ed.) ECOOP 1999. LNCS, vol.\u00a01628, pp. 283\u2013284. Springer, Heidelberg (1999)"},{"key":"31_CR28","doi-asserted-by":"crossref","unstructured":"Ubayashi, N., Tamai, T., Sano, S., Maeno, Y., Murakami, S.: Model evolution with aspect-oriented mechanisms. In: Proc. Int. Worksh. Principles of Softw. Evol. (2005)","DOI":"10.1109\/IWPSE.2005.24"},{"key":"31_CR29","unstructured":"van Lamsweerde, A., Darimont, R.: Massonet Ph.: The Meeting Scheduler Problem: Preliminary Definition. Universit\u00e9 catholique de Louvain (1992)"},{"key":"31_CR30","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A.: Goal-Oriented Requirements Engineering: A Guided Tour. In: Proc. Int. Conf. Req, pp. 249\u2013263 (2001)","DOI":"10.1109\/ISRE.2001.948567"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling - ER 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75563-0_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T07:27:30Z","timestamp":1737530850000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75563-0_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540755623","9783540755630"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75563-0_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}