{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T09:03:48Z","timestamp":1774602228905,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540235804","type":"print"},{"value":"9783540301752","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30175-2_19","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T19:34:58Z","timestamp":1285270498000},"page":"361-378","source":"Crossref","is-referenced-by-count":19,"title":["Model-Driven Program Transformation of a Large Avionics Framework"],"prefix":"10.1007","author":[{"given":"Jeff","family":"Gray","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jing","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuehua","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suman","family":"Roychoudhury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hui","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajesh","family":"Sudarsan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aniruddha","family":"Gokhale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandeep","family":"Neema","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feng","family":"Shi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ted","family":"Bapty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05082-8","volume-title":"Invasive Software Composition","author":"U. A\u00dfmann","year":"2003","unstructured":"A\u00dfmann, U.: Invasive Software Composition. Springer, Heidelberg (2003)"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Batory, D., Sarvela, J.N., Rauschmeyer, A.: Scaling Step-Wise Refinement. IEEE Transactions on Software Engineering, 355\u2013371 (June 2004)","DOI":"10.1109\/TSE.2004.23"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Baxter, I., Pidgeon, C., Mehlich, M.: DMS: Program Transformation for Practical Scalable Software Evolution. In: International Conference on Software Engineering (ICSE), Edinburgh, Scotland, pp. 625\u2013634 (May 2004)","DOI":"10.1109\/ICSE.2004.1317484"},{"key":"19_CR4","unstructured":"B\u00e9zivin, J.: From Object Composition to Model Transformation with the MDA. In: Technology of Object-Oriented Languages and Systems (TOOLS), Santa Barbara, California, pp. 350\u2013354 (August 2001)"},{"key":"19_CR5","unstructured":"B\u00e9zivin, J.: MDA: From Hype to Hope, and Reality. In: The 6th International Conference on the Unified Modeling Language, San Francisco, California, Keynote talk, October 22 (2003), http:\/\/www.sciences.univ-nantes.fr\/info\/perso\/permanents\/bezivin\/UML.2003\/UML.SF.JB.GT.ppt"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Chiba, S.: A Metaobject Protocol for C++. In: Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Austin, Texas, pp. 285\u2013299 (October 1995)","DOI":"10.1145\/217838.217868"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Cordy, J., Dean, T., Malton, A., Schneider, K.: Source Transformation in Software Engineering using the TXL Transformation System. Special Issue on Source Code Analysis and Manipulation, Journal of Information and Software Technology (44, 13), 827\u2013837 (October 2002)","DOI":"10.1016\/S0950-5849(02)00104-0"},{"key":"19_CR8","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Reading (2000)"},{"key":"19_CR9","volume-title":"Domain-Driven Design: Tackling Complexity at the Heart of Software","author":"E. Evans","year":"2003","unstructured":"Evans, E.: Domain-Driven Design: Tackling Complexity at the Heart of Software. Addison-Wesley, Reading (2003)"},{"key":"19_CR10","volume-title":"Refactoring: Improving the Design of Existing Programs","author":"M. Fowler","year":"1999","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Programs. Addison-Wesley, Reading (1999)"},{"key":"19_CR11","volume-title":"Model Driven Architecture: Applying MDA to Enterprise Computing","author":"D. Frankel","year":"2003","unstructured":"Frankel, D.: Model Driven Architecture: Applying MDA to Enterprise Computing. John Wiley and Sons, Chichester (2003)"},{"key":"19_CR12","volume-title":"Middleware for Communications","author":"A. Gokhale","year":"2004","unstructured":"Gokhale, A., Schmidt, D., Natarajan, B., Gray, J., Wang, N.: Model-Driven Middleware. In: Mahmoud, Q. (ed.) Middleware for Communications, John Wiley and Sons, Chichester (2004)"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Gray, J., Bapty, T., Neema, S., Tuck, J.: Handling Crosscutting Constraints in Domain-Specific Modeling. Communications of the ACM, 87\u201393 (October 2001)","DOI":"10.1145\/383845.383864"},{"key":"19_CR14","volume-title":"Aspect-Oriented Software Development","author":"J. Gray","year":"2004","unstructured":"Gray, J., Sztipanovits, J., Schmidt, D.C., Bapty, T., Neema, S., Gokhale, A.: Two-level Aspect Weaving to Support Evolution of Model-Driven Synthesis. In: Filman, R., Elrad, T., Aksit, M., Clarke, S. (eds.) Aspect-Oriented Software Development, Addison-Wesley, Reading (2004)"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Gray, J., Roychoudhury, S.: A Technique for Constructing Aspect Weavers Using a Program Transformation System. International Conference on Aspect-Oriented Software Development (AOSD), Lancaster, UK, March 22-27, pp. 36\u201345 (2004)","DOI":"10.1145\/976270.976277"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Griswold, W.G., Notkin, D.: Automated Assistance for Program Restructuring. Trans. on Software Engineering and Methodology, 228\u2013269 (July 1993)","DOI":"10.1145\/152388.152389"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Harrison, T., Levine, D., Schmidt, D.C.: The Design and Performance of a Hard Real-Time Object Event Service. In: Conference on Object-Oriented Programming Systems, Languages & Applications (OOPSLA), Atlanta, Georgia, pp. 184\u2013200 (October 1997)","DOI":"10.1145\/263698.263734"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Karsai, G., Maroti, M., L\u00e9deczi, \u00c1., Gray, J., Sztipanovits, J.: Type Hierarchies and Composition in Modeling and Meta-Modeling Languages. IEEE Trans. on Control System Technology (special issue on Computer Automated Multi-Paradigm Modeling), 263\u2013278 (March 2004)","DOI":"10.1109\/TCST.2004.824311"},{"key":"19_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, J.: Aspect-Oriented Programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"L\u00e4mmel, R., Verhoef, C.: Cracking the 500 Language Problem. IEEE Software, 78\u201388 (November\/December 2001)","DOI":"10.1109\/52.965809"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"L\u00e9deczi, \u00c1., Bakay, A., Maroti, M., Volgyesi, P., Nordstrom, G., Sprinkle, J., Karsai, G.: Composing Domain-Specific Design Environments. IEEE Computer, 44\u201351 (November 2001)","DOI":"10.1109\/2.963443"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"Lieberherr, K., Orleans, D., Ovlinger, J.: Aspect-Oriented Programming with Adaptive Methods. Communications of the ACM, 39\u201341 (October 2001)","DOI":"10.1145\/383845.383855"},{"key":"19_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/3-540-45821-2_15","volume-title":"Generative Programming and Component Engineering","author":"S. Neema","year":"2002","unstructured":"Neema, S., Bapty, T., Gray, J., Gokhale, A.: Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems. In: Batory, D., Consel, C., Taha, W. (eds.) GPCE 2002. LNCS, vol.\u00a02487, pp. 236\u2013251. Springer, Heidelberg (2002)"},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"Parnas, D.: On the Criteria To Be Used in Decomposing Systems into Modules. Communications of the ACM, 1053\u20131058 (December 1972)","DOI":"10.1145\/361598.361623"},{"key":"19_CR25","volume-title":"Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects","author":"D.C. Schmidt","year":"2000","unstructured":"Schmidt, D.C., Stal, M., Rohnert, H., Buschmann, F.: Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects. John Wiley and Sons, Chichester (2000)"},{"key":"19_CR26","doi-asserted-by":"crossref","unstructured":"Sharp, D.: Component-Based Product Line Development of Avionics Software. In: First Software Product Lines Conference (SPLC-1), Denver, Colorado, pp. 353\u2013369 (August 2000)","DOI":"10.1007\/978-1-4615-4339-8_19"},{"key":"19_CR27","unstructured":"Spinczyk, O., Gal, A., Schr\u00f6der-Preikschat, W.: AspectC++: An Aspect- Oriented Extension to C++. In: International Conference on Technology of Object-Oriented Languages and Systems (TOOLS Pacific 2002), Sydney, Australia, pp. 53\u201360 (February 2002)"},{"key":"19_CR28","unstructured":"Sztipanovits, J., Karsai, G.: Model-Integrated Computing. IEEE Computer, 10\u201312 (April 1997)"},{"key":"19_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/3-540-45821-2_2","volume-title":"Generative Programming and Component Engineering","author":"J. Sztipanovits","year":"2002","unstructured":"Sztipanovits, J.: Generative Programming for Embedded Systems. In: Batory, D., Consel, C., Taha, W. (eds.) GPCE 2002. LNCS, vol.\u00a02487, pp. 32\u201349. Springer, Heidelberg (2002)"},{"key":"19_CR30","volume-title":"Legacy Systems: Transformation Strategies","author":"W. Ulrich","year":"2002","unstructured":"Ulrich, W.: Legacy Systems: Transformation Strategies. Prentice-Hall, Englewood Cliffs (2002)"},{"key":"19_CR31","doi-asserted-by":"crossref","unstructured":"van den Brand, M., Heering, J., Klint, P., Olivier, P.: Compiling Rewrite Systems: The ASF+SDF Compiler. ACM Transactions on Programming Languages and Systems, 334\u2013368 (July 2002)","DOI":"10.1145\/567097.567099"},{"key":"19_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/3-540-45127-7_27","volume-title":"Rewriting Techniques and Applications","author":"E. Visser","year":"2001","unstructured":"Visser, E.: Stratego: A Language for Program Transformation Based on Rewriting Strategies. System Description of Stratego 0.5. In: Middeldorp, A. (ed.) RTA 2001. LNCS, vol.\u00a02051, pp. 357\u2013361. Springer, Heidelberg (2001)"},{"key":"19_CR33","unstructured":"Visser, E.: A Survey of Rewriting Strategies in Program Transformation Systems. In: Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001) - Electronic Notes in Theoretical Computer Science, vol. 57, Utrecht, The Netherlands (May 2001), http:\/\/www1.elsevier.com\/gej-ng\/31\/29\/23\/93\/27\/33\/57007.pdf"},{"key":"19_CR34","doi-asserted-by":"crossref","unstructured":"Wohlstadter, E., Jackson, S., Devanbu, P.T.: DADO: Enhancing Middleware to Support Crosscutting Features in Distributed, Heterogeneous Systems. In: International Conference on Software Engineering, Portland, Oregon, pp. 174\u2013186","DOI":"10.1109\/ICSE.2003.1201198"}],"container-title":["Lecture Notes in Computer Science","Generative Programming and Component Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30175-2_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T00:57:47Z","timestamp":1740531467000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30175-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540235804","9783540301752"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30175-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}