Donner une autre vie à vos besoins fonctionnels : une approche dirigée par l'entreposage et l'analyse en ligne / Zouhir DJILANI  

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 BELLATRÈCHE, Directeur de thèse ; Selma KHOURI, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, 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és Catégories : Analyse des données Bases de données:Conception 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 PERSPECTIVES En ligne : https://tel.archives-ouvertes.fr/tel-01591845

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014260	TH-17 DJI	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-17 DJI	DJI	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Intégration et exploitation de besoins en entreprise étendue fondées sur la sémantique / Ilyès BOUKHARI  

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 BELLATRÈCHE, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, 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 Glossaire Caté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 GENERALE En ligne : http://tel.archives-ouvertes.fr/tel-00942081

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010414	TH-14 BOU	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-14 BOU	BOU	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Modélisation et vérification formelles de compositions de services. Une approche fondée sur le raffinement et la preuve / Idir AIT SADOUNE

Titre : Modélisation et vérification formelles de compositions de services. Une approche fondée sur le raffinement et la preuve Type de document : thèse Auteurs : Idir AIT SADOUNE, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Jacques JULLIAND, Rapporteur ; Michael LEUSCHEL, Rapporteur ; Dominique MERY, Rapporteur ; Egon BÖRGER, Examinateur ; Régine LALEAU, Examinateur ; Virginie WIELS, Examinateur Année de publication : 2010 Importance : 211 p. Note générale : NNT 2010ESMA0016 Table des matières Introduction générale Bibliographie Annexes Table des figures Liste des tableaux Résumé Mots clés Langues : Français (fre) Catégories : Services Web SOA Résumé : CONTEXTE Contexte de l'étude : les architecture SOA Approches formelles de vérification de composition de services Web : Etat de l'art CONTRIBUTION Origine de nos travaux Expression de composition de services BPEL par des modèles B événementiel Méthodologie de conception de services Web avec B événementiel Vérification des propriétés de services Web IMPLEMENTATION BPEL2B : un outil d'aide à la vérification de la composition de services Web CONCLUSION ET PERSPECTIVES

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008583	TH-10 AIT	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

---

1 (1 - 3 / 3) Par page : 25 50 100 200