Vous avez dit raffinement ?

Frédéric Gervais (1) , Marc Frappier , Régine Laleau (1)

1 CEDRIC - Centre d'études et de recherche en informatique et communications

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.

Domaines: Informatique [cs]; Langage de programmation [cs.PL]

Frédéric Gervais, Marc Frappier, Régine Laleau. Vous avez dit raffinement ?. [Research Report] CEDRIC-05-829, CEDRIC Lab/CNAM. 2005. ⟨hal-01125045⟩