15th ICSE 1993: Baltimore, Maryland, USA

Formal Methods

Metrics

Process

Testing

Process

Requirements Engineering

Process

Design Methods

Testing

Specification Methods

Software Engineering Environments

Reuse

Testing

Tools

maintained by Schloss Dagstuhl LZI, founded at University of Trier