Utilisation de B pour la vérification de spécifications UML et le développement formel orienté objet
Le couplage des approches orientées objets avec la méthode B est une piste pour l'amélioration de l'activité de spécification et de développement de logiciels. La méthode B fournit des notations et des outils supports puissants permettant de modéliser et de vérifier des modèles. Les approc...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Nancy II
2006
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00080852 http://tel.archives-ouvertes.fr/docs/00/08/08/52/PDF/phd.pdf |