ASE2002 Doctoral Symposium

Monday, 23rd September 2002, Edinburgh, UK

Programme

9.00- 9.15 Welcome/Overview of Symposium

 

9.15-10.00 Experiences building an ASE career - Recent PhD graduate in ASE

 

10.00-10.45 Karim-Cyril Griche: Automatic inter-procedural test-case generation

 

10.45-11.15 Morning Tea

 

11.15-12.00 Jitka Crhovav: Distributed modular model checking

 

12.00-12.45 Alin Stefanescu: Automatic synthesis of distributed systems

 

12.45- 1.30 Lunch

 

1.30- 2.15 Sigrid Goldmann: A model of planning and enactment support in software development environments

 

2.15- 3.00 Le Anh Tuyet: Process support for tools interoperability

 

3.00- 3.30 Afternoon Tea

 

3.30- 4.15 Abdelmadjid Ketfi: Adapting applications on the fly

 

4.15- 4.45 Ragnhild van der Straeten: Semantic links and co-evolution in object-oriented software development  

 

4.45- 5.00 Wrap-up            

 

7pm  ASE2002 Reception


Currently Maintained by Cecilia Mascolo (c.mascolo@cs.ucl.ac.uk)

Website hosted by the Software Systems Research Group / Dept. of Computer Science / UCL