LURPA > Manifestations > Sûreté de Fonctionnement
06/02/2015 : Méthode B : langage, raffinement et applications
le 6 février 2015
14h - Méthode B : langage, raffinement et applications - Frédéric Gervais (Université Paris-Est Créteil)
Exposé (14h)
Résumé : Cet exposé est essentiellement une introduction à la méthode B, initiée par Jean-Raymond Abrial et qui a été appliquée dans un premier temps dans le domaine ferroviaire. Dans la première partie, le langage du B classique sera présenté en détail. La deuxième partie sera consacrée à la technique de raffinement.
- Titre : Méthode B : langage, raffinement et applications
- Intervenant : Frédéric Gervais (Université Paris-Est Créteil)
Résumé : Cet exposé est essentiellement une introduction à la méthode B, initiée par Jean-Raymond Abrial et qui a été appliquée dans un premier temps dans le domaine ferroviaire. Dans la première partie, le langage du B classique sera présenté en détail. La deuxième partie sera consacrée à la technique de raffinement.
- Lieu(x) :
- Ecole Centrale de Paris
Salle D401 du LGI