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