Mémoire Online: Amélioration de la communication Portique/Spreader et réalisation d’un simulateur intelligent pour Spreader «BROMMA»

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...

Mémoire Online: Une approche épiphyte pour la conception de systèmes conseillers

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...

Mémoire Online: Amélioration du rendement de la ligne de production WATT

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...

Mémoire Online: Une approche de transformation des diagrammes d’activités d’UML Mobile 2.0 vers les réseaux de Petri

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 à...

Mémoire Online: Adaptation de SugarCRM et développements de composants personnalisés

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....

Mémoire Online: Une approche de modélisation des logiciels à base de composants par les réseaux de Petri

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...

Mémoire Online: UML et model checking

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...

Mémoire Online: Rétro-ingénierie des modèles comportementaux d’UML II

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...

Mémoire Online: Résolution des problèmes multi objectifs à base de colonies de fourmi

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....

Mémoire Online: Spécification formelle des systèmes mobiles temps réel

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 :...