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
Auteur principal : Finot Olivier (Auteur)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), Université de Nantes Faculté des sciences et des techniques (Autre partenaire associé à la thèse), É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)
Autres auteurs : Attiogbé Christian (Directeur de thèse), Mottu Jean-Marie (Directeur de thèse), Sunyé Gerson (Directeur de 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
Description matérielle : 1 vol. (133 p.)
Note de thèse : Thèse de doctorat : Informatique : Nantes : 2014
Disponibilité : Publication autorisée par le jury
Sujets :
Ingénierie dirigée par les modèles > Thèses et écrits académiques
Logiciels > Vérification > Thèses et écrits académiques
Transformation de modèles > Oracles > Qualification
Documents associés : Reproduit comme: Oracles du test de transformations de modèles

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Magasin aérotherme 2014 NANT 2005 Empruntable Disponible
Magasin aérotherme 2014 NANT 2005 Exclu du prêt disponible