Volume 18, Number 1, March 2011

• 
  Robert J. Hall: Editorial: ASE 2010 Conference trip report. 1-3
• 
  Christos Kloukinas, Sergio Yovine: A model-based approach for multiple QoS in scheduling: from models to implementation. 5-38
• 
  Jing Liu, Samik Basu, Robyn R. Lutz: Compositional model checking of software product lines using variation point obligations. 39-76
• 
  Deepak Dhungana, Paul Grünbacher, Rick Rabiser: The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study. 77-114

Volume 18, Number 2, June 2011

• 
  Robert J. Hall: Editorial: Controlling change. 115-116
• 
  Khaled Mahbub, George Spanoudakis, Andrea Zisman: A monitoring approach for runtime service discovery. 117-161
• 
  Marko Rosenmüller, Norbert Siegmund, Sven Apel, Gunter Saake: Flexible feature binding in software product lines. 163-197
• 
  Marouane Kessentini, Houari A. Sahraoui, Mounir Boukadoum: Example-based model-transformation testing. 199-224

Volume 18, Numbers 3-4, December 2011

• 
  Mats Per Erik Heimdahl, Gabriele Taentzer: Guest editorial: special issue on selected topics in automated software engineering - Specification mining and defect detection. 225-226
• 
  Hao Zhong, Lu Zhang, Tao Xie, Hong Mei: Inferring specifications for resources from natural language API documentation. 227-261
• 
  Andrzej Wasylkowski, Andreas Zeller: Mining temporal specifications from object usage. 263-292
• 
  Suresh Thummalapenta, Tao Xie: Alattin: mining alternative patterns for defect detection. 293-323
• 
  Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan: Symbolic modular deadlock analysis. 325-362
• 
  Sangmok Han, David R. Wallace, Robert C. Miller: Code completion of multiple keywords from abbreviated input. 363-398

last updated on Sat May 25 05:50:37 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page