Features and Aspects: Exploring feature-oriented and aspect-oriented programming interactions

[1]  James C. Corbett,et al.  Bandera: extracting finite-state models from Java source code , 2000, ICSE.

[2]  Shmuel Katz,et al.  Superimpositions and Aspect-oriented Programming , 2003, Comput. J..

[3]  Yow-Jian Lin,et al.  A feature-interaction benchmark for IN and beyond , 1993, IEEE Communications Magazine.

[4]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[5]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[6]  Robert J. Hall.  Feature combination and interaction detection via foreground/background models , 2000, Comput. Networks.

[7]  Mario Kolberg,et al.  Feature interaction: a critical review and considered forecast , 2003, Comput. Networks.

[8]  Mario Kolberg,et al.  Second Feature Interaction Contest , 2000, FIW.

[9]  Mario Kolberg,et al.  Results of the Second Feature Interaction Contest , 2000, FIW.

[10]  William G. Griswold,et al.  Proceedings of the 2nd international conference on Aspect-oriented software development , 2003 .

[11]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[12]  Gordon S. Blair,et al.  A Tool Suite to Support Aspect-Oriented Specification , 1999, ECOOP Workshops.

[13]  Rémi Douence,et al.  Detection and resolution of aspect interactions , 2002 .

[14]  Gregor Kiczales,et al.  Proceedings of the 1st international conference on Aspect-oriented software development , 2002 .

[15]  Karl J. Lieberherr,et al.  Aspectual Collaborations: Combining Modules and Aspects , 2003, Comput. J..

[16]  Mattia Monga,et al.  Reasoning on AspectJ Programmes , 2003 .

[17]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[18]  Daniel P. Friedman,et al.  Aspect-Oriented Programming is Quantification and Obliviousness , 2000 .

[19]  Gordon S. Blair,et al.  Feature Interactions Outside a Telecom Domain , 2001, FICS.

[20]  William G. Griswold,et al.  An Overview of AspectJ , 2001, ECOOP.

[21]  Gordon S. Blair,et al.  A Formal View of Aspects in the Development of Component-Based Distributed Systems , 2000 .

[22]  Robert E. Filman.  What Is Aspect-Oriented Programming, Revisited , 2001 .

[23]  Oscar Nierstrasz,et al.  Beyond Objects: Components , 1997 .

[24]  Matthew B. Dwyer,et al.  Slicing Software for Model Construction , 2000, High. Order Symb. Comput..

[25]  Stephan Reiff-Marganiec,et al.  Runtime Resolution of Feature Interactions in Evolving Telecommunications Systems , 2002 .

[26]  Cristina V. Lopes,et al.  Recent Developments in Aspect , 1998, ECOOP Workshops.

[27]  Mehmet Aksit,et al.  Composing Multiple Concerns Using Composition Filters , 2001 .

[28]  Krzysztof Czarnecki,et al.  Generative Programming , 2001, ECOOP Workshops.

[29]  João Araújo,et al.  Engineering Aspect-Oriented Systems , 2005 .

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

[31]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[32]  Lynne Blair,et al.  Feature Interactions - Life Beyond Traditional Telephony , 2000, FIW.

[33]  Robert J. Hall,et al.  Feature Interactions in Electronic Mail , 2000, FIW.

[34]  Rémi Douence,et al.  A Framework for the Detection and Resolution of Aspect Interactions , 2002, GPCE.

[35]  Jean-Pierre Hubaux,et al.  Formal methods for communication services: meeting the industry expectations , 2002, Comput. Networks.

[36]  Matthew B. Dwyer,et al.  Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software , 2001, CONCUR.

[37]  Mattia Monga,et al.  Investigating Feature Interactions by Exploiting Aspect Oriented Programming , 2003 .

[38]  Olivier Motelet,et al.  A Formal Definition of Crosscuts , 2001, Reflection.

[39]  Pascal Fradet,et al.  AOP: towards a generic framework using program transformation and analysis , 2000 .

[40]  Edsger W. Dijkstra,et al.  Go to Statement Considered Harmful (Reprint) , 2002, Software Pioneers.

[41]  Gordon S. Blair,et al.  The Impact of Aspect-Oriented Programming on Formal Methods , 1998, ECOOP Workshops.