Achievements/Challenges 1: Ubiquitous and Distributed Systems
Wednesday, May 24 -
11:10-12:40pm, Yangtze River Hall, 5F
Session Chair: Jeff Kramer (Imperial College)
Invited Talk - Challenges in the Age of
Ubiquitous Computing: A Case Study of T-Engine, An Open Development
Platform for Embedded Systems,
K. Sakamura (Graduate School of the University of Tokyo)
A Software Architecture-Based Framework for Highly Distributed and Data Intensive Scientific Applications, Chris Mattmann, Jet Propulsion Laboratory and University of Southern California, USA; Daniel Crichton, Jet Propulsion Laboratory, USA; Nenad Medvidovic, University of Southern California, USA; Steve Hughes, California Institute of Technology, USA
Achievements/Challenges 2: Domain-Specific Challenges
Wednesday, May 24 -
4:00-5:30pm, Yangtze River Hall, 5F
Session Chair: Jeff Kramer (Imperial College)
A Research Agenda for Distributed Software Development, Bikram Sengupta,
IBM Research and Indian Institute of
Technology, India; Satish Chandra, IBM Research, USA;
Vibha Sinha, IBM Research and Indian Institute of Technology, India
Managing Exceptions in the Medical Workflow Systems, Minmin Han, Siemens Corporate Research Inc., USA; Thomas Thiery, Technische Universität München, Germany; Xiping Song, Siemens Corporate Research Inc., USA
Multi-Platform User Interface Construction – a Challenge for Software Engineering in-the-Small, Judith Bishop, U. of Pretoria, South Africa
Research Track 12 + Achievements/Challenges 3
Thursday, May 25 -
4:00-5:30pm, Pearl Hall, 7F
Chair: Dieter Rombach (Technische Universität Kaiserslautern)
Session Chair: Rance Cleaveland (University of Maryland)
Invited Talk - Software Engineering for the Automotive Industry, Manfred Broy (Technische Universität München)
Achievements/Challenges 4: Formal Methods
Friday, May 26 -
11:00-12:30pm, 5D and 5E
Session Chair: Jeff Kramer (Imperial College)
Invited Talk - Formal Methods in Industry: Achievements, Problems, Future, J.-R. Abrial (Swiss Federal Institute of Technology)
Discussion