3. SEFM 2005: Koblenz, Germany

Cover

Introduction

Keynote Talk 1

Testing

Real-Time Systems

Keynote Talk 2

Static Analysis

Requirements and Specification

Keynote Talk 3

Program Verification

True Concurrency

The FME Lecture (Keynote Talk 4)

Formal Methods for Maintenance and Change

Keynote Talk 5

Abstraction

Human-Computer Interaction

Tools and Practice

Component-Based Development

Quality of Service