La conférence se veut un plaidoyer, certes critique, pour l’usage de méthodes de spécifications formelles dans le développement de logiciels. Plus de discuter en détail de langages de spécifications ou d’aspects techniques, nous allons essayer de sonder l’intérêt, les avantages et les limitations de telles approches dans le processus de développement de gros logiciels ou de logiciels demandant des niveaux de fiabilité élevés.

Marc Gengler a fait des études d’informatique conclues par un doctorat à l’Université de Paris VI. Il a été ensuite pendant cinq ans assistant, puis 1er assistant à l’EPFL. En 1995 il a été nommé professeur associé à l’ENS de Lyon et en 1997 professeur à l’École supérieure d’ingénieurs de Luminy qui a récemment fusionné avec Polytech Marseille. De 1999 à 2010, il a été membre du Conseil scientifique du FNR au Luxembourg.

metaxy@uni.lu mission culture scientifique et technique http://metaxy.uni.lu

by