9. APSEC 2002: Gold Coast, Queensland, Australia

Requirements Engineering

Formal Methods (Refinement)

Components

Design

Formal Specifications Analysis

Programming Languages and Software Engineering

Keynote

Education

Model Checking

Human Computer Interaction

Keynote

Software Design and Architecture

Formal Methods (Components)

Software Maintenance

Software Process

Formal Methods (Design)

Server-Based Applications

Panel

Review and Testing

UML

Measurement

Keynote

Documentation

Project Management

Knowledge-Based Approaches