{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:48:57Z","timestamp":1725472137869},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540457787"},{"type":"electronic","value":"9783540462354"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11877028_1","type":"book-chapter","created":{"date-parts":[[2006,11,2]],"date-time":"2006-11-02T13:27:39Z","timestamp":1162474059000},"page":"3-35","source":"Crossref","is-referenced-by-count":52,"title":["A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite"],"prefix":"10.1007","author":[{"given":"Don","family":"Batory","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"AHEAD Tool Suite, http:\/\/www.cs.utexas.edu\/users\/schwartz\/ATS.html (ATS documentation)"},{"key":"#cr-split#-1_CR2.1","doi-asserted-by":"crossref","unstructured":"Balzer, R.: A Fifteen-Year Perspective on Automatic Programming. IEEE Trans. Software Engineering, 1257\u20131267 (November 1985);","DOI":"10.1109\/TSE.1985.231877"},{"key":"#cr-split#-1_CR2.2","unstructured":"Mid-80\u2019s state-of-art-report on automatic programming"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Batory, D., O\u2019Malley, S.: The Design and Implementation of Hierarchical Software Systems with Reusable Components. ACM Trans. Software Engineering and Methodology, 355\u2013398 (October 1992); The GenVoca Model.","DOI":"10.1145\/136586.136587"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-25935-0_1","volume-title":"Domain-Specific Program Generation","author":"D. Batory","year":"2004","unstructured":"Batory, D.: The Road to Utopia: A Future for Generative Programming. In: Lengauer, C., Batory, D., Consel, C., Odersky, M. (eds.) Domain-Specific Program Generation. LNCS, vol.\u00a03016, pp. 1\u201318. Springer, Heidelberg (2004); Rela\u00actionship of query optimization to AHEAD"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Batory, D., Sarvela, J.N., Rauschmayer, A.: Scaling Stepwise Refinement. IEEE Trans. Software Engineering, 355\u2013371 (2004); The AHEAD model","DOI":"10.1109\/TSE.2004.23"},{"key":"#cr-split#-1_CR6.1","doi-asserted-by":"crossref","unstructured":"Batory, D., Liu, J., Sarvela, J.N.: Refinements and Multi-Dimensional Separation of Concerns. In: ACM SIGSOFT 2003, pp. 48\u201357 (2003);","DOI":"10.1145\/940071.940079"},{"key":"#cr-split#-1_CR6.2","unstructured":"A sophisticated example of Origami"},{"key":"#cr-split#-1_CR7.1","doi-asserted-by":"crossref","unstructured":"Batory, D., Johnson, C., MacDonald, R., von Heeder, D.: Achieving Extensibility Through Product-Lines and Domain-Specific Languages: A Case Study. ACM Transactions on Software Engineering and Methodology, 191\u2013214 (April 2002);","DOI":"10.1145\/505145.505147"},{"key":"#cr-split#-1_CR7.2","unstructured":"A product-line that needs both extensions and embedded DSLs"},{"key":"#cr-split#-1_CR8.1","doi-asserted-by":"crossref","unstructured":"Batory, D., Chen, G., Robertson, E., Wang, T.: Design Wizards and Visual Programming Environments for GenVoca Generators. IEEE Transactions on Software Engineering, 441\u2013452 (May 2000);","DOI":"10.1109\/32.846301"},{"key":"#cr-split#-1_CR8.2","unstructured":"Explains relationship between automatic programming and GenVoca equation optimization"},{"key":"#cr-split#-1_CR9.1","doi-asserted-by":"crossref","unstructured":"Batory, D., Geraci, B.J.: Composition Validation and Subjectivity in GenVoca Generators. IEEE Transactions on Software Engineering, 67\u201382 (1997);","DOI":"10.1109\/32.585497"},{"key":"#cr-split#-1_CR9.2","unstructured":"Early form of design rule checking"},{"key":"#cr-split#-1_CR10.1","doi-asserted-by":"crossref","unstructured":"Batory, D.: Feature Models, Grammars, and Propositional Formulas. In: Software Product-Line Conference (SPLC) 2005, pp. 7\u201320 (2005);","DOI":"10.1007\/11554844_3"},{"key":"#cr-split#-1_CR10.2","unstructured":"Generalizes results in"},{"key":"#cr-split#-1_CR11.1","doi-asserted-by":"crossref","unstructured":"de Jong, M., Visser, J.: Grammars as Feature Diagrams. In: Workshop on Generative Programming (GP 2002), April 15, Austin Texas, USA (2002);","DOI":"10.1007\/3-540-46020-9_27"},{"key":"#cr-split#-1_CR11.2","unstructured":"Relates feature diagrams to grammars"},{"key":"#cr-split#-1_CR12.1","unstructured":"Jung, E.J.: Feature Oriented Programming and Product Line Architectures for Open Architecture Robot Software, M.Sc. Thesis, Dept. Mechanical Engineering, University of Texas at Austin (2004);"},{"key":"#cr-split#-1_CR12.2","unstructured":"Application of FOP ideas to robotics, Origami"},{"key":"#cr-split#-1_CR13.1","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Nowak, W., Peterson, S.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report, CMU\/SEI-90TR-21, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA (November 1990);","DOI":"10.21236\/ADA235785"},{"key":"#cr-split#-1_CR13.2","unstructured":"First significant paper on features and product-lines"},{"key":"#cr-split#-1_CR14.1","doi-asserted-by":"crossref","unstructured":"Liu, J., Batory, D.: Automatic Remodularization and Optimized Synthesis of Product-Families. In: Generative Programming and Component Engineering (GPCE), pp. 379\u2013395 (October 2004);","DOI":"10.1007\/978-3-540-30175-2_20"},{"key":"#cr-split#-1_CR14.2","unstructured":"Shows how sets of equations can be optimized"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/3-540-44800-4_2","volume-title":"Generative and Component-Based Software Engineering","author":"R.E. Lopez-Herrejon","year":"2001","unstructured":"Lopez-Herrejon, R.E., Batory, D.: A Standard Problem for Evaluating Product-Line Methodologies. In: Bosch, J. (ed.) GCSE 2001. LNCS, vol.\u00a02186, pp. 10\u201324. Springer, Heidelberg (2001); A simple product-line defined using the GenVoca model"},{"key":"#cr-split#-1_CR16.1","doi-asserted-by":"crossref","unstructured":"Kohlbecker, E., Friedman, D.P., Felleisen, M., Duba, B.: Hygienic Macro Expansion. In: SIGPLAN 1986 ACM Conference on Lisp and Functional Programming, pp. 151\u2013161 (1986);","DOI":"10.1145\/319838.319859"},{"key":"#cr-split#-1_CR16.2","unstructured":"Classic paper on the inadvertent capture problem"},{"key":"1_CR17","unstructured":"Product-Line Architecture Research Group, http:\/\/www.cs.utexas.edu\/users\/schwartz\/"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11531142_8","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"R. Lopez-Herrejon","year":"2005","unstructured":"Lopez-Herrejon, R., Batory, D., Cook, W.: Evaluating Support for Features in Advanced Modularization Technologies. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 169\u2013194. Springer, Heidelberg (2005); Using the expression problem to evaluate different modularization technologies"},{"key":"#cr-split#-1_CR19.1","doi-asserted-by":"crossref","unstructured":"Lopez-Herrejon, R., Batory, D., Lengauer, C.: A Disciplined Approach to Aspect Composition. In: Program Evaluation and Program Manipulation (PEPM), pp. 68\u201377 (2005);","DOI":"10.1145\/1111542.1111554"},{"key":"#cr-split#-1_CR19.2","unstructured":"Formalizes the AspectJ composition model"},{"key":"#cr-split#-1_CR20.1","doi-asserted-by":"crossref","unstructured":"Selinger, P.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, pp. 23\u201334 (1979);","DOI":"10.1145\/582095.582099"},{"key":"#cr-split#-1_CR20.2","unstructured":"Classic paper on relational query optimizers"},{"issue":"9","key":"1_CR21","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1145\/358746.358755","volume":"24","author":"T. Teitelbaum","year":"1981","unstructured":"Teitelbaum, T., Reps, T.: The Cornell Program Synthesizer: a Syntax-Directed Programming Environment. CACM\u00a024(9), 563\u2013573 (1981); Classic paper on syntax-directed editors","journal-title":"CACM"},{"key":"#cr-split#-1_CR22.1","doi-asserted-by":"crossref","unstructured":"Torgersen, M.: The Expression Problem Revisited. Four New Solutions Using Generics. In: ECOOP 2004, pp. 123\u2013146 (2004);","DOI":"10.1007\/978-3-540-24851-4_6"},{"key":"#cr-split#-1_CR22.2","unstructured":"A recent paper on the Expression problem"}],"container-title":["Lecture Notes in Computer Science","Generative and Transformational Techniques in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11877028_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:49:31Z","timestamp":1605642571000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11877028_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540457787","9783540462354"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/11877028_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}