External Links

    Journal: Automated Software Engineering

    Volume 10, Issue 4

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

    Volume 10, Issue 3

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

    Volume 10, Issue 2

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

    Volume 10, Issue 1

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