2000
|
|
|
|
- 9:00 am |
Opening & Welcome |
|
- 10:00 am |
Formalizing
Pattern Applicability - An Approach based on UML and
B |
|
- 11:00 am |
Model-based
Automated Analysis of Dependable Interactive Systems |
|
- 11:30 am |
Break |
|
- 12:30 pm |
An
incremental formal approach to real-time systems |
|
- 2:00 pm |
Lunch |
|
- 3:00 pm |
Software
Architecture : An Industrial Experiment with Dassault
Systèmes |
|
- 4:00 pm |
Specification
of Distributed Systems with Algebraic and Transitional
Techniques |
|
- 4:30 pm |
Break |
|
- 5:30 am |
Constraint
of Model-Based Test Generation Using Input-Output
Analysis |
|
- 6:00 am |
Invited speaker: |
The proceedings of the Doctoral Symposium are available as an
IRISA technical report, number
PI-1353.
It is possible that the report will not display correctly using a
viewer like gv. But it should print OK.
The panel of the Doctoral Symposium consisted of:
The Doctorial Symposium took place on the ground floor of the UFR IMA building on the Campus (see the ASE'00 travel information), as you can see from the Doctoral Symposium students standing in front of the buidling.
