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

maintained by Schloss Dagstuhl LZI at University of Trier