Du cahier des charges à sa spécification - Université de Lorraine Access content directly
Conference Papers Year : 2017

Du cahier des charges à sa spécification

Abstract

Le cahier des charges est un document de référence tout au long du développement d'un système. Sa place commence par sa compréhension et sa structuration. Les liens entre ce document et la spécification en Event-B définie en termes de ses différents raffinements nous amène à utiliser des outils de vérification et de validation. Nous présentons quelques leçons sur le développement de la machine d'hémodialyse.
Fichier principal
Vignette du fichier
afadl17.pdf (621.01 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02963455 , version 1 (10-10-2020)

Identifiers

  • HAL Id : hal-02963455 , version 1

Cite

Imen Sayar, Jeanine Souquières. Du cahier des charges à sa spécification. AFADL : Approches Formelles dans l'assistance au Développement de Logiciels, Jun 2017, Montpellier, France. ⟨hal-02963455⟩
270 View
280 Download

Share

Gmail Facebook X LinkedIn More