Recherche simple :
Ressources pédagogiques
Ressources diverses
Thèses
Toutes les ressources
Thèses > Par auteur en fr
  • Nouveautés
  • Recherche avancée
  • Par auteur
  • Par date
  • Par laboratoire
  • Recherche thématique
Thèses -> Auteurs
Auteurs > B > Bousse Erwan
Niveau supérieur
  • 1 ressource a été trouvée.
  |< << Page précédente 1 Page suivante >> >| documents par page
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
Tri :   Date de référencement Editeur Auteur Titre

Execution trace management to support dynamic V&V for executable DSMLs
  • Consulter la notice
  • Date de publication : 
    • 03-12-2015  | 
  • Auteur(s) : 
    • Bousse Erwan  | 
  • Editeur(s) : 
    • Université de Rennes 1  | 
  • Origine de la fiche : 
    • Université de Rennes 1
  • Les techniques dynamiques de vérification et validation (V&V) de modèles sont nécessaires pour assurer la qualité des modèles exécutables. La plupart de ces techniques reposent sur la concept de trace d'exécution, une séquence contenant un ensemble d'informations sur une exécution. Par conséquent, pour permettre la V&V dynamique de modèles exécutables conformes à n'importe quel langage de modélisa...


  • Référencé le  : 
    • 24-03-2016
    |< << Page précédente 1 Page suivante >> >| documents par page
    © 2006-2010 ORI-OAI