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...

Full description

Saved in:
Bibliographic Details
Main Authors : 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)
Corporate Authors : 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 : Thesis
Language : français
anglais
Title statement : 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é
Published : [S.l.] : [s.n.] , 2014
Online Access : Via Nantes Université network
Note de thèse : Thèse de doctorat : Informatique : Nantes : 2014
Subjects :
Ingénierie dirigée par les modèles
Logiciels > Vérification
Transformation de modèles > Oracles > Qualification
Thèses et écrits académiques
Related Items : Is reproduction of: Oracles du test de transformations de modèles

Internet

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