|
|
CUE Workshop Program
| THURSDAY, 7 October 2004 |
| 9:00 |
Integrating Tools for Practical
Software Analysis
Zohar Manna and Henny Sipma, Stanford University |
| 9:45 |
Discussion |
| 10:30 |
Coffee break |
| 11:00 |
Panel discussion: Architectures for Tool Integration
Chair: Gianluigi Ferrari
Panel members: Joseph Sifakis, Bernhard Steffen, Rance Cleaveland,
Lin Huimin
|
| 12:30 |
Lunch |
| 14:00 |
Panel discussion: On the Need for Improved Methods,
Models, and Languages in Tool-Based Software Development
Chair: Connie Heitmeyer
Panel members: Manfred Broy,
Insup Lee,
Shankar, Joseph Sifakis, Alan Wassyng
|
| 15:30 |
Coffee break |
| 16:00 |
Summary Discussion, Manfred Broy |
|
|