Annonce des journées
Programme
[
13 juin |
14 juin
]
Liste des participants
292 rue St Martin
Paris 3ème
Métros : Réaumur-Sebastopol, Arts et Métiers
Comité de programme : Bruno Tatibouët, Georges Mariano.
| 9H30 | Accueil des participants |
| 10h-10h30 |
Un environnement pour le prototypage rapide du langage B : ABTools J.L. Boulanger (Université Technologique de Compiègne) Résumé en pdf Transparents (pdf) |
| 10h30-11h |
Intégration du B événementiel dans l'atelier B L. Voisin (Clearsy) Résumé (pdf) Transparents (pdf) |
| 11h-11h45 |
Architecture de traduction pour le projet RNTL B-OM L. Voisin (ClearSy) Résumé (pdf) Transparents (pdf) |
| 12h-13h | Repas |
| 13h-13h45 |
Plugin B, Type-Checking, Génération de code Java et visualisation
de projets B en HTML dans la nouvelle plate-forme jBTools B. Tatibouet, J.C. Voisinet (LIFC) Résumé en pdf Transparents (pdf) |
| 13H45-14h15 |
La boite à outils BOB D. Bert (LSR-IMAG) Résumé (pdf) Transparents (pdf) |
| 14H15-15h |
BZ-Testing-Tools : animation et génération de tests aux limites
à partir d'un modèle formel B en Programmation en Logiques avec
Contraintes F. Ambert, F. Bouquet, S. Chemin, S. Guenaud, B. Legeard, F. Peureux, N. Vacelet (LIFC) Résumé en pdf Transparents (pdf) |
| 15h-15h30 | Pause |
| 15h30-16h |
La plate-forme BCaml D. Petit (INRETS-ESTAS, Université de Valenciennes) Transparents (pdf) |
| 16h-16h45 |
Génération automatique de code à partir de spécifications B D. Petit, G. Mariano, V. Poirriez (INRETS-ESTAS, Université de Valenciennes) Résumé en pdf Transparents (pdf) |
| 16h45-17h15 |
B et le temps réel : étude de l'intégration du calcul des durées S. Colin, G. Mariano, V. Poirriez (INRETS-ESTAS, Université de Valenciennes) Résumé (pdf) Transparents (pdf) |
Comité de programme :
Dominique Cansell,
Mamoun Filali.
| 9h | Accueil des participants |
| 9h30-10h45 |
Modélisation formelle par événements. Jean-Raymond Abrial (Consultant, Marseille) Résumé Transparents (pdf) |
| 10h45-11h15 | Pause |
| 11h15-12h15 |
B Système : Spécification fonctionnelles systèmes. Didier Essamé & Daniel Dollé & Jérôme Falampin (Siemens) Résumé Transparents (ppt) |
| 12h15 | Déjeuner |
| 13h45-14h30 |
Une machine virtuelle pour le B événementiel. Mamoun Filali & Jean-Paul Bodeveix (IRIT, Toulouse) Résumé Transparents (pdf) Transparents (ps) |
| 14h30-15h15 |
Preuve d'un vérifieur de byte code JavaCard : métriques et
retour d'expérience. Lilian Burdy (Gemplus Research Lab, Gémenos) Résumé Transparents (ppt) |
| 15h15-15h45 | Pause |
| 15h45-16h45 |
La Balbulette. Jean-Raymond Abrial (Consultant Marseille) & Dominique Cansell (LORIA-INRIA) Résumé Transparents (pdf) |
| 17h | Fin des journées |
| Dernière mise à jour 1er juillet 2002 | Last updated 1st July 2002 |