Oracles du test de transformations de modèles

Oracles du test de transformations de modèles

L Ingénierie Dirigée par les Modèles place les modèles au coeur du cycle de développement logiciel. Ces modèles évoluent par le biais de diverses transformations. Dans cette thèse nous nous sommes intéressés à la validation de ces transformations de modèles par le test, et en particulier à l oracle...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Finot Olivier (Auteur), Attiogbé Christian (Directeur de thèse, Membre du jury), Mottu Jean-Marie (Directeur de thèse, Membre du jury), Sunyé Gerson (Directeur de thèse, Membre du jury), Beugnard Antoine (Président du jury de soutenance, Membre du jury), Hammoudi Slimane (Rapporteur de la thèse, Membre du jury), Percebois Christian (Rapporteur de la thèse, Membre du jury)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), Université de Nantes Faculté des sciences et des techniques (Organisme de soutenance), École doctorale Sciences et technologies de l'information et mathématiques Nantes (Ecole doctorale associée à la thèse), Laboratoire d Informatique de Nantes Atlantique (UMR 6241) Nantes (Laboratoire associé à la thèse)
Format : Thèse ou mémoire
Langue : français
anglais
Titre complet : Oracles du test de transformations de modèles / Olivier Finot; sous la direction de Christian Attiogbé ; co-encadrants de thèse Jean-Marie Mottu et Gerson Sunyé
Publié : [S.l.] : [s.n.] , 2014
Accès en ligne : Accès Nantes Université
Note de thèse : Thèse de doctorat : Informatique : Nantes : 2014
Sujets :
Ingénierie dirigée par les modèles
Logiciels > Vérification
Transformation de modèles > Oracles > Qualification
Thèses et écrits académiques
Documents associés : Reproduction de: Oracles du test de transformations de modèles

Internet

https://archive.bu.univ-nantes.fr/pollux/show/show?id=2069ea58-6610-4161-8bef-5c993ad30652