17. ASE 2002: Edinburgh, Scotland, UK

Regular Papers

Software Design and Synthesis

Verification and Validation

Experience Reports

Software Specification

Program Understanding

Testing

Requirements Engineering

Reasoning Technology

Short Papers

Workshop Report

Doctoral Symposium