{"_id":"mX56vderRpn2wdJAZ","bibbaseid":"arcelli-cortellessa-pompeo-ametamodelforthespecificationandverificationofmodelrefactoringactions-2018","authorIDs":["3JAbSsSJB6KvoCFoP","4RDf7wnw9XnNb4maR","5d63a3693eb5e7da01000023","5de94205b8c3f8de01000132","5deb08f1a31587de010000c1","5e10ea7545c12cde01000097","AcABrQCPciZq9Gfpm","JrkraxXyo6ZZqtcAt","NWd8rGJgoXPTPyMYN","SrJhgN8fTMssWe2Nn","Su3X4QcGWScNjwBZD","avyx4vWB8xiLx2guT","f85ayLMQd5ztNQRho","gHZu5AWKTeR7u3xE4","gKCRchbAvLPvZcCRC","hXaowqdJNpXKyP3um","kwCiFgtjW5GsWgPQY","wY7v9HmRryvP6qeMn"],"author_short":["Arcelli, D.","Cortellessa, V.","Pompeo, D. D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Davide"],"propositions":[],"lastnames":["Arcelli"],"suffixes":[]},{"firstnames":["Vittorio"],"propositions":[],"lastnames":["Cortellessa"],"suffixes":[]},{"firstnames":["Daniele","Di"],"propositions":[],"lastnames":["Pompeo"],"suffixes":[]}],"editor":[{"firstnames":["Ali"],"propositions":[],"lastnames":["Ouni"],"suffixes":[]},{"firstnames":["Marouane"],"propositions":[],"lastnames":["Kessentini"],"suffixes":[]},{"firstnames":["Mel","Ó"],"propositions":[],"lastnames":["Cinnéide"],"suffixes":[]}],"title":"A metamodel for the specification and verification of model refactoring actions","booktitle":"Proceedings of the 2nd International Workshop on Refactoring, IWoR@ASE 2018, Montpellier, France, September 4, 2018","pages":"14–21","publisher":"IWoR@ACM","year":"2018","url":"https://doi.org/10.1145/3242163.3242167","doi":"10.1145/3242163.3242167","timestamp":"Wed, 21 Nov 2018 12:44:20 +0100","biburl":"https://dblp.org/rec/conf/kbse/ArcelliCP18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/kbse/ArcelliCP18,\n author = {Davide Arcelli and\n Vittorio Cortellessa and\n Daniele Di Pompeo},\n editor = {Ali Ouni and\n Marouane Kessentini and\n Mel {\\'{O}} Cinn{\\'{e}}ide},\n title = {A metamodel for the specification and verification of model refactoring\n actions},\n booktitle = {Proceedings of the 2nd International Workshop on Refactoring, IWoR@ASE\n 2018, Montpellier, France, September 4, 2018},\n pages = {14--21},\n publisher = {IWoR@ACM},\n year = {2018},\n url = {https://doi.org/10.1145/3242163.3242167},\n doi = {10.1145/3242163.3242167},\n timestamp = {Wed, 21 Nov 2018 12:44:20 +0100},\n biburl = {https://dblp.org/rec/conf/kbse/ArcelliCP18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Arcelli, D.","Cortellessa, V.","Pompeo, D. D."],"editor_short":["Ouni, A.","Kessentini, M.","Cinnéide, M. Ó"],"key":"DBLP:conf/kbse/ArcelliCP18","id":"DBLP:conf/kbse/ArcelliCP18","bibbaseid":"arcelli-cortellessa-pompeo-ametamodelforthespecificationandverificationofmodelrefactoringactions-2018","role":"author","urls":{"Paper":"https://doi.org/10.1145/3242163.3242167"},"metadata":{"authorlinks":{"pompeo, d":"http://danieledipompeo.com/"}}},"bibtype":"inproceedings","biburl":"https://dblp.uni-trier.de/pers/tb1/p/Pompeo:Daniele_Di.bib.bib","creationDate":"2019-08-26T09:15:11.103Z","downloads":0,"keywords":[],"search_terms":["metamodel","specification","verification","model","refactoring","actions","arcelli","cortellessa","pompeo"],"title":"A metamodel for the specification and verification of model refactoring actions","year":2018,"dataSources":["jJim5cNc3uFcCqMq7"]}