12. ICSE 1990: Nice, France

Process Models 1

Formal Verification

Recent Advances in Metrics

Real-Time and Reactive Systems

Environments

Metrics and Reliability

Panel: Software-Re-Engineering

Experience Reports I

Tools for Formal Verification

Recent Advances in Object-Management Systems

Prototyping

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