Preface

Organizing Committee (PDF)

pp. x

Steering Committee (PDF)

pp. xi

Program Committee (PDF)

pp. xii

Invited Talks (PDF)

pp. xiv

Mini-Tutorial 1 (PDF)

pp. xv

Mini Tutorial 2 (PDF)

pp. xvi

Panel: Automated Software Engineering ? Issues and Opportunities (PDF)

pp. xvii

Session 1a: Specification

A Tool for Automated System Analysis based on Modular Specifications (Abstract)

pp. 2

PDF

Management of Evolving Specifications using Category Theory (Abstract)

V. Wiels

S. Easterbrook

pp. 12

PDF

Specification-based Testing of Ada Units with Low Encapsulation (Abstract)

A. Reyes

D. Richardson

pp. 22

PDF

Identifying Pre-Conditions with the Z/EVES Theorem Prover (Abstract)

Yves Ledru, LSR/IMAG

pp. 32

PDF

Session 1b: Validation and Verification

Planning Equational Verification in CCS (Abstract)

pp. 43

PDF

Don't Verify, Abstract! (Abstract)

C. O'Halloran

A. Smith

pp. 53

PDF

A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL (Abstract)

H. Jacobsen

B. Krämer

pp. 63

PDF

Towards a Theory for Integration of Mathematical Verification and Empirical Testing (Abstract)

M. Lowry

M. Boyd

D. Kulkarni

pp. 322

PDF

Session 2b: Reuse

Specification-based Browsing of Software Component Libraries (Abstract)

B. Fischer

pp. 74

PDF

Reusability Hypothesis Verification using Machine Learning Techniques: A Case Study (Abstract)

Y. Mao

H. Sahraoui

H. Lounis

pp. 84

PDF

An Automated Approach for Supporting Software Reuse via Reverse Engineering (Abstract)

G. Gannod

Y. Chen

B. Cheng

pp. 94

PDF

Session 3b: Requirements

Towards the Automated Debugging and Maintenance of Logic-based Requirements Models (Abstract)

T.L. McCluskey, The University of Huddersfield

M.M. West, The University of Huddersfield

pp. 105

PDF

Explanation-based Scenario Generation for Reactive System Models (Abstract)

R. Hall

pp. 115

PDF

Automated Integrative Analysis of State-based Requirements (Abstract)

B. Czerny

M. Heimdahl

pp. 125

PDF

Session 4a: Testing

Automated Software Test Data Generation for Complex Programs (Abstract)

C. Michael

G. McGraw

pp. 136

PDF

Programmatic Testing of the Standard Template Library Containers (Abstract)

pp. 147

PDF

Testing using Log File Analysis: Tools, Methods, and Issues (Abstract)

J. Andrews

pp. 157

PDF

Session 4b: Synthesis

Schema-Guided Synthesis of Constraint Logic Programs (Abstract)

pp. 168

PDF

Automating UI Generation by Model Composition (Abstract)

K. Stirewalt

S. Rugaber

pp. 177

PDF

Session 5a: Short Papers

On Detecting and Handling Inconsistencies in Integrating Software Architecture Design and Performance Evaluation (Abstract)

pp. 188

PDF

Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications (Abstract)

Stefan Leue

Mohammad Rezai

pp. 192

PDF

Component-based Software Process Support (Abstract)

K. Gary

pp. 196

PDF

Illustrating Object-Oriented Library Reuse by Example: A Tool-Based Approach (Abstract)

Amir Michail

David Notkin

pp. 200

PDF

Dowsing: A Tool Framework for Domain-Oriented Browsing of Software Artifacts (Abstract)

Richard Clayton, Georgia Institute of Technology

Spencer Rugaber, Georgia Institute of Technology

Linda Wills, Georgia Institute of Technology

pp. 204

PDF

Session 5b: Short Papers

From Z to BON/Eiffel (Abstract)

R. Paige

J. Ostroff

pp. 209

PDF

Detection of Exclusive OR Global Predicates (Abstract)

E. Lee

C. Park

D. Lee

pp. 213

PDF

Statically Checkable Design Level Traits (Abstract)

J. Gil

Y. Eckel

pp. 217

PDF

Parameterising (Algebraic) Specifications on Diagrams (Abstract)

T. Dimitrakos

pp. 221

PDF

A Visualization Concept for Hierarchical Object Models (Abstract)

S. Joos

pp. 225

PDF

Session 6a: Program Understanding and Debugging

Task Oriented Software Understanding (Abstract)

pp. 230

PDF

Explaining Synthesized Software (Abstract)

pp. 240

PDF

A Configurable Automatic Instrumentation Tool for ANSI C (Abstract)

K. Templer

C. Jeffery

pp. 249

PDF

Session 6b: Synthesis and Development Environments

The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm (Abstract)

A. Haeberer

T. Maibaum

pp. 260

PDF

Planware ? Domain-Specific Synthesis of High-Performance Schedulers (Abstract)

J. Liu

pp. 270

PDF

Session 7a: Short Papers

ASSISTing Exit Decisions in Software Inspection (Abstract)

J. Miller

F. Macdonald

pp. 281

PDF

An Automated Framework for Structural Test-Data Generation (Abstract)

pp. 285

PDF

ADLscope: An Automated Specification-based Unit Testing Tool (Abstract)

J. Chang

D. Richardson

pp. 289

PDF

An Empirical Study of the Evolution of a Software System (Abstract)

R. Mark Greenwood, University of Manchester

Brian Warboys, University of Manchester

Rachel Harrison, University of Southampton

Peter Henderson, University of Southampton

pp. 293

PDF

A Coordination System Approach to Software Workflow Process Evolution (Abstract)

pp. 297

PDF

Session 7b: Short Papers

Requirements Engineering and Verification using Specification Animation (Abstract)

pp. 302

PDF

Automated Knowledge Acquisition and Application for Software Development Projects (Abstract)

E. Baisch

T. Liedtke

pp. 306

PDF

Developing the Designer's Toolkit with Software Comprehension Models (Abstract)

A. Walenstein

pp. 310

PDF

Development, Assessment, and Reengineering of Language Descriptions (Abstract)

A. Sellink

C. Verhoef

pp. 314

PDF

Brewing Fresh JAVA from Legacy Lisp ? An Experiment in Automated Reverse Engineering (Abstract)

T. Harmer

J. Boyle

pp. 318

PDF

Index of Authors (PDF)

pp. 333