ISI Seminar - Modélisation et Preuves - Jean-Raymond ABRIAL
| Date: |
10 decembre 2009
|
|
Heure: |
12h15 |
|
Lieu: |
Internef 237 |
Jean-Raymond ABRIAL
ETH Zürich
Modélisation et Preuves
On présente la nécessité de modéliser un logiciel avant de le programmer, et ceci quelque soit le type d'exécution finale (sequentielle, distribuée, concurrente, ...). On explique ce que l'on entend par "modéliser", en particulier par "modéliser à l'aide d'une approche mathématique". On explicite cela à l'aide d'un exemple.cf http://www.inf.ethz.ch/news/focus/res_focus/feb_2005
Jean-Raymond Abrial est un informaticien français, actuellement professeur à l'École polytechnique fédérale de Zurich, connu dans le monde du développement logiciel comme le créateur de la notation formelle Z et par la suite de la méthode de spécification formelle B (méthodes formelles). Il a d'ailleurs participé à l'implémentation de la suite d'outils utilisant cette méthode. [...] Il est aujourd'hui intéressé par la version événementielle de sa méthode et par la nouvelle mouture de celle-ci le "B #" (B Sharp) avec le projet Rodin" (wikipedia)
