Contribution à l'ingénierie des systèmes : Raffinement et Refactoring de spécifications UML
La spécification de systèmes complexes est une tâche difficile qui ne peut être accomplie en une seule étape. Dans les méthodes formelles, le concept de raffinement a donné lieu à de nombreux travaux dans lesquels la preuve de la correction entre les différents états de spécifications joue un rôle i...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
2012
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00693693 http://tel.archives-ouvertes.fr/docs/00/69/36/93/PDF/ThA_se-Boulbaba.Ben-Ammar.pdf |