Du cahier des charges à sa spécification

Le cahier des charges est un document de reference tout au long du developpement d'un systeme. Sa place commence par sa comprehension et sa structuration. Les liens entre ce document et la specification en Event-B definie en termes de ses differents raffinements nous amene a utiliser des outils de verification et de validation. Nous presentons quelques lecons sur le developpement de la machine d'hemodialyse.