PDSE 1998: Kyoto, Japan

Invited Talks

Formal Specification and Modeling

Testing and Verification

Software Architecture

Performance Evaluation

Programming Environment

Software Engineering for Multimedia Programs

Case Study

Work in Progress

a service of Schloss Dagstuhl - Leibniz Center for Informatics