{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,5]],"date-time":"2024-07-05T16:38:20Z","timestamp":1720197500822},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2010,4,20]],"date-time":"2010-04-20T00:00:00Z","timestamp":1271721600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1007\/s10009-010-0150-1","type":"journal-article","created":{"date-parts":[[2010,4,19]],"date-time":"2010-04-19T20:13:47Z","timestamp":1271708027000},"page":"273-285","source":"Crossref","is-referenced-by-count":16,"title":["Evaluation of Kermeta for solving graph-based problems"],"prefix":"10.1007","volume":"12","author":[{"given":"Naouel","family":"Moha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sagar","family":"Sen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cyril","family":"Faucher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Barais","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marc","family":"J\u00e9z\u00e9quel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,4,20]]},"reference":[{"key":"150_CR1","doi-asserted-by":"crossref","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: a challenging model transformation. In: MoDELS, pp. 436\u2013450 (2007)","DOI":"10.1007\/978-3-540-75209-7_30"},{"key":"150_CR2","unstructured":"Bierman, E., Ermel, C.: Antworld simulation case study modeled by emf transformation. In: Proceedings of the 4th International Workshop on Graph-Based Tools (GraBaTs 2008), September (2008)"},{"key":"150_CR3","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1016\/S1571-0661(04)80066-5","volume":"20","author":"K.B. Bruce","year":"1999","unstructured":"Bruce K.B., Vanderwaart J.: Semantics-driven language design: statically type-safe virtual types in object-oriented languages. Electr. Notes Theoret. Comput. Sci. 20, 50\u201375 (1999)","journal-title":"Electr. Notes Theoret. Comput. Sci."},{"key":"150_CR4","unstructured":"Buchwald, S., Kroll, M.: A GrGen.net solution of the AntWorld case for the GraBaTs 2008 contest. In: GraBaTs (2008)"},{"key":"150_CR5","doi-asserted-by":"crossref","unstructured":"Curtis, C., Leavens, G.T., Chambers, C., Millstein, T.D.: MultiJava: modular open classes and symmetric multiple dispatch for java. In: Proceedings of the 15th International Conference on Object- Oriented Programming, Systems, Languages, and Applications (OOPSLA), pp. 130\u2013145 (2000)","DOI":"10.1145\/354222.353181"},{"key":"150_CR6","unstructured":"Fowler, M.: Refactoring\u2014Improving the Design of Existing Code, 1st edn. Addison-Wesley, Reading (1999)"},{"key":"150_CR7","unstructured":"Fujaba. University of paderborn. http:\/\/wwwcs.uni-paderborn.de\/cs\/fujaba\/"},{"key":"150_CR8","unstructured":"Hoffman, B., P\u00e9rez, J., Mens, T.: A case study for program refactoring. In: GraBaTs, (September 2008)"},{"key":"150_CR9","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, London (2006)"},{"issue":"1\u20132","key":"150_CR10","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F. Jouault","year":"2008","unstructured":"Jouault F., Allilaire F., B\u00e9zivin J., Kurtev I.: ATL: A model transformation tool. Sci. Comput. Program. 72(1\u20132), 31\u201339 (2008)","journal-title":"Sci. Comput. Program."},{"key":"150_CR11","unstructured":"Kermeta. http:\/\/www.kermeta.org\/"},{"key":"150_CR12","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Proceedings of the 11th European Conference on Object- Oriented Programming (ECOOP), vol. 1241, pp. 220\u2013242. Springer, Berlin (1997)","DOI":"10.1007\/BFb0053381"},{"key":"150_CR13","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.: The epsilon transformation language. In: Proceedings of the 1st International Conference on Theory and Practice of Model Transformations (ICMT 2008), vol. 5063, pp. 46\u201360. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-69927-9_4"},{"key":"150_CR14","doi-asserted-by":"crossref","unstructured":"Mahajan, Y.S., Malik, S., Fu, Z.: Zchaff2004: An efficient SAT solver. In: Lecture Notes in Computer Science SAT 2004 Special vol. 3542, pp. 360\u2013375. Springer, Berlin (2004)","DOI":"10.1007\/11527695_27"},{"key":"150_CR15","doi-asserted-by":"crossref","unstructured":"Mens, T., Taentzer, G., Runge, O.: Analysing refactoring dependencies using graph transformation. Software and Systems Modeling (SoSyM), pp. 269\u2013285 (2007)","DOI":"10.1007\/s10270-006-0044-6"},{"issue":"2","key":"150_CR16","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1109\/TSE.2004.1265817","volume":"30","author":"T. Mens","year":"2004","unstructured":"Mens T., Tourw\u00e9 T.: A survey of software refactoring. IEEE Trans. Softw. Eng. 30(2), 126\u2013139 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"150_CR17","unstructured":"Meszaros, T., Madari, I., Mezei, G.: AntWorld, VMTS. In: GraBaTs (2008)"},{"key":"150_CR18","unstructured":"Muliawan, O., Du Bois, B., Janssens, D.: Refactoring using JDT2MDR. In: GraBaTs (2008)"},{"key":"150_CR19","doi-asserted-by":"crossref","unstructured":"Muller, P.-A., Fleurey, F., J\u00e9z\u00e9quel, J.-M.: Weaving executability into object-oriented meta-languages. In: MODELS\/UML, vol. 3713, pp. 264\u2013278, Montego Bay. Springer, Jamaica (2005)","DOI":"10.1007\/11557432_19"},{"key":"150_CR20","unstructured":"Niklas, E., Niklas, S.: MiniSat a SAT solver with conflict-clause minimization. In: SAT (2005)"},{"key":"150_CR21","unstructured":"OMG. MOF 2.0 Core Specification. Technical Report formal\/06-01-01, OMG, April 2006. OMG Available Specification"},{"key":"150_CR22","unstructured":"OMG. The Object Constraint Language Specification 2.0, OMG Document: ad\/03-01-07, (2007)"},{"key":"150_CR23","unstructured":"OMG. MOF 2.0 Query\/View\/Transformation Specification. Specification Version 1.0, Object Management Group, (April 2008)"},{"key":"150_CR24","doi-asserted-by":"crossref","unstructured":"Sen, S., Baudry, B., Mottu, J.-M.: On combining mullti-formalism knowledge to select test models for model transformaion testing. In: IEEE International Conference on Software Testing, Lillehammer, Norway (2008)","DOI":"10.1109\/ICST.2008.62"},{"key":"150_CR25","unstructured":"Sen, S., Baudry, B., Vangheluwe, H.: Domain-specific model editors with model completion. In: Proceedings of MPM Workshop associated to MoDELS\u201907, Nashville, TN, USA (2007)"},{"issue":"4","key":"150_CR26","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/s10270-006-0036-6","volume":"6","author":"J. Steel","year":"2007","unstructured":"Steel J., J\u00e9z\u00e9quel J.-M.: On model typing. J. Softw. Syst. Model. (SoSyM) 6(4), 401\u2013414 (2007)","journal-title":"J. Softw. Syst. Model. (SoSyM)"},{"key":"150_CR27","unstructured":"The Attributed Graph Grammar (AGG) System. http:\/\/user.cs.tu-berlin.de\/~gragra\/agg\/"},{"key":"150_CR28","doi-asserted-by":"crossref","unstructured":"Tombelle, C., Vanwormhoudt, G.: Dynamic and generic manipulation of models: from introspection to scripting. In: MoDELS, vol. 4199, pp. 395\u2013409 (2006)","DOI":"10.1007\/11880240_28"},{"key":"150_CR29","unstructured":"Viatra2. Department of measurement and information systems budapest university of technology and economics. http:\/\/www.eclipse.org\/gmt\/VIATRA2\/"},{"key":"150_CR30","unstructured":"Visual Modeling and Transformation System (VMTS). http:\/\/vmts.aut.bme.hu\/"},{"key":"150_CR31","unstructured":"Weinell, E.: Using PROGRES for graph-based program refactoring. In: GraBaTs (2008)"},{"key":"150_CR32","unstructured":"Z\u00fcndorf, A.: AntWorld. In: GraBaTs (2008)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-010-0150-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-010-0150-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-010-0150-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T21:12:32Z","timestamp":1685567552000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-010-0150-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,20]]},"references-count":32,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2010,7]]}},"alternative-id":["150"],"URL":"https:\/\/doi.org\/10.1007\/s10009-010-0150-1","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,4,20]]}}}