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.
Directors
|
Prof. Alfredo Ferro, (University of Catania), Co-Chair |
|
|
Prof. Egon Boerger, (University of Pisa), Co-Chair |
|
Courses |
|
|
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 |
|
