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