A partir de cette page vous pouvez :
Retourner au premier écran avec les étagères virtuelles... |
Détail de l'auteur
Auteur Mickaël BARON
Documents disponibles écrits par cet auteur



Conception et exploitation d'une base de modèles : application aux data sciences / Cyrille PONCHATEAU
![]()
Titre : Conception et exploitation d'une base de modèles : application aux data sciences Type de document : thèse Auteurs : Cyrille PONCHATEAU, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Mickaël BARON, Directeur de thèse ; LIAS UR ENSMA-UP, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Abdelkader HAMEURLAIN, Rapporteur ; Mirian HALFELD FERRARI ALVES, Examinateur ; Carlos ORDONEZ, Examinateur ; Thierry POINOT, Examinateur ; Samira SI-SAID CHERFI, Examinateur Année de publication : 2018 Importance : 209 p. Note générale : NNT 2018ESMA0005
Remerciements
Table des matières
Table des figures
Liste des tableaux
Table des sigles et acronymes
Annexes
Bibliographie
Résumé
Mots clésCatégories : :Bases de données:Conception
:Equations différentielles:Bases de données
:Modèles mathématiques:Bases de données
:Séries chronologiques:Logiciels
Bases de données relationnelles
Entrepôts de données
Microservices
Structures de données (informatique)Résumé : Introduction générale
ÉTAT DE L'ART
Évolution de la technologie de stockage de données
Modèles mathématiques et séries chronologiques dans le monde des bases de données
NOS PROPOSITIONS
Modélisation conceptuelle et structures de données dédiées aux modèles mathématiques dans une approche entreposage
Exploitation des modèles mathématiques
Prototype et expérimentations
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01939430 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité TH-18 PON PON Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Vers une approche sûre du développement des Interfaces Homme-Machine / Mickaël BARON
Titre : Vers une approche sûre du développement des Interfaces Homme-Machine Type de document : thèse Auteurs : Mickaël BARON ; Yamine AIT AMEUR, Directeur de thèse ; Patrick GIRARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Dominique CANSELL, Rapporteur ; Bruno d' AUGSBOURG, Rapporteur ; Jean VANDERDONCKT, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Patrick GIRARD, Examinateur ; Guy PIERRA, Examinateur ; Jean-Daniel FEKETE, Examinateur ; Francis JAMBON, Examinateur Importance : 253 p. Note générale : Résumé/Abstract
Table des matières
Table des figures
Liste des tableaux
Introduction générale
Conclusion et perspectives
Bibliographie
Publications liées à ce mémoire de thèse
Mots clésCatégories : Méthode B (informatique)
Méthodes formelles (informatique)
Systèmes homme-machineIndex. décimale : TH-03 Résumé : ETAT DE L'ART
Le domaine de l'interaction homme-machine
Les techniques formelles pour la conception des systèmes interactifs
Les outils de conception
Synthèse : justification du travail de thèse
MODELISATION ET VALIDATION FORMELLES DE DESCRIPTIONS DE L'INTERACTION DANS LES IHM
Rappels
Méthode B
Approche à base de modules
Approche à base d'événements
SUIDT : UNE APPROCHE EXPERIMENTALE POUR LA CONSTRUCTION D'INTERFACES UTILISATEURS SURES
Généralités sur l'approche expériementale
Intégration d'un noyau fonctionnel développé formellement dans une apprche de système basés sur modèles
Validation sur le noyau fonctionnel
Validation sur la présentation
Conclusion générale sur l'approche SUIDTExemplaires
Code-barres Cote Support Localisation Section Disponibilité B00002251 TH-03 BAR Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt