Amélioration des processus de vérification de programmes par combinaison des méthodes formelles avec l'ingénierie dirigée par les modèles
Lors d'un développement logiciel, et plus particulièrement d'un développement d'applications embarquées avioniques, les activités de vérification représentent un coût élevé. Une des pistes prometteuses pour la réduction de ces coûts est l'utilisation de méthodes formelles. Ces mé...
| Main Author: | |
|---|---|
| Language: | fra |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-01073570 http://tel.archives-ouvertes.fr/docs/01/07/35/70/PDF/DTIM14058.1412168244.pdf |