9. FASE 2006: Vienna, Austria (Part of ETAPS 2006)

Invited Contributions

Distributed Systems

Orthogonal Process Activities

Behavioral Models and State Machines

Empirical Studies

Requirements and Design

Model-Based Development

Validation and Verification

Tool Demonstrations

Software Evolution