A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur LIAS ENSMA-UP EA 66315
Documents disponibles écrits par cet auteur
Faire une suggestion Affiner la recherche Interroger des sources externesAn Advanced Skyline Approach for Imperfect Data Exploitation and Analysis / Saïda ELMI
Titre : An Advanced Skyline Approach for Imperfect Data Exploitation and Analysis Type de document : thèse Auteurs : Saïda ELMI, Auteur ; Allel HADJALI, Directeur de thèse ; Boutheina BEN YAGHLANE, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Arnaud MARTIN, Rapporteur ; Faiz GARGOURI, Rapporteur ; Nahla BEN AMOR, Examinateur ; Anne DOUCET, Examinateur Importance : 150 p. Note générale : NNT 2017ESMA0011
Acknowledgements
Contents
Appendices
References
Abstract
KeywordsCatégories : :Bases de données:Interrogation
:Langages de programmation:Sémantique
Analyse des données
Distribution (théorie des probabilités)
Théorie de Dempster-ShaferRésumé : INTRODUCTION
Context and Motivation
Thesis Contributions
Thesis Structure
BACKGROUND MATERIAL
Introduction
Evidential Databases
Skyline Operator
Conclusion
EVIDENTIAL SKYLINE
Introduction
Evidential Skyline
Evidential Skyline Oriented Knowledge States
Evidential Skyline Computation
Experimental Evaluation
Conclusion
TWO VARIATIONS OF THE EVIDENTIAL SKYLINE
Introduction
Marginal Points: Ideal Point and Header Point
Distributed Evidential Skyline (DES)
Evidential Skyline Maintenance
COnclusion
THE TOP-k EVIDENTIAL SKYLINE
Introduction
Top-k Skyline over Evidential Objects
Top-k Skyline Computation
Experimental Evaluation
Conclusion
THE SKYLINE STARS
Introduction
Evidential Skyline
SKY²: Skyline Stars over Evidential Databases
Skyline Stars Computation
Experimental Evaluation
Conclusion
CONCLUSION AND FUTURE WORK
Conclusion
Future WorkEn ligne : https://tel.archives-ouvertes.fr/tel-01591846 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00014284 TH-17 ELM Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Apport des techniques de programmation par démonstration dans une démarche de génération automatique d'applicatifs de contrôle-commande Type de document : thèse Auteurs : Olga GOUBALI, Auteur ; Patrick GIRARD, Directeur de thèse ; Laurent GUITTET, Directeur de thèse ; Pascal BERRUET, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Jean VANDERDONCKT, Rapporteur ; Gaëlle CALVARY, Rapporteur ; Jean-François PETIN, Examinateur ; Alain BIGNON, Examinateur ; Christophe KOLSKI, Examinateur Importance : 240 p. Note générale : NNT 2017ESMA0003
Remerciements
Sommaire
Introduction générale
Liste des figures
Liste des tableaux
Références bibliographiques
Annexes
Résumé
Mots clésCatégories : Commande, Théorie de la
Conception centrée sur l'utilisateur
Ingénierie dirigée par les modèles
Interfaces utilisateur (informatique)
Ordonnancement (informatique)
Systèmes complexesRésumé : GENERALITES SUR LA CONCEPTION DES SYSTEMES DE CONTROLE/COMMANDE
La conception des systèmes de contrôle-commande
Formalisme de spécification pour la construction des systèmes de contrôle-commande
Verrous identifiés par l'état de l'art
FACILITER LA CONCEPTION DES MODELES DE TACHES COMPLEXES
Analyse de la tâche humaine dans la conception des systèmes de contrôle-commande
La conception des modèles de tâches complexes
Analyse comparative des approches présentées
Problématique
Proposition d'une démarche de conception des modèles de tâches complexes
Bilan sur la conception des modèles de tâches complexes
SPECIFICATIONS ET GENERATION D'APPLICATIONS DE CONTROLE-COMMANDE
La génération d'IHM à partir de modèles de tâches
Faciliter la spécification fonctionnelle des systèmes complexes
Proposition d'une démarche de spécification fonctionnelle et de génération d'application de contrôle-commande
Bilan sur la spécification fonctionnelle et la génération de systèmes de contrôle-commande
MISE EN OEUVRE DES PROPOSITIONS A TRAVERS UN FLOT DE CONCEPTION
Présentation du flot de conception proposé
Choix d'outils pour la conception des systèmes de contrôle-commande
Opération d'adaptation des modèles de tâches
Opération d'adaptation EGRC
Opération d'insertion SPEC
Opération d'enregistrement-généralisation
Opération de génération d'interfaces de contrôle
Opération d'intégration des interfaces de contrôle
Opération de test, débogage et correction
Opération de génération de codes de commandes
Opération de génération d'IHM
Opération de génération de commande
Bilan
APPLICATION DE NOTRE DEMARCHE A UN CAS D'ETUDE ET VALIDATION EXPERIMENTALE
Etude de cas
Evaluations
Bilan global des évaluations
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01505594 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00014274 TH-17 GOU Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Cadre fondé sur les modèles pour une utilisation avancée de la théorie de l'ordonnacement dans la conception des systèmes temps réel Type de document : thèse Auteurs : Yassine OUHAMMOU, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Pascal RICHARD, Directeur de thèse ; Mickaël RICHARD, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Marco DI NATALE, Rapporteur ; Frank SINGHOFF, Rapporteur ; Yves SOREL, Rapporteur ; Jérôme HUGUES, Examinateur Importance : 214 p. Note générale : NNT 2013ESMA0029
Remerciements
Contents
Appendices
Bibliography
Abstract
Key wordsCatégories : Ingénierie dirigée par les modèles
Modèles mathématiques
Ordonnancement (informatique)
Systèmes enfouis (informatique)
Systèmes, Conception de
Temps réel (informatique)Résumé : Introduction
RESEARCH FOUNDATIONS
Real-time systems : generalities and definitions
Real-time scheduling
Technological background
CONTRIBUTIONS
Synthesis and work orientation
MoSaRT design language
MoSaRT analysis repository
MoSaRT framework
CONCLUSION AND PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/tel-00954468 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010379 TH-13 OUH Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Conception d'un framework pour la relaxation des resuêtes SPARQL Type de document : thèse Auteurs : Géraud FOKOU PELAP, Auteur ; Allel HADJALI, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Nadine CULLOT, Rapporteur ; Farouk TOUMANI, Rapporteur ; Marie-Christine ROUSSET, Examinateur ; Olivier CORBY, Examinateur ; François GOASDOUE, Examinateur Importance : 196 p. Note générale : NNT 2016ESMA0014
Remerciements
Table des matières
Introduction
Bibliographie
Annexes
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésCatégories : :Bases de données:Interrogation
Non-réponses (enquêtes)
Ontologies (informatique)
Relaxation, Méthodes de (mathématiques)
Ressource Description Framework (informatique)
SPARQL (langage de programmation)Résumé : ONTOLOGIES : REPRESENTATIONS, STOCKAGE ET INTERROGATION
Notion d'ontologie
Langages de définition des ontologies
Base de données RDF (BD RDF)
Langage d'interrogation : SPARQL
SYNTHESE DES APPROCHES D'INTERROGATION COOPERATIVES
Suggestion de requêtes
Interrogation par l'exemple
Explication sur les réponses d'une requête
Raffinement de la requête par l'utilisateur(Users refinement)
Redéfinition des requêtes
Systèmes de recommandation
ETAT DE L'ART SUR LA RELAXATION DES REQUETES
Relaxation des requêtes relationnelles
Relaxation dans les systèmes de recommandation
Relaxation des requêtes sur les données RDF
EXTENSION DE SPARQL AVEC DES OPERATEURS DE RELAXATION
Besoin d'opérateurs de relaxation
Opérateurs de relaxation
Intégration des opérateurs dans SPARQL
QaRS : Un outil de relaxation des requêtes SPARQL
Expérimentations : contexte et résultats
RECHERCHE DES MFS ET XSS DANS LES REQUETES SPARQL
Préliminaires : rappels et définitions
Approche LBA pour la recherche des MFS et XSS
Optimisation de l'approche LBA
Approche MBA pou la recherche des MFS et XSS
Implémentation et expérimentations
STRATEGIES DE RELAXATION GUIDEES PAR LES CAUSES D'ECHEC
Modèle de relaxation considéré
Structures de données utilisées pour la relaxation
Stratégie de relaxation basée sur les MFS : MBS
Optimisation de l'algorithme MBS
Implémentation et expérimentations
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01430177 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00014162 TH-16 FOK Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Conception d'un outil d'optimisation dynamique du schéma d'exploitation du réseau de distribution d'électricité de SRD Type de document : thèse Auteurs : Abdelkrim ALI ZAZOU, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Jean-Paul GAUBERT, Directeur de thèse ; Ladjel BELLATRECHE, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Patrick MARTINEAU, Rapporteur ; Bruno FRANCOIS, Rapporteur ; Salima BENBERNOU, Examinateur Importance : 165 p. Note générale : NNT 2017ESMA0010
Remerciements
Table des matières
Annexe
Table des figures
Liste des tableaux
Bibliographie
Résumé
Mots clésCatégories : :Réseaux électriques (énergie):Pertes d'énergie
:Réseaux électriques (énergie):Répartition des charges
Modèles non linéaires (statisque)
Reformulation quadratique convexe
Réseaux électriques intelligentsRésumé : 21 AVRIL 2022
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00014309 TH-17 ALI Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Conception physique des bases de données à base ontologique : le cas des vues matérialisées Type de document : thèse Auteurs : Bery Leouro MBAIOSSOUM, Auteur ; Ladjel BELLATRECHE, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Zohra BELLAHSENE, Rapporteur ; Nadine CULLOT, Rapporteur ; Olivier TESTE, Examinateur ; Patrick MARCEL, Examinateur Importance : 181 p. Note générale : NNT 2014ESMA0014
Remerciements
Table des matières
Introduction générale
Bibliographie
Annexes
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésCatégories : :Architecture:Bases de données
:Bases de données:Conception
:Bases de données:Interrogation
Ontologies (informatique)Résumé : CONCEPTS FONDAMENTAUX
Ontologie et bases de données à base ontologique
Conception physique de bases de données
CONTRIBUTIONS
Etude empirique des bases de données à base ontologique
Modèles de coût pour les bases de données à base ontologique
La sélection des vues matérialisées dans les BDBO : un mode d'emploi
CONCLUSION GENERALE ET PERSPECTIVES
Conclusion
PerspectivesEn ligne : https://tel.archives-ouvertes.fr/tel-01129077 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010795 TH-14 MBA Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Conception physique statique et dynamique des entrepôts de données Type de document : thèse Auteurs : Rima BOUCHAKRI, Auteur ; Ladjel BELLATRECHE, Directeur de thèse ; Khaled-Walid HIDOUCI, Directeur de thèse ; Karima BENATCHEBA, Examinateur ; Mohamed MEZGHICHE, Examinateur ; Mohand-Saïd HACID, Examinateur ; Yamine AIT AMEUR, Examinateur ; LIAS ENSMA-UP EA 66315, Commanditaire Importance : 243 p. Note générale : NNT 2015ESMA0012
Remerciements
Table des matières
Table des figures
Introduction générale
Annexes
Glossaire
Bibliographie
Résumé Mots clésCatégories : :Bases de données:Conception
:Bases de données:Interrogation
Entrepôts de donnéesRésumé : ETAT DE L'ART
Sélection mono-objectif des techniques d'optimisation
Optimisation multi-objectifs pour les entrepôts de données
CONTRIBUTIONS
Sélection incrémentale isolée de IJB
Sélection incrémentale isolée de la FH
Sélection incrémentale jointe des IJB simples et multiples
Sélection incrémentale jointe des IJB et de la FH
Sélection incrémentale multi-objectifs de la FH
AdminInc : Outil pour la conception physique et dynamique
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01244700 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00011045 TH-15 BOU Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Conception et vérification formelles des interfaces homme-machine multimodales : application à la multimodalité en sortie Type de document : thèse Auteurs : Linda MOHAND-OUSSAÏD, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Idir AIT SADOUNE, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Christophe KOLSKI, Rapporteur ; Hassan MOUNTASSIR, Rapporteur ; Patrick GIRARD, Examinateur ; Christian ATTIOGBE, Examinateur Importance : 184 p. Note générale : NNT 2014ESMA0022
Remerciements
Table des matières
Table des figures
Liste des tableaux
Introduction générale
Bibliographie
Résumé
Mots clésCatégories : Interaction homme-ordinateur
Interfaces utilisateur (informatique)
Méthode B (informatique)
Systèmes, Analyse de
Systèmes, Conception deRésumé : LES INTERFACES HOMME-MACHINE MULTIMODALES
Introduction
Interaction homme-machine
Systèmes interactifs
Concepts de base
Interfaces homme-machine multimodales
Développement des interfaces homme-machine
Les modèles de description du dialogue
Propriétés des interfaces homme-machine
Conception des IHM multimodales
Les systèmes multimodaux
Conclusion
DEVELOPPEMENTS FORMELS DES SYSTEMES INTERACTIFS
Introduction
Les modèles formels
La conception formelle
Les méthodes de spécification formelles
Vérification formelle
Utilisation des méthodes formelles pour le développement des IHM
Synthèse et proposition
UN MODELE FORMEL GENERIQUE POUR LES INTERFACES HOMME-MACHINE MULTIMODALES EN SORTIE
Introduction
Démarche générale de modélisation
Modèle formel de conception des interfaces homme-machine multimodales en sortie
Conclusion
MODELISATION DES INTERFACES HOMME-MACHINE MULTIMODALES EN SORTIE DANS B EVENEMENTIEL
Introduction
La méthode B événementiel
Démarche de modélisation avec B événementiel
Les modèles génériques de développement B événementiel
Conclusion
MODELISATION DE LA FISSION SEMANTIQUE AVEC B EVENEMENTIEL : GENERALISATION
Introduction
Démarche de modélisation avec B événementiel
Le modèle de fission sémantique
Bilan des obligations de preuve
Intanciation du modèle B événementiel de fission sémantique
Application à l'étude de cas
Conclusion
MODELISATION DE L'ALLOCATION AVEC B EVENEMENTIEL : GENERALISATION
Introduction
Démarche de modélisation avec B événementiel
Le modèle de combinaison des présentations
Le modèle de décomposition des présentations
Le modèle d'affectation
Bilan des obligations de preuve
Instanciation du modèle B événementiel d'allocation
Application à l'étude de cas
Vérification des propriétés
Conclusion
CONCLUSION GENERALE ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01127547 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010927 TH-14 MOH Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Construction d'ontologies à partir de textes : une approche basée sur les transformations de modèles Type de document : thèse Auteurs : Henry Valéry TEGUIAK, Auteur ; Guy PIERRA, Directeur de thèse ; Yamine AIT AMEUR, Directeur de thèse ; Ladjel BELLATRECHE, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Sylvie DESPRES, Rapporteur ; Jean CHARLET, Examinateur ; Eric SARDET, Examinateur Année de publication : 2012 Importance : 182 p. Note générale : NNT 2012ESMA0027
Merci à
Epigraphe
Table des matières
Résumé
Introduction générale
Bibliographie
Publications
Annexe
Table des figures
Liste des tableaux
GlossaireCatégories : Bases de données
Langages d'interrogation
Ontologies (informatique)
Web sémantiqueRésumé : ETAT DE L'ART
Construction d'ontologies
Transformation de modèles
CONTRIBUTION
Modélisation
Transformation en environnement persistant
MQL, un langage d'exploitation des mappings
La plateforme DaFOE
CONCLUSION ET PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/tel-00786260 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00009684 TH-12 TEG Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Contribution à la définition d'une méthode de conception de bases de données à base ontologique Type de document : thèse Auteurs : Chedlia CHAKROUN, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Ladjel BELLATRECHE, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Arnaud GIACOMETTI, Rapporteur ; Claude GODART, Examinateur ; Sofian MAABOUT, Examinateur Importance : 204 p. Note générale : NNT 2013ESMA0010
Merci à
Dédicace
Table des matières
Introduction générale
Bibliographie
Publications
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésCatégories : :Bases de données:Conception
:Bases de données:Gestion
Ontologies (informatique)
Structures de données (informatique)Résumé : ETAT DE L'ART
Introduction aux ontologies : genèse
Les bases de données à base ontologique
CONTRIBUTIONS
Ontologies et relations de dépendance
Dépendances fonctionnelles entre propriétés ontologiques et conception des BDBO
Dépendances entre les classes et conception des bases de données à base ontologique
Approche de conception et de déploiement de bases de données à base ontologique
Prototype de validation
CONCLUSION ET PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/index.php?halsid=gmm1o4dpmr0c875o7ooemc6eg4&view [...] Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010261 TH-13 CHA Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Contribution à l'étude de l'exploitation des données temporelles en présence d'imperfections Type de document : thèse Auteurs : Aymen GAMMOUDI, Auteur ; Allel HADJALI, Directeur de thèse ; Boutheina BEN YAGHLANE, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Riadh FARAH, Rapporteur ; Sofian MAABOUT, Rapporteur ; Nahla BEN AMOR, Examinateur ; Daniel ROCACHER, Examinateur ; Mohamed Salah GOUIDER, Examinateur Importance : 111 p. Note générale : NNT 2017ESMA0008
Dédicace
Remerciements
Table des matières
Table des figures
Liste des tableaux
Introduction générale
Références bibliographiques
Catégories : :Architecture:Bases de données
:Bases de données:Interrogation
Bases de données spatio-temporelles
Ensembles flous
Intelligence artificielle
Logique floue
SQL (langage de programmation)Résumé : ETAT DE L'ART
Notions de base
Travaux connexes
CONTRIBUTIONS
Requêtes en présence des relations temporelles graduelles
Requêtes en présence des intervalles temporels flous
Implémentation et expériementation
CONCLUSION GENERALEEn ligne : https://tel.archives-ouvertes.fr/tel-01551795 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00014321 TH-17 GAM Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Contribution à l'étude de l'optimisation de requêtes de services Web : une approche centrée utilisateur Type de document : thèse Auteurs : Zahira CHOUIREF, Auteur ; Allel HADJALI, Directeur de thèse ; Karim BENOUARET, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Salima BENBERNOU, Rapporteur ; Ludovic LIETARD, Rapporteur ; Daniela GRIGORI, Examinateur Importance : 169 p. Note générale : NNT 2017ESMA0016
Remerciements
Résumé
Abstract
Table des matières
Introduction générale
Liste des figures
Liste des tableaux
BibliographieCatégories : :Bases de données:Interrogation
:Consommateurs:Comportement
Conception centrée sur l'utilisateur
Informatique sensible au contexte
Logique floue
Profilage des consommateurs
Services WebRésumé : CONCEPTS ET NOTIONS DE BASE
Services Web
Préférences et requêtes à préférences
Profil
Contexte
Ontologies
Conclusion
ENSEMBLES FLOUS
Concepts fondamentaux
Représentation pratique
Opérations floues
Modélisation de préférences
Conclusion
ETAT DE L'ART
Introduction
Approches de sélection syntaxique versus sémantique
Approches de sélection basée sur les propriétés fonctionnelles et/ou non fonctionnelles
Approches de sélection basée sur les attributs du contexte
Approches de sélection basée sur le profil
Approches de sélection basée sur les préférences
Limites de ces approches et discussion
Conclusion
SELECTION PERSONNALISEE ET CONTEXTUELLE DE SERVICES WEB : UNE APPROCHE FONDEE SUR LA SIMILARITE
Introduction
Formalisation et notations
Notion de matching et mesures de similarités
Architecture de sélection de services Web
Mesure de similarité hybride
Algorithme de matching et phase de classement
Evaluation expérimentale et discussion
Conclusion
SELECTION COOPERATIVE DE SERVICES WEB : UNE APPORCHE GUIDEE PAR L'INFERENCE
Introduction
Modélisation floue de service et des préférences
Traitement des requêtes à préférences sensibles au profil contextuel
Evaluation expérimentale et discussion
CONCLUSION GENERALE ET PERSPECTIVESExemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
Titre : Le déploiement, une phase à part entière dans le cycle de vie des entrepôts de données : application aux plateformes parallèles Type de document : thèse Auteurs : Soumia BENKRID, Auteur ; Ladjel BELLATRECHE, Directeur de thèse ; Khaled-Walid HIDOUCI, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Arnaud GIACOMETTI, Rapporteur ; Mahmoud BOUFAIDA, Rapporteur ; Djamel Eddine ZEGOUR, Examinateur ; Yamine AIT AMEUR, Examinateur ; Karima BENATCHEBA, Examinateur ; Pascal LIENHARDT, Examinateur Importance : 192 p. Note générale : NNT 2014ESMA0027
Remerciements
Table des matières
Table des figures
Liste des tableaux
Liste de algorithmes
Glossaire
Introduction générale
Annexes
Bibliographie
Résumé
Mots clésCatégories : :Bases de données:Conception
Entrepôts de données
Logique floue
OLAP (informatique)
Parallélisme (informatique)Résumé : ETAT DE L'ART
Les entrepôts de données relationnels : Etat de l'art
Cycle de déploiement des entrepôts de données parallèles
NOS PROPOSITIONS
Notre modèle de coût
Notre approche pas à pas de déploiement
Evaluation théorique et réelle sur Teradata
CONLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01127551 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010944 TH-14 BEN Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Données de tests non fonctionnels de l'ombre à la lumière : une approche multidimensionnelle pour déployer une base de données Type de document : thèse Auteurs : Lahcène BRAHIMI, Auteur ; Ladjel BELLATRECHE, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Yudith CARDINALE, Rapporteur ; Abdelkader HAMEURLAIN, Examinateur ; Khalil DRIRA, Examinateur Importance : 192 p. Note générale : NNT 2017ESMA0009
Remerciements
Table des matières
Introduction générale
Bibliographie
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots-clésCatégories : :Bases de données:Gestion
Apprentissage automatique
Entrepôts de données
OLAP (informatique)
Ontologies (informatique)
Prise de décision
Systèmes de recommandation (informatique)
Systèmes, Analyse de
Systèmes, Conception deRésumé : ETAT DE L'ART
Evolution du cycle de conception de bases de données
Etudes des approches de sélection des SGBD et plateformes
CONTRIBUTIONS
Vers une explicitation des composantes de l'environnement de tests
Approche multidimensionnelle des données des environnements de tests
Système de recommandation pour le déploiement des bases de données
CONCLUSION GENERALE ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01585828 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00014315 TH-17 BRA Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Donner une autre vie à vos besoins fonctionnels : une approche dirigée par l'entreposage et l'analyse en ligne Type de document : thèse Auteurs : Zouhir DJILANI, Auteur ; Ladjel BELLATRECHE, Directeur de thèse ; Selma KHOURI, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Dominique MERY, Rapporteur ; Parisa GHODOUS, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Abderrafiaa KOUKAM, Examinateur Importance : 242 p. Note générale : NNT 2017ESMA0012
Remerciements
Table des matières
Introduction générale
Bibliographie
Annexes
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésCatégories : :Bases de données:Conception
Analyse des données
Entrepôts de données
Ingénierie des exigences
Intégration de données (informatique)
Ontologies (informatique)
UML (informatique)Résumé : BACKGROUND & ETAT DES L'ART
Notions de base
Etat de l'art sur l'unification, la gestion et l'exploitation des besoins utilisateurs
CONTRIBUTIONS : CONSTRUCTION D'UN ENTREPOT SEMANTIQUE DE BESOINS FONCTIONNELS
Construction de l'ontologie intégrante
Un modèle multidimensionnel pour l'entrepôt des besoins fonctionnels
Un processus ETL pour les besoins fonctionnels
Déploiement de l'entrepôt sémantique de besoins fonctionnels
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01591845 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00014260 TH-17 DJI Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Evaluation et validation des systèmes distribués avioniques Type de document : thèse Auteurs : Georges Arnaud KEMAYO, Auteur ; Pascal RICHARD, Directeur de thèse ; Frédéric RIDOUARD, Directeur de thèse ; Henri BAUER, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Jean-Luc SCHARBARG, Rapporteur ; Laurent GEORGE, Rapporteur ; Yvon TRINQUET, Examinateur Importance : 167 p. Note générale : NNT 2014ESMA0010
Remerciements
Table des matières
Introduction générale
Publications
Annexes
Notations
Acronymes
Résumé
Mots clésCatégories : Avionique
Certification
Systèmes à paramètres répartis
Temps réel (informatique)Résumé : ETAT DE L'ART
Introduction aux systèmes avioniques
Méthodes de validation
CONTRIBUTIONS
Analyse de la méthode des trajectoires
Nouvelle méthode d'analyse des délais de bout en bout dans l'AFDX
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01127020 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010734 TH-14 KEM Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Extension des systèmes de métamodélisation persistant avec la sémantique comportementale/Handling behavioral semantics in persistent metamodeling systems Type de document : thèse Auteurs : Youness BAZHAR, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Mohand-Saïd HACID, Rapporteur ; Régine LALEAU, Rapporteur ; Yves LEDRU, Examinateur ; Ladjel BELLATRECHE, Examinateur ; Patrick FARAIL, Examinateur ; Oscar PASTOR, Examinateur Importance : 157 p. Note générale : NNT 2013ESMA00019
Contents
Introduction
Bibliography
List of figures
List of tables
Relted publications
Résumé étendu
Mots clésCatégories : :Bases de données:Conception
Ingénierie dirigée par les modèles
Ontologies (informatique)
Systèmes enfouis (informatique)
Temps réel (informatique)Résumé : STATE OF THE ART
METAMODELING AND MODEL MANAGEMENT
Introduction
Background on MDE
Metamodeling
Model management
Conclusion
PERSISTENT SOLUTIONS FOR METAMODELING AND MODEL MANAGEMENT
Introduction
Model repositories and their exploitation languages
Persistent metamodeling and model management systems
The OntoDB/OntoQL PMMS
Conclusion
CONTRIBUTIONS
REQUIREMENTS FOR COMPLETE PERSISTENT METAMODELING SYSTEMS
Introduction
Requirements for complete PMMS
Synthesis and discussion
Objectives
Conclusion
BeMoRe: MODELING AND FORMAL REPRESENTATION
Introduction
Conceptual extension
Logical extension
Formalization of the conceptual extension
Extension of the algebra of the PMMS exploitation language
Conclusion
BeMoRe: EXTENSION OF THE ESPLOITATION LANGUAGE AND PROTOTYPING
Introduction
Extension of the OntoQL language
The BeMoRe prototype
A preliminary performance evaluation
Conclusion
APPLICATIONS
MANAGING NON CANONICAL CONCEPTS IN ONTOLOGY-BASED DATABASES
Introduction
Background on ontologies
Ontology-based databases (OBDBs)
Encoding the structural semantics of the OWL language
Encoding operations for computing OWL non canonical concepts
Conclusion
ENHANCING A METHOD TO DESIGN ONTOLOGY-BASED DATABASES
Introduction
The considered OBDB design methodology
Enhancing the OBDB design methodology
Conclusion
MODEL TRANSFORMATION AND MODEL ANALYSIS
Introduction
Motivating example
Supporting AADL and MARTE in PMMS
Transforming models within PMMS
Using operations for model analysis
Conclusion
CONCLUSIONS AND PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/tel-00939900 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010408 TH-13 BAZ Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : A framework for the management of heterogeneous models in systems engineering Type de document : thèse Auteurs : David SIMON ZAYAS, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Anne MONCEAUX, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Frédéric BONIOL, Rapporteur ; Parisa GHODOUS, Rapporteur ; Ladjel BELLATRECHE, Examinateur ; Mourad OUSSALAH, Examinateur ; Romaric REDON, Examinateur Année de publication : 2012 Importance : 245 p. Note générale : NNT 2012ESMA0007
Remerciements
Introduction
Résumé
Summary
Introduction
Context
Current practices
Our proposal
Structure of the document
References
Appendices
Table of figures
Summary
KeywordsLangues : Français (fre) Catégories : :Informatique:Groupes de travail
Aéronautique
Ontologies (informatique)
Systèmes informatiquesRésumé : HETEROGENEITY OF MODELS IN SYSEMS ENGINEERING DOMAIN
Introduction
System modelling
Systems engineering
Inter-model relations
Heterogeneity
Current approaches to handle with heterogeneity
Conclusion
KNOWLEDGE MODELS TO INTEGRATE AND VALIDATE HETEROGENEOUS MODELS
Implicit knowledge
Formalization of knowledge
Ontologies and annotation of models
Validation of inter-model properties
EXPRESS modelling language
Conclusion
CURRENT PROACTICES IN AIRCRAFT SYSTEMS ENGINEERING
Introduction
Aircraft systems modelling
Current MBSE applications
From document to models
MBSE and development process
Management of heterogeneous modelling in aircraft systems engineering
Expected benefuts of the proposed approach
Conclusion
KNOWLEDGE-BASED INTER-MODEL CONSTRAINT VERIFICATION
Introduction
The proposed general integrated models representation
Manipulated models
The resources
The modelling process activities
Conclusion
APPROACH VALIDATION
Introduction
Exportation of SysML and CORE models
Annotation using implicit knowledge
Model integration using equivalences
General constraint definition with first order logic expressions
Implementation with ECCO toolkit
Conclusion
INDUSTRIAL EVALUATION
Introduction
Water and waste system model
Hydraulic and engine system model
Ram air turbine models
Conclusion
PROPOTYPING TOOL
A prototype to support the method
Actors and use cases
Selected technology and architecture
Current HCI (Human Computer Interface)
Conclusion
DEPLOYMENT IN INDUSTRY
Industrialization requirements
Needed technology enhancements
Conclusion
CONCLUSION AND PERSPECTIVES
Contributions
Perspectives
En ligne : http://tel.archives-ouvertes.fr/tel-00740161/ Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00009484 TH-12 SIM Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Hypergraphs in the Service of Very Large Scale Query Optimization. Application: Data Warehousing Titre original : Les hypergraphes au service de l'optimisation de requêtes à très large échelle. Application : Entrepôt de données Type de document : thèse Auteurs : Ahcène BOUKORCA, Auteur ; Ladjel BELLATRECHE, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Yannis MANOLOPOULOS, Rapporteur ; Sofian MAABOUT, Rapporteur ; Omar BOUSSAID, Examinateur ; Arnaud GIACOMETTI, Examinateur ; Sid-Ahmed BenAli SENOUCI, Examinateur Année de publication : 2016 Importance : 216 p. Note générale : NNT 2016ESMA0026
Acknowledgement
Dedication
Contents
Introduction
Relational Algebra
Résumé
Related Publications
List of Figures
List of Tables
Glossary
References
Résumé
Mots clésCatégories : :Bases de données:Conception
:Bases de données:Gestion
:Bases de données:Interrogation
Données massives
Entrepôts de données
Hypergraphes
Optimisation combinatoireRésumé : BACKGROUNDS
Introduction
The Data Warehousing Technology
Factors Impacting Query Processing and Optimization
Data Structures and Access Algorithms
Conclusion
MODELING QUERY INTERACTION USING HYPERGRAPHS
Introduction
Hypergraphs and Their Usages
Analogy between UQP and EDA
Hypergraph as a solution of scalability
Complexity of the Algorithms
Performance Evaluation
Conclusion
WHAT-IF UQP ANALYSIS
Introduction
A New Approach for Selecting OS
Application of OS-Oriented UQP
Experimental Evaluation and Analysis
Conclusion
QUERY INTERACTION SERVING THE DEPLOYMENT PHASE
Introduction
Parallel Database Design Alternatives
Motivating Example
UQP As a Service for Designing PRDW
Experimental Evaluation and Analysis
Conclusion
BIG-QUERIES FRAMEWORK
Introduction
System Architecture
System Modules
Implementation
Conclusion
CONCLUSION AND PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01488961 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00014171 TH-16 BOU Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Intégration d'éléments sémantiques dans l'analyse d'ordonnançabilité des applications temps-réel Type de document : thèse Auteurs : Christian FOTSING TAKOUTSI, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Guy VIDAL-NAQUET, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Franck POMMEREAU, Rapporteur ; Frank SINGHOFF, Rapporteur ; Emmanuel GROLLEAU, Examinateur ; Christophe AUSSAGUES, Examinateur Année de publication : 2012 Importance : 226 p. Note générale : NNT 2012ESMA0003
Remerciements
Table des matières
Table des figures
Annexe
Bibliographie liée à la thèse
Bibliographie
IndexLangues : Français (fre) Catégories : :Logiciels:Validation
Méthodes formelles (informatique)
Ordonnancement (informatique)
Petri, Réseaux de
Simulation, Méthodes de
Temps réel (informatique)Résumé : INTRODUCTION GENERALE
Les systèmes temps-réel
La problématique
Objectifs et intérêts du travail
Contribution : méthodologie globale
Plan et contenu de la présentation
ETAT DE L'ART
Synthèse de quelques travaux connexes
Validation par les réseaux de Pétri
CONTRIBUTION
Modélisation d'une tâche
Modélisation de l'application
Les arbres d’ordonnancement
Ordonnancement linéaire versus ordonnancement arborescent
Mise en œuvre avec les réseaux de Pétri
CONCLUSTION GENERALE
Conclusion
PerspectivesEn ligne : http://tel.archives-ouvertes.fr/tel-00684788 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00009301 TH-12 FOT Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Intégration et exploitation de besoins en entreprise étendue fondées sur la sémantique Type de document : thèse Auteurs : Ilyès BOUKHARI, Auteur ; Ladjel BELLATRECHE, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Bernard ESPINASSE, Rapporteur ; Jérôme GENSEL, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Omar BOUSSAID, Examinateur ; Hendrik DECKER, Examinateur ; Dominique MERY, Examinateur Importance : 161 p. Note générale : NNT 2014ESMA0001
Remerciements
Table des matières
Bibliographie
Annexes
Table des figures
Liste des tableaux
GlossaireCatégories : Bases de données
Entrepôts de données
Ingénierie des exigences
Ingénierie dirigée par les modèles
Ontologies (informatique)Résumé : Introduction générale
ETAT DE L'ART
L'expression des besoins : un état de l'art
Les ontologies au service de l'ingénierie des besoins
CONTRIBUTIONS
Unification des vocabulaires et de langages de modélisation des besoins
Vers une fusion de méta-modèles des langages de modélisation des besoins
Exploitation des besoins pour la conception physique
Prototype de validation
CONCLUSION GENERALEEn ligne : http://tel.archives-ouvertes.fr/tel-00942081 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010414 TH-14 BOU Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : L'interaction au service de l'optimisation à grande échelle des entrepôts de données relationnels Type de document : thèse Auteurs : Amira KERKAD, Auteur ; Ladjel BELLATRECHE, Directeur de thèse ; Dominique GENIET, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Christine COLLET, Rapporteur ; Bruno DEFUDE, Rapporteur ; Pedro FURTADO, Rapporteur ; René SCHOTT, Examinateur Importance : 189 p. Note générale : NNT 2013ESMA0027
Remerciements
Table des matières
Bibliographie
Annexes
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésCatégories : :Bases de données:Conception
:Bases de données:Interrogation
Bases de données relationnelles
Entrepôts de donnéesRésumé : LA TECHNOLOGIE DE BASES DE DONNEES A-T-ELLE DONNE LE MEILLEUR D'ELLE-MÊME ?
Problématique
Objectifs et contributions
Organisation de la thèse
ETAT DE L'ART
Introduction
La conception physique
Sélection isolée des structures d'optimisation
Sélection multiple des structures d'optimisation
Bilan et discussion
Nouvelle vision
Positionnement et contributions
INTERACTION DES COMPOSANTS SUPPORT ET REQUETES
Introduction
La gestion du buffer et l'ordonnancement des requêtes dans les EDR
Démarche de la gestion du buffer et d'ordonnancement des requêtes dans les EDR
Problème de la gestion du buffer et d'ordonnancement des requêtes hors-ligne
Algorithmes de résolution hors-ligne
Evluation des performances des algorithmes
Conclusion
CONTRIBUTION DE L'INTERACTION SUR LA FRAGMENTATION HORIZONTALE
Introduction
Problème de la fragmentation horizontale dans les entrepôts de données
Fragmentation horizontale par exploitation de l'interaction des requêtes
Combinaison de la FH avec la GBOR
Démarche de résolution du problème combiné
Evaluation des performances des algorithmes
Conclusion
L'ASPECT DYNAMIQUE DE LA CONCEPTION PHYSIQUE
Introduction
L'optimisation en-ligne dans les entrepôts de données relationnels
Problème de la gestion du buffer et d'ordonnancement des requêtes en-ligne dans les EDR
Algorithme d'optimisation en-ligne
Evaluation des performances des algorithmes
Conclusion
OUTIL D'AIDE A LA CONCEPTION PHYSIQUE
Introduction
Difficultés et besoins des administrateurs
Architecture fonctionnelle de l'outil de simulation
Simulations
Validation des résultats sous Oracle11g
Conclusion
CONCLUSION GENERALE ET PERSPECTIVES
Conclusion
Perspectives
EpilogueEn ligne : http://tel.archives-ouvertes.fr/tel-00954469 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010434 TH-13 KER Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Mise en oeuvre applicative de séquences d'ordonnancement hors-ligne Type de document : thèse Auteurs : Moustapha BIKIENGA, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Dominique GENIET, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Auteur ; Maryline CHETTO, Rapporteur ; Frank SINGHOFF, Rapporteur ; Gaëlle LARGETEAU-SKAPIN, Examinateur ; Yamine AIT AMEUR, Examinateur Importance : 180 p. Note générale : NNT 2014ESMA0011
Remerciements
Table des matières
Introduction générale
Annexes
Notations
Acronymes
Bibliographie
Résumé
Mots clésCatégories : Ingénierie dirigée par les modèles
Ordonnancement (informatique)
POSIX (norme)
Temps réel (informatique)Résumé : ETAT DE L'ART
Systèmes temps réel
Systèmes d'exploitation temps réel
Applications temps réel
Ordonnacement
Mise en oeuvre applicative d'ordonnancement hors-ligne
Conclusion
CONTEXTE, METHODOLOGIE ET MODELISATION
Problématique
Hypothèses de base
Méthodologie
Politiques de mise en oeuvre de séquences d'ordonnancement hors-ligne
Démarche
Modèle de coûts des mises en oeuvre
Conclusion
ALGORITHMES DE MISE EN OEUVRE
Mise en oeuvre d'ordonnancement sans préemption
Mise en oeuvre d'ordonnancement avec préemption
Prise en compte des ressources critiques et des contraintes de précédence
Conclusion
MISE EN OEUVRE POSIX
Mise en oeuvre POSIX
Automatisation de mise en oeuvre POSIX
Mise en oeuvre POSIX sur Xenomai
Observation et analyse de scénarios d'exécution
Conclusion
ETUDE DE CAS : APPLICATION DE GESTION DE MINE SOUTERRAINE
Description du cas pratique : gestion de la sécurité d'une mine
Mise en oeuvre du scénario d'exécution
Conclusion
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01080218 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010733 TH-14 BIK Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Modèles de conception pour des applications collaboratives mobiles dans le cloud Type de document : thèse Auteurs : Nadir GUETMI, Auteur ; Ladjel BELLATRECHE, Directeur de thèse ; Abdessamad IMINE, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Sophie CHABRIDON, Rapporteur ; Daniela GRIGORI, Rapporteur ; Mirian HALFELD FERRARI ALVES, Examinateur ; Mohamed Yacine GHAMRI-DOUDANE, Examinateur Importance : 175 p. Note générale : NNT 2016ESMA0016
Remerciements
Table des matières
Introduction générale
Bibliographie
Table des figures
Liste des tableaux
Listings
Glossaire
Résumé
Mots clésCatégories : Applications mobiles
Design patterns
Informatique dans les nuages
Informatique mobile
Logiciels médiateurs
Systèmes de communication sans fil
Systèmes virtuels (informatique)Résumé : CONTEXTE ET ETAT DE L'ART
Contexte de recherche
Etat de l'art
CONTRIBUTIONS
Des "patrons de clou" pour les applications collaboratives mobiles
MidBox : un middleware de déploiement
Service d'édition collaborative pour des graphes RDF
CONCLUSION GENERALEEn ligne : https://tel.archives-ouvertes.fr/tel-01430151 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B000014168 TH-16 GUE Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
Titre : Modélisation des dépendances fonctionnelles pour l'analyse des risques de niveau avion Type de document : thèse Auteurs : Sébastien MAITREHENRY, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; LIAS ENSMA-UP EA 66315, Commanditaire ; Nicole LEVY, Rapporteur ; Philippe PALANQUE, Rapporteur ; Pierre BIEBER, Examinateur ; Sylvain METGE, Examinateur ; Jérémy GUIOCHET, Examinateur ; Patrick GIRARD, Examinateur Importance : 254 p. Note générale : NNT 2013ESMA0025
Remerciements
Table des matières
Introduction
Bibliographie
Annexes
Index des figures
Index des tables
Glossaire
Résumé
Mots clésCatégories : Aéronautique
Analyse fonctionnelle
Fiabilité
Ingénierie dirigée par les modèles
Méthodes formelles (informatique)Résumé : VERS DES ANALYSES DE SECURITE ASSISTEES PAR LES MODELES
La sûreté de fonctionnement dans l'aéronautique
Intérêts des modèles et de l'ingénierie des modèles
Objectifs et approche de nos travaux
DEFINITION ET SYNTHESE DE MODELES POUR L'ANALYSE DES RISQUES
Définition des modèles conceptuels pour la sécurité
Mise en oeuvre de l'analyse des risques avec AltaRica
La transformation de modèle
Déploiement sur un cas industriel
Extension des modèles à l'étude des facteurs humains
CONCLUSIONEn ligne : http://tel.archives-ouvertes.fr/tel-00954467 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010427 TH-13 MAI Ouvrage BIBLIOTHEQUE - ACCES RESERVE Thèses Exclu du prêt
