Alloy4PV : un Framework pour la Vérification de Procédés Métiers
Dans cette thèse, nous avons tout d'abord fait une étude de l'état de l'art dans les différents domaines des procédés (métier, logiciel, militaire, médical, etc) afin d'identifier et de catégoriser les principales propriétés à garantir. À partir de cette étude, nous avons défini...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2015
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2015PA066024/document |