{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T17:07:48Z","timestamp":1776013668740,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540878742","type":"print"},{"value":"9783540878759","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87875-9_49","type":"book-chapter","created":{"date-parts":[[2008,9,22]],"date-time":"2008-09-22T01:46:10Z","timestamp":1222047970000},"page":"705-720","source":"Crossref","is-referenced-by-count":13,"title":["Semantically Configurable Code Generation"],"prefix":"10.1007","author":[{"given":"Adam","family":"Prout","sequence":"first","affiliation":[]},{"given":"Joanne M.","family":"Atlee","sequence":"additional","affiliation":[]},{"given":"Nancy A.","family":"Day","sequence":"additional","affiliation":[]},{"given":"Pourya","family":"Shaker","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"49_CR1","unstructured":"ApeSoft. Smartstate v4.1.0 (2008), http:\/\/www.smartstatestudio.com"},{"key":"49_CR2","first-page":"315","volume-title":"Proc. ACM Sym. on Prin. Prog. Lang. (POPL 1985)","author":"A.W. Appel","year":"1985","unstructured":"Appel, A.W.: Semantics-directed code generation. In: Proc. ACM Sym. on Prin. Prog. Lang (POPL 1985), pp. 315\u2013324. ACM Press, New York (1985)"},{"issue":"4","key":"49_CR3","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1145\/136586.136587","volume":"1","author":"D. Batory","year":"1992","unstructured":"Batory, D., O\u2019Malley, S.: The design and implementation of hierarchical software systems with reusable components. ACM Trans. Soft. Eng. Meth.\u00a01(4), 355\u2013398 (1992)","journal-title":"ACM Trans. Soft. Eng. Meth."},{"key":"49_CR4","volume-title":"Program Generators with XML and Java","author":"C. Cleaveland","year":"2001","unstructured":"Cleaveland, C.: Program Generators with XML and Java. Prentice-Hall, Englewood Cliffs (2001)"},{"key":"49_CR5","volume-title":"Generative programming: methods, tools, and applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.W.: Generative programming: methods, tools, and applications. ACM Press\/Addison-Wesley Publishing Co., New York (2000)"},{"issue":"4","key":"49_CR6","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"Harel, D., et al.: STATEMATE: A working environment for the development of complex reactive systems. IEEE Trans. on Soft. Eng.\u00a016(4), 403\u2013414 (1990)","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"49_CR7","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1145\/1071021.1071029","volume-title":"Proc. Intl. Work. on Soft. and Perf. (WOSP 2005)","author":"A. D\u2019Ambrogio","year":"2005","unstructured":"D\u2019Ambrogio, A.: A model transformation framework for the automated building of performance models from uml models. In: Proc. Intl. Work. on Soft. and Perf (WOSP 2005), pp. 75\u201386. ACM Press, New York (2005)"},{"issue":"2","key":"49_CR8","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/PL00003929","volume":"12","author":"S. Diehl","year":"2000","unstructured":"Diehl, S.: Natural semantics-directed generation of compilers and abstract machines. Form. Asps. of Comp.\u00a012(2), 71\u201399 (2000)","journal-title":"Form. Asps. of Comp."},{"key":"49_CR9","doi-asserted-by":"crossref","unstructured":"G.S.S., et al.: Clearwater: extensible, flexible, modular code generation. In: Proc. IEEE\/ACM Intl. Conf. on Aut. Soft. Eng(ASE 2005), pp. 144\u2013153. ACM Press, New York (2005)","DOI":"10.1145\/1101908.1101931"},{"key":"49_CR10","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1145\/225014.225034","volume-title":"Proc. Intl. Conf. on Soft. Eng. (ICSE 1995)","author":"J. Floch","year":"1995","unstructured":"Floch, J.: Supporting evolution and maintenance by using a flexible automatic code generator. In: Proc. Intl. Conf. on Soft. Eng (ICSE 1995), pp. 211\u2013219. ACM Press, New York (1995)"},{"key":"49_CR11","doi-asserted-by":"crossref","unstructured":"Grundy, J., et al.: Generating Domain-Specific Visual Language Editors from High-level Tool Specifications. In: Auto. Soft. Eng. (ASE), pp. 25\u201336 (2006)","DOI":"10.1109\/ASE.2006.39"},{"issue":"4","key":"49_CR12","doi-asserted-by":"publisher","first-page":"1215","DOI":"10.1145\/183432.183458","volume":"16","author":"J. Hannan","year":"1994","unstructured":"Hannan, J.: Operational semantics-directed compilers and machine architectures. ACM Trans. Prog. Lang. Sys.\u00a016(4), 1215\u20131247 (1994)","journal-title":"ACM Trans. Prog.. Lang. Sys."},{"issue":"4","key":"49_CR13","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1017\/S0960129500001559","volume":"2","author":"J. Hannan","year":"1992","unstructured":"Hannan, J., Miller, D.: From operational semantics to abstract machines. Math. Struct. Comp. Sci.\u00a02(4), 415\u2013459 (1992)","journal-title":"Math. Struct. Comp. Sci."},{"key":"49_CR14","unstructured":"Harel, D.: On the formal semantics of statecharts. Symp. on Logic in Comp. Sci., 54\u201364 (1987)"},{"key":"49_CR15","unstructured":"IBM Rational. Rational Rose RealTime v7.0.0 (2005), http:\/\/www.ibm.com\/rational"},{"key":"49_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10250-7","volume-title":"Semantics-Directed Compiler Generation","author":"N. Jones","year":"1980","unstructured":"Jones, N.: Semantics-Directed Compiler Generation. LNCS, vol.\u00a094. Springer, Heidelberg (1980)"},{"key":"49_CR17","unstructured":"Knaack, J.L.: An algebraic approach to language translation. PhD thesis, University of Iowa (1995)"},{"issue":"1","key":"49_CR18","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/j.entcs.2005.12.015","volume":"148","author":"A. K\u00f6nigs","year":"2006","unstructured":"K\u00f6nigs, A., Sch\u00fcrr, A.: Tool integration with triple graph grammars \u2013 a survey. Elect. Notes in Theor. Comp. Sci.\u00a0148(1), 113\u2013150 (2006)","journal-title":"Elect. Notes in Theor. Comp. Sci."},{"key":"49_CR19","unstructured":"Lu, Y., Atlee, J.M., Day, N.A., Niu, J.: Mapping template semantics to SMV. In: Proc. of Auto. Soft. Eng. (ASE 2004), pp. 320\u2013325 (2004)"},{"key":"49_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking: An Approach to the State Explosion Problem","author":"K. McMillan","year":"1993","unstructured":"McMillan, K.: Symbolic Model Checking: An Approach to the State Explosion Problem. Kluwer Academic Publishers, Dordrecht (1993)"},{"issue":"10","key":"49_CR21","doi-asserted-by":"publisher","first-page":"866","DOI":"10.1109\/TSE.2003.1237169","volume":"29","author":"J. Niu","year":"2003","unstructured":"Niu, J., Atlee, J.M., Day, N.A.: Template Semantics for Model-Based Notations. IEEE Trans. on Soft. Eng.\u00a029(10), 866\u2013882 (2003)","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"49_CR22","unstructured":"Object Management Group. Revised submission for MOF 2.0 Query\/View\/Transformation RFP, http:\/\/www.omg.org\/docs\/ad\/05-03-02.pdf"},{"key":"49_CR23","unstructured":"Object Management Group. Meta Object Facility Core Specification, Formal\/06-01-01 (2006)"},{"key":"49_CR24","first-page":"224","volume-title":"Proc. ACM Sym. on Prin. of Prog. Lang. (POPL 1982)","author":"L. Paulson","year":"1982","unstructured":"Paulson, L.: A semantics-directed compiler generator. In: Proc. ACM Sym. on Prin. of Prog. Lang (POPL 1982), pp. 224\u2013233. ACM Press, New York (1982)"},{"key":"49_CR25","unstructured":"Prout, A.: Parameterized Code Generation From Template Semantics. Master\u2019s thesis, School of Computer Science, University of Waterloo (2005)"},{"key":"49_CR26","doi-asserted-by":"crossref","unstructured":"Taleghani, A., Atlee, J.M.: Semantic variations among UML statemachines. In: ACM\/IEEE Int. Conf. on Mod. Driven Eng. Lang. and Sys., pp. 245\u2013259 (2006)","DOI":"10.1007\/11880240_18"},{"key":"49_CR27","unstructured":"Telelogic. Telelogic TAU SDL Suite, http:\/\/www.telelogic.com\/corp\/products\/tau\/sdl\/index.cfm"},{"key":"49_CR28","unstructured":"Telelogic. Rhapsody in J v7.1.1.0 (2007), http:\/\/modeling.telelogic.com\/products\/rhapsody\/index.cfm"},{"key":"49_CR29","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1145\/566172.566199","volume-title":"Proc. Intl. Symp. on Soft. Test. and Anal. (ISSTA 2002)","author":"T. Yavuz-Kahveci","year":"2002","unstructured":"Yavuz-Kahveci, T., Bultan, T.: Specification, verification, and synthesis of concurrency control components. In: Proc. Intl. Symp. on Soft. Test. and Anal (ISSTA 2002), pp. 169\u2013179. ACM Press, New York (2002)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87875-9_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T01:19:33Z","timestamp":1738372773000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87875-9_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878742","9783540878759"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87875-9_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}