Du cahier des charges à sa spécification
| Autor: | Sayar, Imen, Souquières, Jeanine |
|---|---|
| Přispěvatelé: | Souquières, Jeanine, Development of specifications (DEDALE), Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS) |
| Jazyk: | francouzština |
| Rok vydání: | 2017 |
| Předmět: | |
| Zdroj: | AFADL : Approches Formelles dans l'assistance au Développement de Logiciels AFADL : Approches Formelles dans l'assistance au Développement de Logiciels, Jun 2017, Montpellier, France |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|