8. AOSD 2009: Charlottesville, Virginia, USA

Keynote

• Paul R. Daugherty:
  The future of software architectures for large-scalebusiness solutions: modularity, scalability, andseparation of concerns. 1-2
  

Programming languages

• Eric Bodden, Feng Chen, Grigore Rosu:
  Dependent advice: a general approach to optimizing history-based aspects. 3-14
  
• Dima Alhadidi, Amine Boukhtouta, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya:
  The dataflow pointcut: a formal and practical framework. 15-26
  
• Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt:
  Expressive scoping of distributed aspects. 27-38
  

Aspect interference

• Mehmet Aksit, Arend Rensink, Tom Staijen:
  A graph-transformation-based simulation approach for analysing aspect interference on shared join points. 39-50
  
• Tom Dinkelaker, Mira Mezini, Christoph Bockisch:
  The art of the meta-aspect protocol. 51-62
  
• Alex Villazón, Walter Binder, Philippe Moret:
  Flexible calling context reification for aspect-oriented programming. 63-74
  

Software architecture and modelling

• Dimitri Van Landuyt, Steven Op de beeck, Eddy Truyen, Wouter Joosen:
  Domain-driven discovery of stable abstractions for pointcut interfaces. 75-86
  
• Jörg Kienzle, Wisam Al Abed, Jacques Klein:
  Aspect-oriented multi-view modeling. 87-98
  
• Jon Oldevik, Øystein Haugen:
  From sequence diagrams to Java-stairs aspects. 99-110
  
• Christina Chavez, Alessandro F. Garcia, Thaís Vasconcelos Batista, Marcel Vinicius Medeiros Oliveira, Cláudio Sant'Anna, Awais Rashid:
  Composing architectural aspects based on style semantics. 111-122
  

Keynote

• John A. Stankovic:
  Cyber physical systems: aspects as a basis for robustness and openness. 123-124
  

Aspect-oriented requirements engineering

• Rodrigo Bonifácio, Paulo Borba:
  Modeling scenario variability as crosscutting mechanisms. 125-136
  
• Nan Niu, Steve M. Easterbrook:
  Concept analysis for product line requirements. 137-148
  
• Ruzanna Chitchyan, Phil Greenwood, Américo Sampaio, Awais Rashid, Alessandro F. Garcia, Lyrene Fernandes da Silva:
  Semantic vs. syntactic compositions in aspect-oriented requirements engineering: an empirical study. 149-160
  

Testing and verification

• Ji Zhang, Heather Goldsby, Betty H. C. Cheng:
  Modular verification of dynamically adaptive systems. 161-172
  
• Wouter De Borger, Bert Lagaisse, Wouter Joosen:
  A generic and reflective debugging architecture to support runtime visibility and traceability of aspects. 173-184
  
• Mark Harman, Fayezin Islam, Tao Xie, Stefan Wappler:
  Automated test data generation for aspect-oriented programs. 185-196
  

Industry session: aspects in industry

• Nikhil Kumar, Dinakar Sosale, Sadhana Nivedita Konuganti, Ajay Rathi:
  Enabling the adoption of aspects - testing aspects: a risk model, fault model and patterns. 197-206
  
• Darren Galpin, Cormac Driver, Siobhán Clarke:
  Modelling hardware verification concerns specified in the e language: an experience report. 207-212
  
• Uwe Hohenstein, Michael C. Jäger:
  Using aspect-orientation in industrial projects: appreciated or damned? 213-222
  
• German Florez-Larrahondo, Walker Haddock:
  Aspect oriented programming with hidden markov models to verify design use cases. 223-228
  

Keynote

• Gail C. Murphy:
  Everyday aspects. 229-230
  

DSAL and applications

• Clayton G. Myers, Elisa L. A. Baniassad:
  Metaproperty aspects. 231-242
  
• Bram Adams, Wolfgang De Meuter, Herman Tromp, Ahmed E. Hassan:
  Can we refactor conditional compilation into aspects? 243-254
  
• Brett Cannon, Eric Wohlstadter:
  Enforcing security for desktop clients using authority aspects. 255-266