eth logo

LASER Summer School on Software Engineering

Practical Techniques of Software Quality

September 12 - 18, 2004
Elba, Italy

Directors: Bertrand Meyer (ETH Zurich), Carlo Ghezzi (Politecnico di Milano), Wolfgang Pree (Universitaet Salzburg)



  • Formal Methods Made Practical
    Jean-Raymond Abrial

  • Formal Methods for System Software
    Ernie Cohen

  • Agile Software Development - Practices, Patterns, Tools
    Erich Gamma

  • The Eiffel method in practice
    Bertrand Meyer

  • Formal Methods for Probabilistic Systems
    Carroll Morgan

  • Software Engineering for Communication Services
    Pamela Zave

  • Model Checking Component-Based Software
    Tutorial (2h)
    Natasha Sharygina

Department of Computer Science Last update: 2-Sep-2004 by