- Wednesday
- January 15th, 2025
- Ajouter un cours
Sommaire: Amélioration de la communication Portique/Spreader et réalisation d’un simulateur intelligent pour Spreader «BROMMA» Introduction Cahier de charges Chapitre 1 : Présentation de Marsa Maroc I. Historique II. Fiche signalétique III. Gouvernance et organisation IV. Missions de Marsa Maroc V. Lieu...
Sommaire: Une approche épiphyte pour la conception de systèmes conseillers 1 Introduction 1.1 Contexte général 1.1.1 Difficultés des utilisateurs du Web 1.1.2 Conséquences 1.2 Problématique et Méthodologie 1.3 Travail réalisé 1.4 Organisation du mémoire 2 Les systèmes conseillers et systèmes...
Sommaire: Amélioration du rendement de la ligne de production WATT Résumé Abstract Liste des figures Liste des tableaux Liste des abréviations Introduction générale CHAPITRE I : PRESENTATION DE STM Introduction I. STMicroelectronics: Historique II. Le groupe STMicroelectronics 1. Caractéristiques des...
Sommaire: Une approche de transformation des diagrammes d’activités d’UML Mobile 2.0 vers les réseaux de Petri Table des figures Table des tableaux Introduction Générale 1 UML & La Mobilité 1.1 Paradigmes de Code Mobile 1.1.1 Évaluation à Distance 1.1.2 Code à...
Sommaire: Développements de composants personnalisés 1. Introduction 2. Organisme d’accueil 3. Sujet de stage et problèmatique I. Expression des besoins et méthodologie 4. Le cahier des charges 5. La conduite du projet 6. Conclusion II. Architecture et composants existants 7....
Sommaire: Une approche de modélisation des logiciels à base de composants par les réseaux de Petri INTRODUCTION GENERALE CHAPITRE I : DEVELOPPEMENT LOGICIEL A BASE DE COMPOSANTS 1. INTRODUCTION 2. PROCESSUS LOGICIEL 2.1 ACTIVITES GENERIQUES DU CYCLE DE VIE D’UN...
Sommaire: UML et model checking INTRODUCTION GENERALE CHAPITRE I : UML & GENIE LOGICIEL 1. LE GENIE LOGICIEL 1.1 DEFINITION 1.2 CRITERES DE QUALITE D’UN PRODUIT LOGICIEL 1.3 CYCLE DE VIE D’UN LOGICIEL 1.4 MODELE DE CYCLE DE VIE D’UN PRODUIT...
Sommaire: Rétro-ingénierie des modèles comportementaux d’UML II LISTE DES FIGURES INTRODUCTION PARTIE 1 : ÉTAT DE L’ART CHAPITRE 1 : RÉTRO-INGÉNIERIE 1. Introduction 2. Origine et Définition de la rétro-ingénierie 3. Apports de la rétro-ingénierie logiciel 4. Étapes de la rétro-ingénierie...
Sommaire: Résolution des problèmes multi objectifs à base de colonies de fourmi Introduction générale Présentation Organisation du mémoire Chapitre 1. Optimisation Combinatoire 1.1. Introduction 1.2. Définition (problème combinatoire) 1.4. Exemples de problèmes d'optimisation combinatoire 1.5. Résolution d’un problème d’optimisation combinatoire 1.6....
Sommaire: Spécification formelle des systèmes mobiles temps réel Notations générales Remerciements Résumé 1 Introduction 1.1 Context 1.2 Contributions 1.3 Plandudocument 2 Modèles algébriques de spécification des applications mobiles 2.1 Introductionauxalgèbresdeprocessus 2.1.1 CCS:CalculusofCommunicatingSystems 2.1.2 Algèbre de processus à synchronisation multiple :...