乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T02:31:23Z","timestamp":1725762683282},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,9,9]]},"DOI":"10.1145\/2025113.2025140","type":"proceedings-article","created":{"date-parts":[[2011,9,6]],"date-time":"2011-09-06T15:10:46Z","timestamp":1315321846000},"page":"179-189","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":44,"title":["ADDiff"],"prefix":"10.1145","author":[{"given":"Shahar","family":"Maoz","sequence":"first","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}]},{"given":"Jan Oliver","family":"Ringert","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}]},{"given":"Bernhard","family":"Rumpe","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2011,9,9]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"LNCS","first-page":"2","volume-title":"Proc. 6th Int. Conf. on the UML","author":"Alanen M.","year":"2003","unstructured":"M. Alanen and I. Porres . Difference and union of models . In P. Stevens, J. Whittle, and G. Booch, editors, Proc. 6th Int. Conf. on the UML , volume 2863 of LNCS , pages 2 -- 17 . Springer , 2003 . M. Alanen and I. Porres. Difference and union of models. In P. Stevens, J. Whittle, and G. Booch, editors, Proc. 6th Int. Conf. on the UML, volume 2863 of LNCS, pages 2--17. Springer, 2003."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-006-0002-0"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"e_1_3_2_1_4_1","volume-title":"NuSMV User Manual","author":"Cavada R.","year":"2005","unstructured":"R. Cavada , A. Cimatti , C. A. Jochim , G. Keighren , E. Olivetti , M. Pistore , M. Roveri , and A. Tchaltsev . NuSMV User Manual , 2005 . R. Cavada, A. Cimatti, C. A. Jochim, G. Keighren, E. Olivetti, M. Pistore, M. Roveri, and A. Tchaltsev. NuSMV User Manual, 2005."},{"key":"e_1_3_2_1_5_1","unstructured":"EMF Compare. http:\/\/www.eclipse.org\/modeling\/emft\/?project=compare. EMF Compare. http:\/\/www.eclipse.org\/modeling\/emft\/?project=compare."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11787044_12"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1125808.1125809"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/3093139.3093166"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.172"},{"key":"e_1_3_2_1_11_1","first-page":"243","volume-title":"ICSM","author":"Jackson D.","year":"1994","unstructured":"D. Jackson and D. A. Ladd . Semantic diff: A tool for summarizing the effects of modifications. In H. A. M\u00fcller and M. Georges, editors , ICSM , pages 243 -- 252 . IEEE Computer Society , 1994 . D. Jackson and D. A. Ladd. Semantic diff: A tool for summarizing the effects of modifications. In H. A. M\u00fcller and M. Georges, editors, ICSM, pages 243--252. IEEE Computer Society, 1994."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1943397.1943400"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1842982.1842986"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02674-4_12"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"S.\n Maoz\n . Model-based traces.\n In M. R. V. Chaudron editor Mo\n DELS\n Workshops volume \n 5421\n of \n LNCS pages \n 109\n --\n 119\n . \n Springer 2008\n . S. Maoz. Model-based traces. In M. R. V. Chaudron editor MoDELS Workshops volume 5421 of LNCS pages 109--119. Springer 2008.","DOI":"10.1007\/978-3-642-01648-6_12"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.336"},{"key":"e_1_3_2_1_18_1","series-title":"LNCS","first-page":"230","volume-title":"Proc. 25th Euro. Conf. on Object Oriented Programming (ECOOP'11)","author":"Maoz S.","year":"2011","unstructured":"S. Maoz , J. O. Ringert , and B. Rumpe . CDDiff: Semantic differencing for class diagrams . In M. Mezini, editor, Proc. 25th Euro. Conf. on Object Oriented Programming (ECOOP'11) , volume 6813 of LNCS , pages 230 -- 254 . Springer , 2011 . S. Maoz, J. O. Ringert, and B. Rumpe. CDDiff: Semantic differencing for class diagrams. In M. Mezini, editor, Proc. 25th Euro. Conf. on Object Oriented Programming (ECOOP'11), volume 6813 of LNCS, pages 230--254. Springer, 2011."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"S.\n Maoz J. O.\n Ringert and \n B.\n Rumpe\n . \n A manifesto for semantic model differencing\n . In J. Dingel and A. Solberg editors MoDELS Workshops volume \n 6627\n of \n LNCS pages \n 194\n --\n 203\n . \n Springer 2011\n . S. Maoz J. O. Ringert and B. Rumpe. A manifesto for semantic model differencing. In J. Dingel and A. Solberg editors MoDELS Workshops volume 6627 of LNCS pages 194--203. Springer 2011.","DOI":"10.1007\/978-3-642-21210-9_19"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"McMillan K.","year":"1993","unstructured":"K. McMillan . Symbolic Model Checking . Kluwer Academic Publishers , 1993 . K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101940"},{"key":"e_1_3_2_1_22_1","unstructured":"MontiCore project. http:\/\/www.monticore.org\/. MontiCore project. http:\/\/www.monticore.org\/."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940102"},{"key":"e_1_3_2_1_24_1","volume-title":"OMG Specification","author":"MG.","year":"2009","unstructured":"O MG. UML , version 2.2 , OMG Specification , 2009 . OMG. UML, version 2.2, OMG Specification, 2009."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453131"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/11609773_24"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_18"},{"key":"e_1_3_2_1_28_1","unstructured":"Semantic diff project. http:\/\/www.se-rwth.de\/materials\/semdiff\/. Semantic diff project. http:\/\/www.se-rwth.de\/materials\/semdiff\/."},{"key":"e_1_3_2_1_29_1","unstructured":"SMV model checker. http:\/\/www.cs.cmu.edu\/~modelcheck\/smv.html. SMV model checker. http:\/\/www.cs.cmu.edu\/~modelcheck\/smv.html."},{"key":"e_1_3_2_1_30_1","unstructured":"F. Somenzi. CUDD: CU Decision Diagram package. http:\/\/vlsi.colorado.edu\/~fabio\/CUDD\/ 1998. F. Somenzi. CUDD: CU Decision Diagram package. http:\/\/vlsi.colorado.edu\/~fabio\/CUDD\/ 1998."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2004.46"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-007-0007-3"}],"event":{"name":"ESEC\/FSE'11: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Szeged Hungary","acronym":"ESEC\/FSE'11"},"container-title":["Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2025113.2025140","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T21:14:16Z","timestamp":1672953256000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2025113.2025140"}},"subtitle":["semantic differencing for activity diagrams"],"short-title":[],"issued":{"date-parts":[[2011,9,9]]},"references-count":31,"alternative-id":["10.1145\/2025113.2025140","10.1145\/2025113"],"URL":"https:\/\/doi.org\/10.1145\/2025113.2025140","relation":{},"subject":[],"published":{"date-parts":[[2011,9,9]]},"assertion":[{"value":"2011-09-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}