Réunion Geccoo
Sophia-Antipolis
6-7 mai 2004
1 Participants
Gilles Barthe
Francoise Bellegarde
Didier Bert
Sylvain Boulmé
Fabrice Bouquet
Lilian Burdy
Fredéric Dadeau
Jean Duprat
Julien Groslambert
Marieke Huisman
Jacques Julliand
Claude Marché
Christine Paulin
Marie-Laure Potet
Silvio Ranise
Nicolas Stouls
Sorin Stratulat
Calogero Zarba
2 Programme
-
Jeudi 6 mai
- 12h30
- Déjeûner
- 14h
- Point sur les outils
- 15h30
- Pause café
- 16h00
- Cas d'étude : Spécification de Demoney
- 17h00
- Discussion
- 18h00
- Fin de la journée
- 20h00
- Dîner à Antibes
- Vendredi 7 mai
- 9h00
- Calogero Zarbo (post doc Nancy) - working plans
- 9h30
- Frédéric Dadeau - Animation symbolique de
spécifications JML
Transparents pdf
- 10h00
- Pause café
- 10h30
- Julien Groslambert - Etendre JML pour vérifier
quelques vivacités
- 11h00
- Sylvain Boulmé - conception d'un langage de
spécification objet
Transparents postscript
- 11h30
- Discussion, plan de travail
- 12h30
- Déjeûner
- 14h00
- Fin de la rencontre
This document was translated from LATEX by
HEVEA.