Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=192302000.

Execution trace management to support dynamic V&V for executable DSMLs / Erwan Bousse ; sous la direction de Benoit Baudry

Date :

Editeur / Publisher : , 2015

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

Ingénierie dirigée par les modèles -- Thèses et écrits académiques

Logiciels -- Vérification -- Thèses et écrits académiques

Logiciels -- Validation -- Thèses et écrits académiques

Baudry, Benoit (Directeur de thèse / thesis advisor)

Université de Rennes 1 (Organisme de soutenance / degree-grantor)

École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (Ecole doctorale associée à la thèse / doctoral school)

Université européenne de Bretagne (Autre partenaire associé à la thèse / thesis associated third party)

Institut de recherche en informatique et systèmes aléatoires (Rennes) (Laboratoire associé à la thèse / thesis associated laboratory)

Institut de recherche en informatique et systèmes aléatoires (Rennes) (Laboratoire associé à la thèse / thesis associated laboratory)