Skip to Main content Skip to Navigation
Conference papers

Du cahier des charges à sa spécification

Imen Sayar 1 Jeanine Souquières 1, *
* Corresponding author
1 DEDALE - Development of specifications
LORIA - FM - Department of Formal Methods
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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/hal-02963455
Contributor : Jeanine Souquières <>
Submitted on : Saturday, October 10, 2020 - 2:22:30 PM
Last modification on : Wednesday, October 14, 2020 - 2:08:31 PM

File

afadl17.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02963455, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

7

Files downloads

4