4. ICFEM 2002: Shanghai, China

Invited Talks

Component Engineering and Software Architecture

Method Integration

Specification Techniques and Languages

Tools and Environments

Refinement

Applications

Validation and Verification

UML

Semantics

maintained by Schloss Dagstuhl LZI at University of Trier