specifications formelles
specifications formelles - Algo - Programmation
Marsh Posté le 27-11-2005 à 12:42:23
spécifications d'applications et de programme afin de s'assurer de l'absence de "bugs"
Marsh Posté le 27-11-2005 à 13:24:40
OCL : http://neptune.irit.fr/Biblio/01-09-77.pdf
JML : http://www.cs.iastate.edu/~leavens/JML/
---------------
Scheme is a programmable programming language ! I heard it through the grapevine !
Marsh Posté le 28-11-2005 à 19:25:18
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)
Marsh Posté le 28-11-2005 à 19:38:42
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.
Marsh Posté le 28-11-2005 à 19:40:28
tu as des choses aussi bête que la théorie des types sinon, qui assure l'absence de certaines classes de bugs.
---------------
trainoo.com, c'est fini
Sujets relatifs:
- Specifications PersonalJava 1.2
- Recherche Spécifications W3C pour imprimer
- Les spécifications JAVA en francais, ca existe ?
- specifications code 128
- [APACHE] specifications des modules
Marsh Posté le 27-11-2005 à 02:16:01
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