Génération de code fonctionnel certifié à partir de spécifications inductives dans l'environnement Focalize
Résumé
resume
Communication Dans Un Congrès
Année : 2010
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01125723
Soumis le : vendredi 6 mars 2015-11:25:01
Dernière modification le : mardi 9 avril 2024-17:12:46
Dates et versions
Identifiants
- HAL Id : hal-01125723 , version 1
Citer
David Delahaye, Catherine Dubois, Pierre-Nicolas Tollitte. Génération de code fonctionnel certifié à partir de spécifications inductives dans l'environnement Focalize. Journ?es Francophones des Langages Applicatifs (JFLA'10), Jan 2010, La Ciotat, France. pp.55-81. ⟨hal-01125723⟩
Collections
21
Consultations
0
Téléchargements