Software Engineering

14th International School for Computer Science Researchers
Lipari Island, June 30, 2002 - July 13, 2002

The Fourteenth International School for Computer Science Researchers addresses Ph.D. students and young researchers who want to get exposed to the forefront of research activity in the field of Software Engineering.


Prof. Alfredo Ferro, (University of Catania), Co-Chair
Prof. Egon Boerger, (University of Pisa), Co-Chair



First week
Software Architectures
Prof. David Garlan, Carnegie Mellon University, USA

Abstract State Machines: Theory, Implementation and Applications
Prof. Yuri Gurevich, Microsoft Research, USA

Rigorous UML-like Modeling Techniques
Prof. Elvinia Riccobene, University of Catania, Italy

Component Software
Prof. Clemens Szyperski, Microsoft Research, USA

Second week
The B Method for System Engineering
Dr. Jean-Raymond Abrial, Marseille, France

Using ASMs for Requirements Capture and Software Design
Prof. Egon Boerger, University of Pisa, Italy

From Design by Contract to Trusted Components
Prof. Bertrand Meyer, ETH (Zürich) and Interactive Software Engineering (USA)

Software Testing
Prof. Elaine Weyuker and Dr. Tom Ostrand, ATT Research, USA