Construction de spécifications formelles abstraites dirigée par les buts
Avec la plupart des méthodes formelles, un premier modèle peut être raffiné formellement en plusieurs étapes, jusqu'à ce que le raffinement final contienne assez de détails pour une implémentation. Ce premier modèle est généralement construit à partir de la description des besoins obtenue dans...
Main Author: | |
---|---|
Language: | fra |
Published: |
Université Paris-Est
2011
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00680736 http://tel.archives-ouvertes.fr/docs/00/68/07/36/PDF/TH2011PEST1036_complete.pdf |