3. ESEC 1991: Milan, Italy

Invited Papers

Formal Approaches

Experience With Formal Methods

Real-Time Systems I

Real-Time Systems II

Coping with Changes

Software Re-Engineering

Metrics

Formal Bases

Environments I

Environments II

Position Papers

Panel 1: Impact of Software Engineering Researches on Industrial Practice

Panel 2: Requirements Engineering: The Neats Versus the Scruffies

Panel 3: CASE Support for the Software Process