Aller directement à la barre de recherche
Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
Hung
Ledang
IdRef
Mots clés
FR
Uml
B
Schéma de dérivation
Opération UML
Événements
Cas d'utilisation
Raffinement
Obligation de preuve
Contrainte OCL
Opération OCL
Derivation schema
UML operation
Event
Use case
Refinement
Proof oblication
OCL constraint
OCL operation
Communication -- Analyse de réseau
Systèmes informatiques -- Mise en oeuvre
Afficher plus de mots-clés
Afficher tous les mots-clés (21)
Liste des thèses par rôle
Auteur / Autrice de 1 thèse(s)