Feature-oriented programming and the AHEAD tool suite

Feature oriented programming (FOP) is an emerging paradigm for application synthesis, analysis, and optimization. A target application is specified declaratively as a set of features, like many consumer products (e.g., personal computers, automobiles). FOP technology translates such declarative specifications into efficient programs.

[1]  Patricia G. Selinger,et al.  Access path selection in a relational database management system , 1979, SIGMOD '79.

[2]  Thomas Reps,et al.  Programming Techniques and Data Structures , 1981 .

[3]  Robert Balzer,et al.  A 15 Year Perspective on Automatic Programming , 1985, IEEE Transactions on Software Engineering.

[4]  Matthias Felleisen,et al.  Hygienic macro expansion , 1986, LFP '86.

[5]  R. Balzer.  A fifteen-year perspective on automatic programming , 1989 .

[6]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[7]  Don S. Batory,et al.  The design and implementation of hierarchical software systems with reusable components , 1992, TSEM.

[8]  David Notkin,et al.  Using role components in implement collaboration-based designs , 1996, OOPSLA '96.

[9]  Don S. Batory,et al.  Composition Validation and Subjectivity in GenVoca Generators , 1997, IEEE Trans. Software Eng..

[10]  Matthias Felleisen,et al.  Classes and mixins , 1998, POPL '98.

[11]  Stanley M. Sutton,et al.  N degrees of separation: multi-dimensional separation of concerns , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[12]  Gang Chen,et al.  Design Wizards and Visual Programming Environments for GenVoca Generators , 2000, IEEE Trans. Software Eng..

[13]  Don S. Batory,et al.  Achieving Extensibility Through Product-Lines and Domain-Specific Languages: A Case Study , 2000, ICSR.

[14]  Roberto Erick Lopez-Herrejon,et al.  A Standard Problem for Evaluating Product-Line Methodologies , 2001, GCSE.

[15]  Gregor Kiczales,et al.  Aspect-oriented programming , 2001, ESEC/FSE-9.

[16]  Jan Bosch.  Generative and Component-Based Software Engineering , 2001, Lecture Notes in Computer Science.

[17]  Don Batorya,et al.  ExCIS: An Integration of Domain-Specific Languages and Feature-Oriented Programming1 , 2001 .

[18]  Roberto Erick Lopez-Herrejon,et al.  Generating product-lines of product-families , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

[19]  Yannis Smaragdakis,et al.  Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs , 2002, TSEM.

[20]  Don S. Batory,et al.  Achieving extensibility through product-lines and domain-specific languages: a case study , 2000, TSEM.

[21]  Merijn de Jonge,et al.  Workshop on Generative Programming 2002 (GP2002) , 2002, ICSR.

[22]  Jia Liu,et al.  Refinements and multi-dimensional separation of concerns , 2003, ESEC/FSE-11.

[23]  Don S. Batory,et al.  The Road to Utopia: A Future for Generative Programming , 2003, Domain-Specific Program Generation.

[24]  David R. Barstow,et al.  Proceedings of the 25th International Conference on Software Engineering , 1978, ICSE.

[25]  Mads Torgersen.  The Expression Problem Revisited , 2004, ECOOP.

[26]  D. Batory,et al.  Scaling step-wise refinement , 2003, IEEE Transactions on Software Engineering.

[27]  Martin Odersky,et al.  Domain-Specific Program Generation , 2004, Lecture Notes in Computer Science.

[28]  Jia Liu,et al.  Automatic Remodularization and Optimized Synthesis of Product-Families , 2004, GPCE.

[29]  Mads Torgersen.  The expression problem revisited: Four new solutions using generics , 2004 .

[30]  Andrew P. Black.  ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25-29, 2005, Proceedings , 2005, ECOOP.

[31]  Don Batory,et al.  Taming Aspect Composition: A Functional Approach , 2005 .

[32]  Don S. Batory,et al.  Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.

[33]  Roberto Erick Lopez-Herrejon,et al.  Evaluating Support for Features in Advanced Modularization Technologies , 2005, ECOOP.

[34]  Roberto Erick Lopez-Herrejon,et al.  A disciplined approach to aspect composition , 2006, PEPM '06.