AADL  Agilité  Algorithmes parallèles  Analyse d'impact  Analyse de transformations de modèles  Atl  Avionique  Bases de données relationnelles  Bois  COBOL  Carte conceptuelle  Code source  Cohérence  Cohérence  Connaissances scientifiques  Contrôle d’accès  Description d'architecture  Distribution  Extraction des règles métiers  Fiche de connaissances  Gestion des connaissances  Graphes imbriqués  Gremlin  Génie logiciel  Génération automatique de code  Génération de tests  IDM  Ingénierie Dirigée par les Modèles  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Ingénierie dirigée par les modèles  Intelligence artificielle  Interopérabilité des entreprises  Java  Langage ATL  Livre de connaissances  Logiciels -- Vérification  MapReduce  Mémoire partagée répartie  Méthodes graphiques  NoSQL  OCL  OCL  Ontologie  Ontologies  Oracles de tests model-to-text  Passage à l’échelle  Plus faible précondition  Représentation de connaissances  Requêtage de modèle  Rétro-ingénierie  Rétro-ingénierie  Simulation  SysML  Système sur puce  Systèmes de grandes dimensions  Systèmes informatiques -- Mesures de sûreté  Systèmes sur puce  Sémantique et syntaxique réconciliation  Sûreté  Test  Test de transformations de modèles  Thèses et écrits académiques  Transfert de connaissances  Transformation & Persistance de modèles  Transformation algébrique de graphe  Transformation de modèle  Transformation de modèles  Traçabilité  Vérification de modèles  

Jordi Cabot a dirigé les 4 thèses suivantes :

Informatique et applications
Soutenue le 09-10-2014
Thèse soutenue

Jordi Cabot a été président de jury de la thèse suivante :


Jordi Cabot a été rapporteur des 4 thèses suivantes :


Jordi Cabot a été membre de jury des 2 thèses suivantes :