Pre   DAIS-FMOODS   Tutorials
Tuesday 18 NOVEMBER 2003
Tutorial A

Context Aware Systems for Pervasive Computation

Jadwiga Indulska
 

Tutorial B

Developing Security Critical Distributed Systems with UML: Methods and Tools

Jan Jurjens

     

Tutorial C

Semantic Web enabled Web Services

Rubén Lara Hernández,
Christoph Bussler

 

Tutorial D

Action-based Model Checking 
(and its applications to distributed, mobile, object-oriented systems)


Alessandro Fantechi, 
Stefania Gnesi