Intégration des activités de preuve dans le processus de développement de logiciels pour les systèmes embarqués
En dépit de l'efficacité des méthodes formelles, en particulier les techniques d'analyse de modèles (model checking), à identifier les violations des exigences dans les modèles de conception, leur utilisation au sein des processus de développement industriel demeure limitée. Ceci est dû pr...
Main Author: | |
---|---|
Language: | FRE |
Published: |
2012
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00728431 http://tel.archives-ouvertes.fr/docs/00/72/84/31/PDF/2012telb0219_Raji_Amine.pdf |