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 > L > Lamercerie Aurélien
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

Principe de transduction sémantique pour l’application de théories d’interfaces sur des documents de spécification
  • Consulter la notice
  • Date de publication : 
    • 08-04-2021  | 
  • Auteur(s) : 
    • Lamercerie Aurélien  | 
  • Editeur(s) : 
    • Universite de Rennes 1, Rennes 1  | 
  • Origine de la fiche : 
    • Université de Rennes 1
  • La spécification de systèmes techniques est une tâche complexe et source d'erreurs. D'un point de vue méthodologique, les caractéristiques attendues doivent être rigoureusement spécifiées. En pratique, des cahiers des charges regroupent les propriétés voulues sous la forme d'une liste de règles à vérifier, nommées exigences. L'enjeu de cet ouvrage est la construction d'un processus d'analyse pour ...


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