Specifformelle 1
3500 mots
14 pages
Techniques de spécification formelles (TSF)Khalid Nafil knafil@gmail.com 02/09/13
Techniques de spécification formelles 1
Les mathématiques sont la seule science dans laquelle on sait exactement ce que l on dit et où l’on est certain que ce que l’on dit est vrai
02/09/13
Techniques de spécification formelles 2
Formal methods are controversial.
Their advocates claim that they can revolutionize development.
Their detractors think they are impossibly difficult
A. Hall
02/09/13
Techniques de spécification formelles 3
Spécifier ….?
!
!
!
!
!
Préciser Exprimer Définir Déterminer Indiquer
02/09/13
Techniques de spécification formelles 4
Formel
!
!
!
!
Clair Explicite Précis Catégorique
02/09/13
Techniques de spécification formelles 5
Spécifier formellement
!
!
!
!
Définir clairement Exprimer d une manière explicite Déterminer avec précision Précisier d une manière claire et explicite 02/09/13
Techniques de spécification formelles 6
Preuve formelle
!
!
!
!
Incontestable Indéniable Indiscutable Irréfutable
02/09/13
Techniques de spécification formelles 7
Introduction
! Times flies like an arrow :
– Le temps passe très vite
– Les mouches du temps aiment une flèche
– Chronométrez les mouches, comme vous chronométrez les flèches
02/09/13
Techniques de spécification formelles 8
! Cantor a tué Cantor
! Le mot court est plus long que le mot long ! …
⇒ La langage naturel n a pas les mêmes qualités attendues d’un langage de spécification
02/09/13
Techniques de spécification formelles 9
Méthodes formelles :
! Formal methods used in developing computer systems are mathematically based techniques for describing system properties. Such formal methods provide frameworks within which people can specify, develop, and verify systems in a systematic, rather than ad hoc manner.
The Encyclopedia of Software Engineering
02/09/13
Techniques de spécification formelles 10
! A method is formal if it has a sound