3. APSEC 1996: Seoul, South Korea

Keynote Address

Real-Time Systems

Metrics

Development Environment I

Object-Oriented Development

Testing

Software

Industrial Application of the Object-Oriented Technology

Maintenance and Reuse

Formal Methods I

Validation and Verification

Formal Methods II

Distributed Systems

Design and Implementation

User Interaction

Panel

Concurrency

Development Environment II