Announcing Lipari 2002 Summer School on Sw Engg

[boerger]

please forward to those interested

             Lipari SOFTWARE ENGINEERING Summer School=20

                 Lipari, Sicily, 30.6.-13.7. 2002=20
                  =20
           http://lipari.cs.unict.it/lipari/index.htm=20

PROGRAM (Courses of 5x2 lecture hours each):

Software Architectures (David Garlan, Carnegie Mellon University, USA)
Abstract State Machines: Theory, Implementation and Applications=20
                        (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,=20
                                           Marseille, France)
From Design by Contract to Trusted Components
             (Bertrand Meyer, ETH Z=FCrich and=20
                        Interactive Software Engineering, USA)=20
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=20