Salut à tous
 
Je recherche de la biblio sur les différentes techniques de spécifications formelles.
La plupart des bouquins sur le sujet sont assez vieux et épuisés.
Je compte faire un tour à l'INRIA la semaine prochaine mais j'ai pas beaucoup de temps à y passer. Donc si quelques personnes avaient des références pour optimiser ma visite, ça serait sympa.
 
merci

spécification de quoi ?

spécifications d'applications et de programme afin de s'assurer de l'absence de "bugs"

OCL : http://neptune.irit.fr/Biblio/01-09-77.pdf
 
JML : http://www.cs.iastate.edu/~leavens/JML/

Méthode B : http://www.atelierb.societe.com/ (utilisé pour les systèmes critiques - tours de contrôles et RER Météor par exemple)

merci pour le lien tortoose.
Le langage B est effectivement l'une des techniques de spécifications formelles la plus développée jusqu'à présent.

tu as des choses aussi bête que la théorie des types sinon, qui assure l'absence de certaines classes de bugs.