Ada Europe
University of the Balearic Islands

Conference Home Page

9th International Conference on

Reliable Software Technologies Ada-Europe 2004

Palma de Mallorca, 14-18 June 2004

Program

Tutorial Program

You can download the Tutorial Program in PDF format here.

The tutorials are from 9:00 to 12:30 in the morning and from 14:00 to 17:30 in the afternoon.

There will be coffee breaks from 10:30 to 11:00 and from 15:30 to 16:00.

You can download an abstract of each tutorial in the links below.

 
Monday
Friday
9:00-10:30

Tutorial 1: J.-P. Rosen
Developing a Web server in
Ada with AWS

Tutorial 8: B. Brosgol
Real-Time Java for Ada
programmers

10:30-11:00
Coffee
Coffee
11:00-12:30
Tutorial 1: J.-P. Rosen
Developing a Web server in
Ada with AWS
Tutorial 2: M. Heaney
Programming with the
Charles container library
Tutorial 3: G. Bernat
Probabilistic worst case
execution time analysis
Tutorial 6: P. Amey and R. Chapman
Practical experiences of safety
and security-critical
technologies
Tutorial 7: B. Lewis and E. Colbert
Developing fault-tolerant,
time-critical systems with
AADL, UML and Ada
Tutorial 8: B. Brosgol
Real-Time Java for Ada
programmers
12:30-14:00
Lunch
Lunch
14:00-15:30
Tutorial 1:  J.-P. Rosen
Developing a Web server in
Ada with AWS
 Tutorial 5: A. Strohmeier
Requirements analysis with
use clauses
Tutorial 6:  P. Amey and R. Chapman
Practical experiences of safety
and security-critical
technologies
 Tutorial 7: B. Lewis and E. Colbert
Developing fault-tolerant,
time-critical systems with
AADL, UML and Ada
Tutorial 8:  B. Brosgol
Real-Time Java for Ada
programmers
15:30-16:00
Coffee
Coffee
16:00-17:30
Tutorial 1:  J.-P. Rosen
Developing a Web server in
Ada with AWS
 Tutorial 4: M. Amado
No pointers, great
programs. How to stay on
the value semantics side of
the Ada way
 Tutorial 5: A. Strohmeier
Requirements analysis with
use clauses
 Tutorial 6: P. Amey and R. Chapman
Practical experiences of
safety and security-critical
technologies
 Tutorial 7: B. Lewis and E. Colbert
Developing fault-tolerant,
time-critical systems with
AADL, UML and Ada
 Tutorial 8: B. Brosgol
Real-Time Java for Ada
programmers


The organizers thank the supporters of the conference

 

Springer Verlag will publish the proceedings of the conference, as vol. 3063 of Lecture Notes in Computer Science.

Conference Home Page



Last Changed : 23/Sep/2003
Contents of this page : Albert Llamosí
Webmaster : Miquel Mascaró & Pere Palmer