12th ICSE 1990: Nice, France

Refine list

showing all ?? records

Process Models 1

Formal Verification

Recent Advances in Metrics

Real-Time and Reactive Systems


Metrics and Reliability

Panel: Software-Re-Engineering

Experience Reports I

Tools for Formal Verification

Recent Advances in Object-Management Systems


Experience Reports II

Design and Architecture

Panel: Real-Life Safety-Critical Software

Workshop Reports

AI Applications to Software Engineering

Panel: Industrial Experience with Formal Methods

Process Models 2

Technology Transfer

Systems Engineering

Configuration Management

Panel: Experience Using Defined Process for Technology Transfer

a service of  Schloss Dagstuhl - Leibniz Center for Informatics