Une approche multi-vue pour la modélisation système de propriétés fonctionnelles et non-fonctionnelles
Au niveau système, un ensemble d'experts spécifient des propriétés fonctionnelles et non fonctionnelles en utilisant chacun leurs propres modèles théoriques, outils et environnements. Chacun essaye d'utiliser les formalismes les plus adéquats en fonction des propriétés à vérifier. Cependan...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Université Nice Sophia Antipolis
2013
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00931001 http://tel.archives-ouvertes.fr/docs/00/97/46/16/PDF/2013NICE4153.pdf |