5. FMOODS 2002: Enschede, The Netherlands

Invited Presentations

Multiple Viewpoint Modelling

Types, Service Types and Subtyping

Semantics of Object-Based Programming Languages

Verification and Validation

Specification and Analysis Techniques

Schloss Dagstuhl LZI