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
Robert J. Hall:
Fundamental Nonmodularity in Electronic Mail. 41-79
Gruia-Catalin Roman, Jamie Payton:
A Termination Detection Protocol for Use in Mobile Ad Hoc Networks. 81-99
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
Susan Stepney:
Desert Island Column. 139-141

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

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

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