Oracles et qualification du test de transformations de modèles
Dans l'Ingénierie Dirigée par les Modèles, les modèles sont des éléments productifs pour le développement logiciel. Ils sont exploités par les transformations de modèles qui automatisent les étapes du développement. Dans nos travaux de thèse, nous contribuons au test de transformations de modèl...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Rennes 1
2008
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00514506 http://tel.archives-ouvertes.fr/docs/00/51/45/06/PDF/Mottu08c.pdf |