Skip to Main content Skip to Navigation
Reports

Vous avez dit raffinement ?

Abstract : 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.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01125045
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 10:56:47 AM
Last modification on : Saturday, February 9, 2019 - 1:25:40 AM

Identifiers

  • HAL Id : hal-01125045, version 1

Collections

Citation

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

Share

Metrics

Record views

19