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

en relation