4. APSEC / 4. ICSC 1997: Clear Water Bay, Hong Kong

Metrics and Quality Assurance

Formal Methods

Knowledge and Logic Based Systems

Object-Oriented Techniques

Validation and Verification I

Distributed and Mobile Systems

Software Design Methodology I

Validation and Verification I

Software Process

Software Design Methodology II

User Interaction

Testing

Software Development Environment

Concurrency

Concise Papers

Tutorial Summaries