please forward to those interested
Lipari SOFTWARE ENGINEERING Summer School
Lipari, Sicily, 30.6.-13.7. 2002
http://lipari.cs.unict.it/lipari/index.htm
PROGRAM (Courses of 5x2 lecture hours each):
Software Architectures (David Garlan, Carnegie Mellon University, USA)
Abstract State Machines: Theory, Implementation and Applications
(Yuri Gurevich, Microsoft Research, USA)
Component Software (Clemens Szyperski, Microsoft Research, USA)
Rigorous UML-like Modeling Techniques (Elvinia Riccobene,
University of Catania, Italy)
The B Method for System Engineering (Jean-Raymond Abrial,
Marseille, France)
>From Design by Contract to Trusted Components
(Bertrand Meyer, ETH Z�rich and
Interactive Software Engineering, USA)
Software Testing (Elaine Weyuker and Tom Ostrand, ATT Research, USA)
Using ASMs for Requirements Capture and Software Design (Egon Boerger,
University of Pisa, Italy)
PhD students and researchers are welcome as participants.
For further information and registration see
http://lipari.cs.unict.it/lipari/index.htm
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
