Tutorials
-
T1:
Common Framework Initiative for Algebraic Specification and Development of Software
-
Presenters
Cofi Group
Date
April 1st (full day)
SHORT PRESENTATION
WEB PAGE
-
T2:
Abstract State Machines: Surveying their Theory and their Industrial Employment
-
Presenters
E. Boerger, Joachim Schmid.
Date
April 1st morning (half day)
SHORT PRESENTATION
WEB PAGE
-
T3:
Compiling object-oriented programming languages
-
CANCELLED
-
T4:
Rule based programming using ELAN: a Tutorial
-
Presenters
C. Kirchner,
P.-E. Moreau,
C. Ringeissen.
Date
April 1st (full day)
SHORT PRESENTATION
WEB PAGE
-
T5:
Mathematical Foundations for Software Architecture
-
Presenters
J. L. Fiadeiro,
A. Lopes,
M. Wermelinger.
Date
April 1st afternoon (half day)
SHORT PRESENTATION
WEB PAGE
-
T6:
Rigorous Analysis and Design with the Unified Modeling Language (UML)
-
Presenters
R. France,
J.-M. Bruel.
Date
April 1st (full day)
SHORT PRESENTATION
WEB PAGE
-
T7:
Domain Analysis and Engineering with Sherlock -
Producing Software Product Lines
-
CANCELLED
-
T8:
Extreme Modeling - Closing the Gap between Modeling and XP
-
CANCELLED
-
T9:
Precise Component Architectures with UML/Catalysis
-
CANCELLED
-
T10:
TTCN-3 - The new testing language for telecom and datacom
-
CANCELLED