|
 
|
[GFL05] Vous avez dit raffinement ?
Rapport Scientifique : Date de dépot: 2005/01/01, (Tech. Rep.: CEDRIC-05-829)
motcle:
Résumé:
Le raffinement est une technique qui permet de transformer progressivement une spécification abstraite en une implémentation. Utilisé dans les approches formelles, il assure que l'implémentation obtenue respecte la spécification initiale. Dans ce rapport, nous présentons les bases du raffinement ainsi que son application dans quelques langages formels.
BibTeX
| @techreport { | |||
| GFL05, | |||
| title | = | "{Vous avez dit raffinement ?}", | |
| author | = | "F. Gervais and M. Frappier and R. Laleau", | |
| number | = | "{CEDRIC-05-829}", | |
| institution | = | "{CEDRIC laboratory, CNAM-Paris, France}", | |
| date | = | {01-01-2005}, | |
| } | |||
