Du cahier des charges à sa spécification - Université de Lorraine Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Du cahier des charges à sa spécification

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-02963455 , version 1

Citer

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⟩
285 Consultations
289 Téléchargements

Partager

Gmail Facebook X LinkedIn More