5. APSEC 1998: Taipei, Taiwan, ROC

Architecture, Framework & Components I

Formal Methods

Metrics & Quality Assurance

Architecture, Framework & Components II

Software Design Methodology

Validation and Verification I


Software Development Environment

Validation and Verification II

Object-Oriented Techniques I

Distributed and Mobil Systems

Object-Oriented Techniques II

a service of Schloss Dagstuhl - Leibniz Center for Informatics