Automated Software Engineering, Volume 10

Volume 10, Number 1, January 2003

• Cecilia Mascolo, Wolfgang Emmerich, Anthony Finkelstein: Guest Editorial: XML and Software Engineering. 5-6 BibTeX
• Perdita Stevens: Small-Scale XMI Programming: A Revolution in UML Tool Use? 7-21 BibTeX
• Baltasar Trancón-y-Widemann, Markus Lepper, Jacob Wieland: Automatic Construction of XML-Based Tools Seen as Meta-Programming. 23-38 BibTeX
• Raimondas Lencevicius, Urs Hölzle, Ambuj K. Singh: Dynamic Query-Based Debugging of Object-Oriented Programs. 39-74 BibTeX
• Gabriele Jost, Robert Hood: Relative Debugging of Automatically Parallelized Programs. 75-101 BibTeX
• Robert J. Hall: Some Reading for ASE Island. 103-109 BibTeX

Volume 10, Number 2, April 2003

• Perry Alexander, Pierre Flener:
  Guest Editorial: ASE 2000 Special Issue. 119-120
  Electronic Edition (link) BibTeX
• Robert J. Hall:
  A Supermodel Framework Supporting Validated Upgrading of Reactive Systems. 121-155
  Electronic Edition (link) BibTeX
• H. M. Harmain, Robert J. Gaizauskas:
  CM-Builder: A Natural Language-Based CASE Tool for Object-Oriented Analysis. 157-181
  Electronic Edition (link) BibTeX
• Guido Malpohl, James J. Hunt, Walter F. Tichy:
  Renaming Detection. 183-202
  Electronic Edition (link) BibTeX
• Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda:
  Model Checking Programs. 203-232
  Electronic Edition (link) BibTeX
• Gerhard Fischer:
  Desert Island: Software Engineering - A Human Activity. 233-237
  Electronic Edition (link) BibTeX

Volume 10, Number 3, July 2003

• Raul Monroy:
  Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm. 247-269
  Electronic Edition (link) BibTeX
• Eleni Stroulia, Mohammad El-Ramly, Paul Iglinski, Paul G. Sorenson:
  User Interface Reverse Engineering in Support of Interface Migration to the Web. 271-301
  Electronic Edition (link) BibTeX
• John C. Grundy:
  Desert Island. 303-304
  Electronic Edition (link) BibTeX

Volume 10, Number 4, October 2003

• Thomas R. Dean, James R. Cordy, Andrew J. Malton, Kevin A. Schneider:
  Agile Parsing in TXL. 311-336
  Electronic Edition (link) BibTeX
• Haiping Xu, Sol M. Shatz:
  ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems. 337-365
  Electronic Edition (link) BibTeX
• Thomas Ellman, Ryan Deak, Jason Fotinatos:
  Automated Synthesis of Numerical Programs for Simulation of Rigid Mechanical Systems in Physics-Based Animation. 367-398
  Electronic Edition (link) BibTeX
• Martin Glinz:
  Desert Island Column. 399-402
  Electronic Edition (link) BibTeX