


default search action
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 - Perdita Stevens:
Small-Scale XMI Programming: A Revolution in UML Tool Use? 7-21 - Baltasar Trancón y Widemann
, Markus Lepper, Jacob Wieland:
Automatic Construction of XML-Based Tools Seen as Meta-Programming. 23-38 - Raimondas Lencevicius, Urs Hölzle, Ambuj K. Singh:
Dynamic Query-Based Debugging of Object-Oriented Programs. 39-74 - Gabriele Jost, Robert Hood:
Relative Debugging of Automatically Parallelized Programs. 75-101 - Robert J. Hall:
Some Reading for ASE Island. 103-109
Volume 10, Number 2, April 2003
- Perry Alexander, Pierre Flener
:
Guest Editorial: ASE 2000 Special Issue. 119-120 - Robert J. Hall:
A Supermodel Framework Supporting Validated Upgrading of Reactive Systems. 121-155 - H. M. Harmain, Robert J. Gaizauskas
:
CM-Builder: A Natural Language-Based CASE Tool for Object-Oriented Analysis. 157-181 - Guido Malpohl, James J. Hunt, Walter F. Tichy:
Renaming Detection. 183-202 - Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda:
Model Checking Programs. 203-232 - Gerhard Fischer:
Desert Island: Software Engineering - A Human Activity. 233-237
Volume 10, Number 3, July 2003
- Raúl Monroy
:
Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm. 247-269 - Eleni Stroulia
, Mohammad El-Ramly, Paul Iglinski, Paul G. Sorenson:
User Interface Reverse Engineering in Support of Interface Migration to the Web. 271-301 - John C. Grundy
:
Desert Island. 303-304
Volume 10, Number 4, October 2003
- Thomas R. Dean, James R. Cordy, Andrew J. Malton, Kevin A. Schneider
:
Agile Parsing in TXL. 311-336 - Haiping Xu, Sol M. Shatz:
ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems. 337-365 - Thomas Ellman, Ryan Deak, Jason Fotinatos:
Automated Synthesis of Numerical Programs for Simulation of Rigid Mechanical Systems in Physics-Based Animation. 367-398 - Martin Glinz:
Desert Island Column. 399-402

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.