{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T18:55:27Z","timestamp":1773773727516,"version":"3.50.1"},"reference-count":78,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,1,31]],"date-time":"2013-01-31T00:00:00Z","timestamp":1359590400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1007\/s10515-013-0120-4","type":"journal-article","created":{"date-parts":[[2013,1,30]],"date-time":"2013-01-30T18:18:36Z","timestamp":1359569916000},"page":"339-390","source":"Crossref","is-referenced-by-count":50,"title":["mbeddr: instantiating a language workbench in the embedded software domain"],"prefix":"10.1007","volume":"20","author":[{"given":"Markus","family":"Voelter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Ratiu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Kolb","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Schaetz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,1,31]]},"reference":[{"key":"120_CR1","volume-title":"Proceedings of the Workshop on Reconciling Performance with Predictability (RePP), Embedded Systems Week","author":"S. Andalam","year":"2009","unstructured":"Andalam, S., Roop, P., Girault, A., Traulsen, C.: PRET-C: a new language for programming precision timed architectures. In: Proceedings of the Workshop on Reconciling Performance with Predictability (RePP), Embedded Systems Week (2009)"},{"key":"120_CR2","volume-title":"Proc. of ACM-IEEE Int. Conference on Formal Methods and Models for Codesign (MEMOCODE)","author":"S. Andalam","year":"2010","unstructured":"Andalam, S., Roop, P., Girault, A.: Predictable multithreading of embedded applications using PRET-C. In: Proc. of ACM-IEEE Int. Conference on Formal Methods and Models for Codesign (MEMOCODE) (2010)"},{"key":"120_CR3","volume-title":"Proc. of the 6th ACM Int. Conference on Generative Programming and Component Engineering (GPCE 2007)","author":"J. Arnoldus","year":"2007","unstructured":"Arnoldus, J., Bijpost, J., van den Brand, M.: Repleo: a syntax-safe template engine. In: Proc. of the 6th ACM Int. Conference on Generative Programming and Component Engineering (GPCE 2007) (2007)"},{"key":"120_CR4","volume-title":"MEMOCODE 2010","author":"E. Axelsson","year":"2010","unstructured":"Axelsson, E., Claessen, K., Devai, G., Horvath, Z., Keijzer, K., Lyckegard, B., Persson, A., Sheeran, M., Svenningsson, J., Vajda, A.: Feldspar: a domain specific language for digital signal processing algorithms. In: MEMOCODE 2010 (2010)"},{"key":"120_CR5","volume-title":"Proceedings 16th Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA\u201901","author":"J. Bachrach","year":"2001","unstructured":"Bachrach, J., Playford, K.: The Java syntactic extender. In: Proceedings 16th Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA\u201901 (2001)"},{"key":"120_CR6","doi-asserted-by":"crossref","unstructured":"Ben-Asher, Y., Feitelson, D.G., Rudolph, L.: ParC\u2014an extension of C for shared memory parallel processing. Softw. Pract. Exp. 26(5) (1996)","DOI":"10.1002\/(SICI)1097-024X(199605)26:5<581::AID-SPE53>3.0.CO;2-P"},{"key":"120_CR7","doi-asserted-by":"crossref","unstructured":"Beuche, D., Papajewski, H., Schroeder-Preikschat, W.: Variability management with feature models. Sci. Comput. Program. 53(3) (2004)","DOI":"10.1016\/j.scico.2003.04.005"},{"key":"120_CR8","doi-asserted-by":"crossref","unstructured":"Birk, A., Heller, G., John, I., Schmid, K., von der Massen, T., Mueller, K.: Product line engineering: the state of the practice. IEEE Softw. 20(6) (2003)","DOI":"10.1109\/MS.2003.1241367"},{"key":"120_CR9","doi-asserted-by":"crossref","unstructured":"Boussinot, F.: Reactive C: an extension of C to program reactive systems. Softw. Pract. Exp. 21(4) (1991)","DOI":"10.1002\/spe.4380210406"},{"key":"120_CR10","volume-title":"Proc. of the 19th Conference on Object-Oriented Programming, Systems, Languages, and Applications","author":"M. Bravenboer","year":"2004","unstructured":"Bravenboer, M., Visser, E.: Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions. In: Proc. of the 19th Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004 (2004)"},{"key":"120_CR11","series-title":"LNCS","volume-title":"MoDELS 2007","author":"M. Bravenboer","year":"2007","unstructured":"Bravenboer, M., Visser, E.: Designing syntax embeddings and assimilations for language libraries. In: MoDELS 2007. LNCS, vol. 5002. Springer, Berlin (2007)"},{"key":"120_CR12","volume-title":"Generative Programming and Component Engineering, 6th International Conference","author":"M. Bravenboer","year":"2007","unstructured":"Bravenboer, M., Dolstra, E., Visser, E.: Preventing injection attacks with syntax embeddings. In: Generative Programming and Component Engineering, 6th International Conference, GPCE 2007. ACM, New York (2007)"},{"key":"120_CR13","doi-asserted-by":"crossref","unstructured":"Bravenboer, M., Kalleberg, K.T., Vermaas, R., Visser, E.: Stratego\/XT 0.17. A\u00a0language and toolset for program transformation (2008)","DOI":"10.1016\/j.scico.2007.11.003"},{"key":"120_CR14","doi-asserted-by":"crossref","unstructured":"Broy, M., Feilkas, M., Herrmannsdoerfer, M., Merenda, S., Ratiu, D.: Seamless model-based development: from isolated tools to integrated model engineering environments. Proc. IEEE 98(4) (2010)","DOI":"10.1109\/JPROC.2009.2037771"},{"key":"120_CR15","volume-title":"Emerging Technologies for the Evolution and Maintenance of Software Models","author":"M. Broy","year":"2011","unstructured":"Broy, M., Kirstan, S., Krcmar, H., Sch\u00e4tz, B.: What is the benefit of a model-based design of embedded software systems in the car industry? In: Emerging Technologies for the Evolution and Maintenance of Software Models. IGI Global, Hersley (2011)"},{"key":"120_CR16","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/BFb0058022","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"E. Clarke","year":"1997","unstructured":"Clarke, E.: Model checking. In: Foundations of Software Technology and Theoretical Computer Science. LNCS, vol. 1346, pp. 54\u201356 (1997)"},{"key":"120_CR17","unstructured":"Clarke, E.M., Heinle, W.: Modular translation of statecharts to SMV. Tech. rep., Carnegie Mellon University (2000)"},{"key":"120_CR18","volume-title":"Proc. of the Int. Conference of Software Engineering (ICSE)","author":"J.C. Corbett","year":"2000","unstructured":"Corbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., P\u0103s\u0103reanu, C.S., Robby, Zheng, H.: Bandera: extracting finite-state models from Java source code. In: Proc. of the Int. Conference of Software Engineering (ICSE) (2000)"},{"key":"120_CR19","volume-title":"Nationale Roadmap Embedded Systems","author":"W. Damm","year":"2010","unstructured":"Damm, W., Achatz, R., Beetz, K., Broy, M., D\u00e4mbkes, H., Grimm, K., Liggesmeyer, P.: Nationale Roadmap Embedded Systems. Springer, Berlin (2010)"},{"key":"120_CR20","volume-title":"Proc. of the 4th Int. Conference on Embedded Networked Sensor Systems","author":"A. Dunkels","year":"2006","unstructured":"Dunkels, A., Schmidt, O., Voigt, T., Ali, M.: Protothreads: simplifying event-driven programming of memory-constrained embedded systems. In: Proc. of the 4th Int. Conference on Embedded Networked Sensor Systems, SenSys, 2006. ACM, New York (2006)"},{"key":"120_CR21","doi-asserted-by":"crossref","unstructured":"Ebert, C., Jones, C.: Embedded software: facts, figures, and future. Computer 42(4) (2009)","DOI":"10.1109\/MC.2009.118"},{"key":"120_CR22","volume-title":"Proc. of the 11th Conference on Generative Programming and Component Engineering (GPCE 2012)","author":"S. Efftinge","year":"2012","unstructured":"Efftinge, S., Eysholdt, M., K\u00f6hnlein, J., Zarnekow, S., Hasselbring, W., von Massow, R., Hanus, M.: Xbase: implementing DSLs for Java. In: Proc. of the 11th Conference on Generative Programming and Component Engineering (GPCE 2012) (2012)"},{"key":"120_CR23","volume-title":"Proc. of the 10th ACM Int. Conference on Generative Programming and Component Engineering (GPCE 2011)","author":"S. Erdweg","year":"2011","unstructured":"Erdweg, S., Kats, L.C.L., Kastner, C., Ostermann, K., Visser, E.: Growing a language environment with editor libraries. In: Proc. of the 10th ACM Int. Conference on Generative Programming and Component Engineering (GPCE 2011). ACM, New York (2011a)"},{"key":"120_CR24","volume-title":"OOPSLA 2011","author":"S. Erdweg","year":"2011","unstructured":"Erdweg, S., Rendel, T., K\u00e4stner, C., Ostermann, K.: SugarJ: library-based syntactic language extensibility. In: OOPSLA 2011. ACM, New York (2011b)"},{"key":"120_CR25","doi-asserted-by":"crossref","unstructured":"Ernst, M.D., Badros, G.J., Notkin, D.: An empirical analysis of C preprocessor use. IEEE Trans. Softw. Eng. 28 (2002)","DOI":"10.1109\/TSE.2002.1158288"},{"key":"120_CR26","doi-asserted-by":"crossref","unstructured":"Ferguson, R., Parrington, N., Dunne, P., Hardy, C., Archibald, J., Thompson, J.: MetaMOOSE\u2014an object-oriented framework for the construction of CASE tools. Inf. Softw. Technol. 42(2) (2000)","DOI":"10.1016\/S0950-5849(99)00081-6"},{"key":"120_CR27","unstructured":"Fowler, M.: Language workbenches: the Killer-App for domain specific languages? (2005). http:\/\/martinfowler.com\/articles\/languageWorkbench.html"},{"key":"120_CR28","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"120_CR29","doi-asserted-by":"crossref","unstructured":"Gokhale, A.S., Balasubramanian, K., Krishna, A.S., Balasubramanian, J., Edwards, G., Deng, G., Turkay,\u00a0E., Parsons,\u00a0J., Schmidt, D.C.: Model driven middleware: a new paradigm for developing distributed real-time and embedded systems. Sci. Comput. Program. 73(1) (2008)","DOI":"10.1016\/j.scico.2008.05.005"},{"key":"120_CR30","doi-asserted-by":"crossref","unstructured":"Graaf, B., Lormans, M., Toetenel, H.: Embedded software engineering: the state of the practice. IEEE Softw. 20(6) (2003)","DOI":"10.1109\/MS.2003.1241368"},{"key":"120_CR31","volume-title":"Proc. of the 2009 Int. Conference on Automated Software Engineering","author":"P. Gr\u00fcnbacher","year":"2009","unstructured":"Gr\u00fcnbacher, P., Rabiser, R., Dhungana, D., Lehofer, M.: Model-based customization and deployment of eclipse-based tools: industrial experiences. In: Proc. of the 2009 Int. Conference on Automated Software Engineering. IEEE Comput. Soc., Los Alamitos (2009)"},{"key":"120_CR32","volume-title":"Proc. of the 29th Int. Conference on Software Engineering","author":"J. Grundy","year":"2007","unstructured":"Grundy, J., Hosking, J.: Supporting generic sketching-based input of diagrams in a domain-specific visual language meta-tool. In: Proc. of the 29th Int. Conference on Software Engineering, ICSE\u201907. IEEE Comput. Soc., Los Alamitos (2007)"},{"key":"120_CR33","volume-title":"Proc. of GPCE 2003","author":"K. Hammond","year":"2003","unstructured":"Hammond, K., Michaelson, G.: Hume: a domain-specific language for real-time embedded systems. In: Proc. of GPCE 2003 (2003)"},{"key":"120_CR34","doi-asserted-by":"crossref","unstructured":"Hedin, G., Magnusson, E.: JastAdd\u2013an aspect-oriented compiler construction system. Sci. Comput. Program. 47(1) (2003)","DOI":"10.1016\/S0167-6423(02)00109-0"},{"key":"120_CR35","doi-asserted-by":"crossref","unstructured":"Heering, J., Hendriks, P.R.H., Klint, P., Rekers, J.: The syntax definition formalism SDF\u2014reference manual. ACM SIGPLAN Not. 24(11) (1989)","DOI":"10.1145\/71605.71607"},{"key":"120_CR36","volume-title":"2nd Workshop on Aspect-Oriented Product Line Engineering (AOPLE\u201907)","author":"F. Heidenreich","year":"2007","unstructured":"Heidenreich, F., Wende, C.: Bridging the gap between features and models. In: 2nd Workshop on Aspect-Oriented Product Line Engineering (AOPLE\u201907) (2007)"},{"key":"120_CR37","volume-title":"Developing Safety-Critical Systems: The Role of Formal Methods and Tools","author":"C. Heitmeyer","year":"2006","unstructured":"Heitmeyer, C.: Developing Safety-Critical Systems: The Role of Formal Methods and Tools. Australian Comput. Soc., Darlinghurst (2006)"},{"key":"120_CR38","doi-asserted-by":"crossref","first-page":"695","DOI":"10.1145\/2048066.2048121","volume-title":"Proc. of the 2011 ACM Int. Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2011","author":"Z. Hemel","year":"2011","unstructured":"Hemel, Z., Visser, E.: Declaratively programming the mobile web with Mobl. In: Proc. of the 2011 ACM Int. Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2011, pp. 695\u2013712. ACM, New York (2011)"},{"key":"120_CR39","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-6510-2_12","volume-title":"Tabular Representations in Relational Documents","author":"R. Janicki","year":"1997","unstructured":"Janicki, R., Parnas, D.L., Zucker, J.: Tabular Representations in Relational Documents. Springer, New York (1997)"},{"key":"120_CR40","volume-title":"12th Asia-Pacific Software Engineering Conference (APSEC\u201905)","author":"W. Jirapanthong","year":"2005","unstructured":"Jirapanthong, W., Zisman, A.: Supporting product line development through traceability. In: 12th Asia-Pacific Software Engineering Conference (APSEC\u201905). IEEE Comput. Soc., Los Alamitos (2005)"},{"key":"120_CR41","series-title":"Workshops","volume-title":"Proceedings of 11th Int. Conference on Software Product Lines (SPLC 2007)","author":"C. K\u00e4stner","year":"2007","unstructured":"K\u00e4stner, C.: CIDE: decomposing legacy applications into features. In: Proceedings of 11th Int. Conference on Software Product Lines (SPLC 2007). Workshops, vol. 2 (2007)"},{"key":"120_CR42","volume-title":"Proc. of the 25th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications","author":"L.C.L. Kats","year":"2010","unstructured":"Kats, L.C.L., Visser, E.: The spoofax language workbench: rules for declarative specification of languages and IDEs. In: Proc. of the 25th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010 (2010)"},{"key":"120_CR43","volume-title":"Proc. of the 25th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications","author":"L.C.L. Kats","year":"2010","unstructured":"Kats, L.C.L., Visser, E., Wachsmuth, G.: Pure and declarative syntax definition: paradise lost and regained. In: Proc. of the 25th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010. ACM, New York (2010)"},{"key":"120_CR44","doi-asserted-by":"crossref","unstructured":"Klint, P.: A meta-environment for generating programming environments. ACM Trans. Softw. Eng. Methodol. 2(2) (1993)","DOI":"10.1145\/151257.151260"},{"key":"120_CR45","volume-title":"Ninth IEEE International Working Conference on Source Code Analysis and Manipulation","author":"P. Klint","year":"2009","unstructured":"Klint, P., van der Storm, T., Vinju, J.J.: RASCAL: a domain specific language for source code analysis and manipulation. In: Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2009. IEEE Comput. Soc., Los Alamitos (2009)"},{"issue":"5","key":"120_CR46","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/s10009-010-0142-1","volume":"12","author":"H. Krahn","year":"2010","unstructured":"Krahn, H., Rumpe, B., V\u00f6lkel, S.: MontiCore: a framework for compositional development of domain specific languages. Int. J. Softw. Tools Technol. Transf. 12(5), 353\u2013372 (2010)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"120_CR47","doi-asserted-by":"crossref","unstructured":"Liggesmeyer, P., Trapp, M.: Trends in embedded software engineering. IEEE Softw. 26 (2009)","DOI":"10.1109\/MS.2009.80"},{"key":"120_CR48","volume-title":"Proc. of the Int. Conference on Automatic Software Engineering (ASE)","author":"K. Loer","year":"2002","unstructured":"Loer, K., Harrison, M.: Towards usable and relevant model checking techniques for the analysis of dependable interactive systems. In: Proc. of the Int. Conference on Automatic Software Engineering (ASE) (2002)"},{"key":"120_CR49","volume-title":"Proc. of OOPSLA\/SPLASH 2011","author":"D.H. Lorenz","year":"2011","unstructured":"Lorenz, D.H., Rosenan, B.: Cedalion: a language for language oriented programming. In: Proc. of OOPSLA\/SPLASH 2011 (2011)"},{"key":"120_CR50","series-title":"LNCS","volume-title":"Model Checking Software\u201418th International SPIN Workshop, Proceedings","author":"Y. Mali","year":"2011","unstructured":"Mali, Y., Van Wyk, E.: Building extensible specifications and implementations of Promela with AbleP. In: Model Checking Software\u201418th International SPIN Workshop, Proceedings. LNCS, vol. 6823. Springer, Berlin (2011)"},{"key":"120_CR51","unstructured":"Marche, C., Moy, Y.: The Jessie plugin for deduction verification in Frama-C\u2014tutorial and reference manual\u2014version 2.30. Tech. rep., INRIA (2012)"},{"key":"120_CR52","doi-asserted-by":"crossref","unstructured":"Medina-Mora, R., Feiler, P.H.: An incremental programming environment. IEEE Trans. Softw. Eng. 7(5) (1981)","DOI":"10.1109\/TSE.1981.231109"},{"key":"120_CR53","doi-asserted-by":"crossref","unstructured":"Mernik, M., Zumer, V.: Incremental programming language development. Comput. Lang. Syst. Struct. 31(1) (2005)","DOI":"10.1016\/j.cl.2004.02.001"},{"key":"120_CR54","series-title":"LNCS","volume-title":"Compiler Construction, 11th Int. Conference, ETAPS\/CC 2002, Proceedings","author":"M. Mernik","year":"2002","unstructured":"Mernik, M., Lenic, M., Avdicausevic, E., Zumer, V.L.: An interactive environment for programming language development. In: Compiler Construction, 11th Int. Conference, ETAPS\/CC 2002, Proceedings. LNCS, vol. 2304. Springer, Berlin (2002)"},{"key":"120_CR55","first-page":"446","volume-title":"TOOLS 1998: 26th Int. Conference on Technology of Object-Oriented Languages and Systems","author":"B. Meyer","year":"1998","unstructured":"Meyer, B.: Design by contract: the Eiffel method. In: TOOLS 1998: 26th Int. Conference on Technology of Object-Oriented Languages and Systems, p. 446. IEEE Comput. Soc., Los Alamitos (1998)"},{"key":"120_CR56","doi-asserted-by":"crossref","unstructured":"Notkin, D.: The GANDALF project. J. Syst. Softw. 5(2) (1985)","DOI":"10.1016\/0164-1212(85)90011-1"},{"key":"120_CR57","series-title":"LNCS","volume-title":"12th Int. Conference on Compiler Construction","author":"N. Nystrom","year":"2003","unstructured":"Nystrom, N., Clarkson, M.R., Myers, A.C.: Polyglot: an extensible compiler framework for Java. In: 12th Int. Conference on Compiler Construction, ETAPS\/CC 2003. LNCS, vol. 2622. Springer, Berlin (2003)"},{"key":"120_CR58","volume-title":"6th Int. Workshop on Real-Time Computing and Applications (RTCSA 99)","author":"L. Palopoli","year":"1999","unstructured":"Palopoli, L., Ancilotti, P., Buttazzo, G.C.: A C language extension for programming real-time applications. In: 6th Int. Workshop on Real-Time Computing and Applications (RTCSA 99). IEEE Comput. Soc., Los Alamitos (1999)"},{"key":"120_CR59","doi-asserted-by":"crossref","unstructured":"Parnas, D.: Really rethinking \u2018formal methods\u2019. IEEE Comput. 43(1) (2010)","DOI":"10.1109\/MC.2010.22"},{"key":"120_CR60","doi-asserted-by":"crossref","unstructured":"Parr, T.J., Quong, R.W.: ANTLR: a predicated-LL(k) parser generator. Softw. Pract. Exp. 25(7) (1995)","DOI":"10.1002\/spe.4380250705"},{"key":"120_CR61","unstructured":"Porter, S.W.: Master\u2019s thesis, Naval Postgraduate School, Monterey, CA, USA (1988)"},{"key":"120_CR62","volume-title":"Proc. of the Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FORMSERA\u20192012)","author":"D. Ratiu","year":"2012","unstructured":"Ratiu, D., Voelter, M., Schaetz, B., Kolb, B.: Language engineering as enabler for incrementally defined formal analyses. In: Proc. of the Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FORMSERA\u20192012) (2012)"},{"key":"120_CR63","volume-title":"European Conference on Object Orient Programming","author":"L. Renggli","year":"2010","unstructured":"Renggli, L., Girba, T., Nierstrasz, O.: Embedding languages without breaking tools. In: European Conference on Object Orient Programming, ECOOP 2010 (2010)"},{"key":"120_CR64","volume-title":"First ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on Practical Software Development Environments","author":"T.W. Reps","year":"1984","unstructured":"Reps, T.W., Teitelbaum, T.: The synthesizer generator. In: First ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on Practical Software Development Environments. ACM, New York (1984)"},{"key":"120_CR65","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/11814948_1","volume-title":"Theory and Applications of Satisfiability Testing\u2014SAT 2006","author":"H. Sheini","year":"2006","unstructured":"Sheini, H., Sakallah, K.: From propositional satisfiability to satisfiability modulo theories. In: Theory and Applications of Satisfiability Testing\u2014SAT 2006. LNCS, vol. 4121, pp. 1\u20139. Springer, Berlin (2006)"},{"key":"120_CR66","volume-title":"Proc. of the 21st ACM Conference Companion on Object Oriented Programming Systems Languages and Applications","author":"C. Simonyi","year":"2006","unstructured":"Simonyi, C., Christerson, M., Clifford, S.: Intentional software. In: Proc. of the 21st ACM Conference Companion on Object Oriented Programming Systems Languages and Applications, OOPSLA\u201906 (2006)"},{"key":"120_CR67","doi-asserted-by":"crossref","unstructured":"Steele, G.L. Jr.: Growing a language. h.-Order Symb. Comput. 12(3) (1999)","DOI":"10.1023\/A:1010085415024"},{"key":"120_CR68","series-title":"LNCS","volume-title":"Reflection and Software Engineering. Papers from OORaSE 1999, 1st OOPSLA\u201999 Workshop on Reflection and Software Engineering","author":"M. Tatsubori","year":"2000","unstructured":"Tatsubori, M., Chiba, S., Itano, K., Killijian, M.O.: OpenJava: a class-based macro system for Java. In: Reflection and Software Engineering. Papers from OORaSE 1999, 1st OOPSLA\u201999 Workshop on Reflection and Software Engineering. LNCS, vol. 1826 (2000)"},{"issue":"3","key":"120_CR69","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1109\/MS.2002.1003449","volume":"19","author":"D. Thomas","year":"2002","unstructured":"Thomas, D., Hunt, A.: Mock objects. IEEE Softw. 19(3), 22\u201324 (2002)","journal-title":"IEEE Softw."},{"key":"120_CR70","volume-title":"Proc. of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications","author":"J.P. Tolvanen","year":"2009","unstructured":"Tolvanen, J.P., Kelly, S.: MetaEdit+: defining and using integrated domain-specific modeling languages. In: Proc. of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications, OOPSLA\u201909 (2009)"},{"key":"120_CR71","series-title":"LNCS","volume-title":"Proc. of the 11th Int. Conference on Compiler Construction (ETAPS\/CC 2002)","author":"E. Wyk Van","year":"2002","unstructured":"Van Wyk, E., de Moor, O., Backhouse, K., Kwiatkowski, P.: Forwarding in attribute grammars for modular language design. In: Proc. of the 11th Int. Conference on Compiler Construction (ETAPS\/CC 2002). LNCS, vol. 2304 (2002)"},{"key":"120_CR72","series-title":"LNCS","volume-title":"ECOOP 2007\u201421st European Conference on Object-Oriented Programming, Proceedings","author":"E. Wyk Van","year":"2007","unstructured":"Van Wyk, E., Krishnan, L., Bodin, D., Schwerdfeger, A.: Attribute grammar-based language extensions for Java. In: ECOOP 2007\u201421st European Conference on Object-Oriented Programming, Proceedings. LNCS, vol. 4609. Springer, Berlin (2007)"},{"key":"120_CR73","doi-asserted-by":"crossref","unstructured":"Van Wyk, E., Bodin, D., Gao, J., Krishnan, L.: Silver: an extensible attribute grammar system. Electron. Notes Theor. Comput. Sci. 203(2) (2008)","DOI":"10.1016\/j.entcs.2008.03.047"},{"key":"120_CR74","series-title":"LNCS","first-page":"291","volume-title":"Generative and Transformational Techniques in Software Engineering II, International Summer School","author":"E. Visser","year":"2007","unstructured":"Visser, E.: WebDSL: a case study in domain-specific language engineering. In: Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007. LNCS, vol. 5235, pp. 291\u2013373 (2007)"},{"key":"120_CR75","series-title":"LNCS","volume-title":"Model Driven Engineering Languages and Systems, 13th International Conference, MODELS 2010, Proceedings","author":"M. Voelter","year":"2010","unstructured":"Voelter, M.: Embedded software development with projectional language workbenches. In: Model Driven Engineering Languages and Systems, 13th International Conference, MODELS 2010, Proceedings. LNCS. Springer, Berlin (2010)"},{"key":"120_CR76","series-title":"LNCS","volume-title":"4th Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2011)","author":"M. Voelter","year":"2011","unstructured":"Voelter, M.: Language and IDE development, modularization and composition with MPS. In: 4th Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2011). LNCS. Springer, Berlin (2011)"},{"key":"120_CR77","volume-title":"Proc. of SPLASH 2012","author":"M. Voelter","year":"2012","unstructured":"Voelter, M., Ratiu, D., Schaetz, B., Kolb, B.: mbeddr: an extensible C-based programming language and IDE for embedded systems. In: Proc. of SPLASH 2012 (2012)"},{"key":"120_CR78","volume-title":"Proc. of the Int. Conference on Embedded Software (EMSOFT\u201909)","author":"R. Hanxleden von","year":"2009","unstructured":"von Hanxleden, R.: SyncCharts in C\u2014a proposal for light-weight, deterministic concurrency. In: Proc. of the Int. Conference on Embedded Software (EMSOFT\u201909) (2009)"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-013-0120-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-013-0120-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-013-0120-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,9]],"date-time":"2019-07-09T01:49:52Z","timestamp":1562636992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-013-0120-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,31]]},"references-count":78,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,9]]}},"alternative-id":["120"],"URL":"https:\/\/doi.org\/10.1007\/s10515-013-0120-4","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1,31]]}}}