Automated Software Engineering, Volume 12

Volume 12, Number 1, January 2005

• John C. Grundy, Yuhong Cai, Anna Liu:
  SoftArch/MTE: Generating Distributed System Test-Beds from High-Level Software Architecture Descriptions. 5-39
  Electronic Edition (link) BibTeX
• Robert J. Hall:
  Fundamental Nonmodularity in Electronic Mail. 41-79
  Electronic Edition (link) BibTeX
• Gruia-Catalin Roman, Jamie Payton:
  A Termination Detection Protocol for Use in Mobile Ad Hoc Networks. 81-99
  Electronic Edition (link) BibTeX
• Valérie Issarny, Daniele Sacchetti, Ferda Tartanoglu, Françoise Sailhan, Rafik Chibout, Nicole Lévy, Angel Talamona:
  Developing Ambient Intelligence Systems: A Solution based on Web Services. 101-137
  Electronic Edition (link) BibTeX
• Susan Stepney:
  Desert Island Column. 139-141
  Electronic Edition (link) BibTeX

Volume 12, Number 2, April 2005

• Grigore Rosu, Klaus Havelund:
  Rewriting-Based Techniques for Runtime Verification. 151-197
  Electronic Edition (link) BibTeX
• Yunwen Ye, Gerhard Fischer:
  Reuse-Conducive Development Environments. 199-235
  Electronic Edition (link) BibTeX
• Yasuyuki Tsukada:
  Interactive and Probabilistic Proof of Mobile Code Safety. 237-257
  Electronic Edition (link) BibTeX
• Paolo Tonella, Filippo Ricca:
  Web Application Slicing in Presence of Dynamic Code Generation. 259-288
  Electronic Edition (link) BibTeX

Volume 12, Number 3, July 2005

• Wolfgang Emmerich, David Wile:
  Introduction. 295-296
  Electronic Edition (link) BibTeX
• Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer:
  Component Verification with Automatically Generated Assumptions. 297-320
  Electronic Edition (link) BibTeX
• Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen:
  Deviation Analysis: A New Use of Model Checking. 321-347
  Electronic Edition (link) BibTeX
• Harry C. Li, Shriram Krishnamurthi, Kathi Fisler:
  Modular Verification of Open Features Using Three-Valued Model Checking. 349-382
  Electronic Edition (link) BibTeX
• Pankaj K. Garg:
  Desert Island Reading: Back to the Future. 383-384
  Electronic Edition (link) BibTeX

Volume 12, Number 4, October 2005

• Wolfgang Emmerich, David Wile:
  Introduction. 391-392
  Electronic Edition (link) BibTeX
• Steve Roach, Jeffrey Van Baalen:
  Automated Procedure Construction for Deductive Synthesis. 393-414
  Electronic Edition (link) BibTeX
• Robert J. Hall:
  Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications. 415-446
  Electronic Edition (link) BibTeX
• Prasanna Padmanabhan, Robyn R. Lutz:
  Tool-Supported Verification of Product Line Requirements. 447-465
  Electronic Edition (link) BibTeX