From Research to Teaching Formal Methods: The B Method - TFM-B'2009
Comité de programme / Program Committee
Résumé
"Or certains n'admettent qu'un langage mathématique ; d'autres ne veulent que des exemples ; d'autres entendent qu'on recoure à l'autorité de quelque poète ; d'autres, enfin, exigent pour toutes choses une démonstration rigoureuse, tandis que d'autres jugent cette rigueur excessive, soit par impuissance à suivre la chaîne du raisonnement, soit par crainte de se perdre dans les futilités." de Aristote, La métaphysique, tome 1, Vrin La première édition des journées scientifiques, multidisciplinaires, de l'Université de Nantes a eu lieu en juin 2008. Fort du succès, l'Université recommence cette année 2009, nous donnant aussi l'occasion de rééditer avec l'association de pilotage des conférences B (APCB) notre colloque sur le lien entre la Recherche et l'Enseignement des méthodes formelles, en particulier la méthode B. Ce colloque vient compléter la série de conférences internationales sur B qui a débuté à Nantes en 1996.
Origine | Fichiers produits par l'(les) auteur(s) |
---|