{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:05:59Z","timestamp":1742979959431,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319211503"},{"type":"electronic","value":"9783319211510"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21151-0_6","type":"book-chapter","created":{"date-parts":[[2015,7,16]],"date-time":"2015-07-16T03:07:07Z","timestamp":1437016027000},"page":"75-91","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Type Inference in Flexible Model-Driven Engineering"],"prefix":"10.1007","author":[{"given":"Athanasios","family":"Zolotas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicholas","family":"Matragkas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sam","family":"Devlin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimitrios S.","family":"Kolovos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard F.","family":"Paige","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,17]]},"reference":[{"key":"6_CR1","unstructured":"Kolovos, D.S., Matragkas, N., Rodr\u00edguez, H.H., Paige, R.F.: Programmatic muddle management. In: XM 2013-Extreme Modeling Workshop, p. 2 (2013)"},{"key":"6_CR2","unstructured":"Gabrysiak, G., Giese, H., L\u00fcders, A., Seibel, A.: How can metamodels be used flexibly. In: Proceedings of ICSE 2011 Workshop on Flexible Modeling Tools, Waikiki\/Honolulu, vol. 22. (2011)"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Paige, R.F., Kolovos, D.S., Rose, L.M., Drivalos, N., Polack, F.A.: The design of a conceptual framework and technical infrastructure for model management language engineering. In: 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, pp. 162\u2013171. IEEE (2009)","DOI":"10.1109\/ICECCS.2009.14"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Mitchell, J.C.: Concepts in programming languages. Cambridge University Press (2003)","DOI":"10.1017\/CBO9780511804175"},{"key":"6_CR5","unstructured":"Breiman, L., Friedman, J., Stone, C.J., Olshen, R.A.: Classification and regression trees. CRC Press (1984)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Hindley, R.: The principal type-scheme of an object in combinatory logic. Transactions of the american mathematical society, 29\u201360 (1969)","DOI":"10.2307\/1995158"},{"issue":"3","key":"6_CR7","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R Milner","year":"1978","unstructured":"Milner, R.: A theory of type polymorphism in programming. Journal of computer and system sciences 17(3), 348\u2013375 (1978)","journal-title":"Journal of computer and system sciences"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Damas, L., Milner, R.: Principal type-schemes for functional programs. In: Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 207\u2013212. ACM (1982)","DOI":"10.1145\/582153.582176"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Di Ruscio, D., Pierantonio, A., Paige, R.F.: Different models for model matching: an analysis of approaches to support model differencing. In: Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models, CVSM 2009, pp. 1\u20136. IEEE Computer Society, Washington, DC (2009)","DOI":"10.1109\/CVSM.2009.5071714"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1007\/978-3-642-33666-9_39","volume-title":"Model Driven Engineering Languages and Systems","author":"B Grammel","year":"2012","unstructured":"Grammel, B., Kastenholz, S., Voigt, K.: Model matching for trace link generation in model-driven software development. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 609\u2013625. Springer, Heidelberg (2012)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-45221-8_2","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"M Alanen","year":"2003","unstructured":"Alanen, M., Porres, I.: Difference and union of models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 2\u201317. Springer, Heidelberg (2003)"},{"key":"6_CR12","unstructured":"Reddy, R., France, R., Ghosh, S., Fleurey, F., Baudry, B.: Model composition-a signature-based approach. In: Aspect Oriented Modeling (AOM) Workshop (2005)"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Cho, H., Gray, J., Syriani, E.: Creating visual domain-specific modeling languages from end-user demonstration. In: 2012 ICSE Workshop on Modeling in Software Engineering (MISE), pp. 22\u201328. IEEE (2012)","DOI":"10.1109\/MISE.2012.6226010"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-33666-9_2","volume-title":"Model Driven Engineering Languages and Systems","author":"J S\u00e1nchez-Cuadrado","year":"2012","unstructured":"S\u00e1nchez-Cuadrado, J., de Lara, J., Guerra, E.: Bottom-up meta-modelling: an interactive approach. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 3\u201319. Springer, Heidelberg (2012)"},{"issue":"9","key":"6_CR15","doi-asserted-by":"publisher","first-page":"948","DOI":"10.1016\/j.infsof.2007.08.003","volume":"50","author":"F Javed","year":"2008","unstructured":"Javed, F., Mernik, M., Gray, J., Bryant, B.R.: Mars: A metamodel recovery system using grammar inference. Information and Software Technology 50(9), 948\u2013968 (2008)","journal-title":"Information and Software Technology"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11787044_11","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"DS Kolovos","year":"2006","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The epsilon object language (EOL). In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 128\u2013142. Springer, Heidelberg (2006)"},{"key":"6_CR17","volume-title":"Data mining: concepts and techniques","author":"H Jiawei","year":"2001","unstructured":"Jiawei, H., Kamber, M.: Data mining: concepts and techniques. Morgan Kaufmann, San Francisco (2001)"},{"key":"6_CR18","volume-title":"Machine learning","author":"TM Mitchell","year":"1997","unstructured":"Mitchell, T.M.: Machine learning, vol. 45. McGraw Hill, Burr Ridge (1997)"},{"key":"6_CR19","first-page":"55","volume":"1078","author":"JR Williams","year":"2013","unstructured":"Williams, J.R., Zolotas, A., Matragkas, N.D., Rose, L.M., Kolovos, D.S., Paige, R.F., Polack, F.A.: What do metamodels really look like? Eessmod@ Models 1078, 55\u201360 (2013)","journal-title":"Eessmod@ Models"},{"key":"6_CR20","unstructured":"Williams, J.R., Paige, R.F., Kolovos, D.S., Polack, F.A.: Search-based model driven engineering. Technical report, Technical Report YCS-2012-475, Department of Computer Science, University of York (2012)"},{"key":"6_CR21","unstructured":"Powers, D.: Evaluation: From precision, recall and f-factor to roc, informedness, markedness & correlation (tech. rep.). Adelaide, Australia (2007)"},{"key":"6_CR22","volume-title":"Object-oriented software construction","author":"B Meyer","year":"1988","unstructured":"Meyer, B.: Object-oriented software construction, vol. 2. Prentice hall, New York (1988)"},{"key":"6_CR23","unstructured":"Zolotas, A., Kolovos, D.S., Matragkas, N., Paige, R.F.: Assigning semantics to graphical concrete syntaxes. In: XM 2014-Extreme Modeling Workshop, p. 12"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21151-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T17:29:20Z","timestamp":1675272560000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21151-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319211503","9783319211510"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21151-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"17 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}