SERP 2003: Las Vegas, Nevada, USA

Software Specifications: Techniques, Tools and Case Studies

Object Oriented Technology + OCL

Software Quality + Testing + Correctness

Implementation and Users Issues + Software Maintenance

Software Engineering Methods and Environments

Software Reuse + Reverse Engineering + Tools

Semantics

Late Papers and Post-Conference Papers

a service of Schloss Dagstuhl - Leibniz Center for Informatics