4th ICFEM 2002: Shanghai, China

Refine list

showing all ?? records

Invited Talks

Component Engineering and Software Architecture

Method Integration

Specification Techniques and Languages

Tools and Environments

Refinement

Applications

Validation and Verification

UML

Semantics

a service of  Schloss Dagstuhl - Leibniz Center for Informatics