5. FASE 2002: Grenoble, France (Part of ETAPS 2002)

Formal Frameworks

Model and Program Analysis

Architecture Descriptions

Meta-Models

Formal Approaches towards UML

Requirements Engineering

Tool Demonstration