{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T09:02:22Z","timestamp":1774602142911,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":41,"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_1","type":"book-chapter","created":{"date-parts":[[2008,9,22]],"date-time":"2008-09-22T01:46:10Z","timestamp":1222047970000},"page":"1-20","source":"Crossref","is-referenced-by-count":23,"title":["The Objects and Arrows of Computational Design"],"prefix":"10.1007","author":[{"given":"Don","family":"Batory","sequence":"first","affiliation":[]},{"given":"Maider","family":"Azanza","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Saraiva","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Agrawal, A., Karsai, G., Ledeczi, A.: An End-to-End Domain-Driven Software Development Framework. In: OOPSLA 2003 (2003)","DOI":"10.1145\/949344.949347"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Ancona, D., Damiani, F., Drossopoulou, S.: Polymorphic Bytecode: Compositional Compilation for Java-like Languages. In: POPL 2005 (2005)","DOI":"10.1145\/1040305.1040308"},{"key":"1_CR3","unstructured":"Anfurrutia, F.I., Diaz, O., Trujillo, S.: On the Refinement of XML. In: ICWE 2007 (2007)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Antkiewicz, M., Czarnecki, K.: Design Space of Heterogeneous Synchronization. In: Proc. Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE) (2007)","DOI":"10.1007\/978-3-540-88643-3_1"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Apel, S., Leich, T., Saake, G.: Aspectual Feature Modules. IEEE TSE (April 2008)","DOI":"10.1109\/TSE.2007.70770"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Batory, D., Chen, G., Robertson, E., Wang, T.: Design Wizards and Visual Programming Environments for GenVoca Generators. IEEE TSE (May 2000)","DOI":"10.1109\/32.846301"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Batory, D., Johnson, C., MacDonald, B., von Heeder, D.: Achieving Extensibility Through Product-Lines and Domain-Specific Languages: A Case Study. ACM TOSEM 11(2) (April 2002)","DOI":"10.1145\/505145.505147"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Batory, D., Liu, J., Sarvela, J.N.: Refinements and Multi-Dimensional Separation of Concerns. In: ACM SIGSOFT 2003 (2003)","DOI":"10.1145\/940071.940079"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Batory, D., Sarvela, J.N., Rauschmayer, A.: Scaling Step-Wise Refinement. IEEE TSE (June 2004)","DOI":"10.1109\/ICSE.2003.1201199"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Batory, D.: Multi-Level Models in Model Driven Development, Product-Lines, and Metaprogramming. IBM Systems Journal 45(3) (2006)","DOI":"10.1147\/sj.453.0527"},{"key":"1_CR11","unstructured":"Batory, D.: Program Refactorings, Program Synthesis, and Model-Driven Design. In: ETAPS 2007, keynote (2007)"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Batory, D.: Using Modern Mathematics as an FOSD Modeling Language. In: GPCE 2008 (2008)","DOI":"10.1145\/1449913.1449921"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","first-page":"491","volume-title":"Advanced Information Systems Engineering","author":"D. Benavides","year":"2005","unstructured":"Benavides, D., Trinidad, P., Ruiz-Cortes, A.: Automated Reasoning on Feature Models. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 491\u2013503. Springer, Heidelberg (2005)"},{"key":"1_CR14","unstructured":"B\u00e9zivin, J., Jouault, F., Valduriez, P.: On the Need for Megamodels. In: Best Practices for Model-Driven-Software Development (2004)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"B\u00e9zivin, J., Bouzitouna, S., Del Fabro, M., Gervais, M.-P., Jouault, F., Kolovos, D., Kurtev, I., Paige, R.: A Canonical Scheme for Model Composition. In: ECMDA-FA 2006 (2006)","DOI":"10.1007\/11787044_26"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Cuadrado, J.S., Molina, J.G., Tortosa, M.: RubyTL: A Practical, Extensible Transformation Language. In: ECMDA-FA 2006 (2006)","DOI":"10.1007\/11787044_13"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Freeman, G., Batory, D., Lavender, G.: Lifting Transformational Models of Product Lines: A Case Study. In: ICMT 2008 (2008)","DOI":"10.1007\/978-3-540-69927-9_2"},{"key":"1_CR18","unstructured":"Gray, J.: Private correspondence (July 2008)"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-540-71289-3_7","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Ehrig","year":"2007","unstructured":"Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information Preserving Bidirectional Model Transformations. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol.\u00a04422, pp. 72\u201386. Springer, Heidelberg (2007)"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Jackson, D.: Alloy: A Lightweight Object Modeling Notation. In: ACM TOSEM (April 2002)","DOI":"10.1145\/505145.505149"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Model Transformations in Practice Workshop at MODELS 2005 (2005)","DOI":"10.1007\/11663430_14"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., et al.: An Overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 327\u2013353. Springer, Heidelberg (2001)"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Kim, C.H.P., Kaestner, C., Batory, D.: On the Modularity of Feature Interactions. In: GPCE 2008 (2008)","DOI":"10.1145\/1449913.1449919"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Kurtev, I., B\u00e9zivin, J., Jouault, F., Valduriez, P.: Model-Based DSL Frameworks. In: OOPSLA 2006 (2006)","DOI":"10.1145\/1176617.1176632"},{"key":"1_CR25","volume-title":"Conceptual Mathematics: A First Introduction To Categories","author":"F.W. Lawvere","year":"1997","unstructured":"Lawvere, F.W., Schanuel, S.H.: Conceptual Mathematics: A First Introduction To Categories. Cambridge University Press, Cambridge (1997)"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Marinov, D., Khurshid, S.: TestEra: A novel framework for automated testing of Java programs. In: ASE 2001 (2001)","DOI":"10.1109\/ASE.2001.989787"},{"key":"1_CR27","unstructured":"Neema, S.K.: System-Level Synthesis of Adaptive Computing Systems. Ph.D. Vanderbilt University (2001)"},{"key":"1_CR28","unstructured":"Odersky, M., et al.: An Overview of the Scala Programming Language (September 2004), scala.epfl.ch"},{"key":"1_CR29","unstructured":"Oldevik, J.: UMT: UML Model Transformation Tool Overview and User Guide Documentation (2004), http:\/\/umt-qvt.sourceforge.net\/docs\/"},{"key":"1_CR30","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1524.001.0001","volume-title":"Basic Category Theory for Computer Scientists","author":"B. Pierce","year":"1991","unstructured":"Pierce, B.: Basic Category Theory for Computer Scientists. MIT Press, Cambridge (1991)"},{"key":"#cr-split#-1_CR31.1","doi-asserted-by":"crossref","unstructured":"P??schel, M., et al.: SPIRAL: Code Generation for DSP Transforms. Proc. IEEE 93#2 (2005);","DOI":"10.1109\/JPROC.2004.840306"},{"key":"#cr-split#-1_CR31.2","unstructured":"Special Issue on Program Generation, Optimization, and Adaptation"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Selinger, P., Astrahan, M.M., Chamberlin, D.D., Lorie, R.A., Price, T.G.: Access Path Selection in a Relational Database System. In: ACM SIGMOD 1979 (1979)","DOI":"10.1145\/582095.582099"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"Sprinkle, J., Karsai, G.: A Domain-Specific Visual Language for Domain Model Evolution. J. Vis. Lang. Comput.\u00a015(3-4) (2004)","DOI":"10.1016\/j.jvlc.2004.01.006"},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"Trujillo, S., Azanza, M., Diaz, O.: Generative Metaprogramming. In: GPCE 2007 (2007)","DOI":"10.1145\/1289971.1289990"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Trujillo, S., Batory, D., Diaz, O.: Feature Oriented Model Driven Development: A Case Study for Portlets. In: ICSE 2007 (2007)","DOI":"10.1109\/ICSE.2007.36"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Uzuncaova, E., Garcia, D., Khurshid, S., Batory, D.: Testing Software Product Lines Using Incremental Test Generation. In: ISSRE 2008 (2008)","DOI":"10.1109\/ISSRE.2008.56"},{"key":"1_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-540-75209-7_3","volume-title":"Model Driven Engineering Languages and Systems","author":"B. Vanhooff","year":"2007","unstructured":"Vanhooff, B., Ayed, D., Van Baelen, S., Joosen, W., Berbers, Y.: UniTI: A Unified Transformation Infrastructure. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 31\u201345. Springer, Heidelberg (2007)"},{"key":"1_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"600","DOI":"10.1007\/978-3-540-73589-2_28","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"G. Wachsmuth","year":"2007","unstructured":"Wachsmuth, G.: Metamodel Adaptation and Model Co-Adaptation. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 600\u2013624. Springer, Heidelberg (2007)"},{"key":"1_CR39","doi-asserted-by":"crossref","unstructured":"Wing, J.: Computational Thinking. In: CACM 2006 (March 2006)","DOI":"10.1145\/1118178.1118215"},{"key":"1_CR40","doi-asserted-by":"crossref","unstructured":"Zhang, C., Gao, G., Jacobsen, H.-A.: Towards Just-in-time Middleware Architectures. In: AOSD 2005 (2005)","DOI":"10.1145\/1052898.1052904"}],"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_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:50:49Z","timestamp":1619524249000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87875-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878742","9783540878759"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87875-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}