Conception et implantation du langage FoC pour le développement de logiciels certifiés
Cette thèse porte sur la construction d'un environnement pour développer des librairies de calcul formel certifié. Nous présentons d'abord les espèces, structures servant à décrire des spécifications par héritage multiple, raffinement et paramétrisation. Les collections, construites par en...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Pierre et Marie Curie - Paris VI
2003
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00007143 http://tel.archives-ouvertes.fr/docs/00/04/71/95/PDF/tel-00007143.pdf |