1. Introduction générale à la SPECIFICATION et à la CONCEPTION de LOGICIELS

Dimension: px
Commencer à balayer dès la page:

Download "1. Introduction générale à la SPECIFICATION et à la CONCEPTION de LOGICIELS"

Transcription

1 1. Introduction générale à la SPECIFICATION et à la CONCEPTION de LOGICIELS Bernard ESPINASSE Professeur à l'université d'aix-marseille Plan Introduction Présentation du cours Intro Générale - Génie Logiciel - Bernard ESPINASSE - - 1

2 I n t r o d u c t i o n le génie logiciel (G.L.) existe depuis bientôt 25 ans le GL est né en Europe en octobre 1968, à Garmisch-Partenkirchen, sous le nom de soflware engineering, et sous le parrainage de l'otan des constations que le logiciel : n'était pas fiable, était incroyablement difficile de réaliser dans des délais prévus ne satisfaisaient pas leurs cahiers des charges Intro Générale - Génie Logiciel - Bernard ESPINASSE - - 2

3 E r r e u r s c é l è b r e s... 1 sonde Mariner vers Vénus s'est perdue dans l'espace à cause d'une erreur dans un pgm Fortran : lors d'une expérience météorologique en France, 72 ballons contenant des instruments de mesure furent détruits tout d'un coup à cause d'un défaut dans le logiciel : un problème logiciel retarda de 2 jours le premier lancement orbital de la navette spatiale; la navette fut lancée sans que l'on ait localisé exactement la cause du problème 1990 : dans nuit du décembre 1990, les abonnés de ATT de la côte Est des Etats-Unis furent privés de tout appel longue distance à cause d'une réaction en chaîne dans le logiciel du réseau due à un changement de version de ce logiciel... Intro Générale - Génie Logiciel - Bernard ESPINASSE - - 3

4 P r o j e t s d o u l o u r e u x : OS pour gamme IBM 360 : livré en retard, nécessitait plus de mémoire que prévu, prix de revient dépassait de beaucoup les estimations, premières versions avec erreurs : Compilateur PL1 chez Control Data : projet avorté 1990 : EDF a dû renoncer à la mise en service du nouveau système de contrôle-commande de ses centrales de mégawatts après plusieurs années d'efforts de développement 1993 : SNCF a rencontré des difficultés importantes à la mise en service du système Socrate... Intro Générale - Génie Logiciel - Bernard ESPINASSE - - 4

5 Q u e s t i o n s un logiciel étant un produit manufacturé complexe, est-il raisonnable d'en attendre une qualité totale? pas de telles exigences dans les autres domaines technologiques (voitures tombent en panne, les circuits ont des défaillances, etc on souhaiterait cependant avoir des estimations de cette qualité la fiabilité et la sûreté de fonctionnement des logiciels, des améliorations spectaculaires ont été obtenues. des projets autres que de développement de logiciel prennent du retard et dépassent leur budget? Oui, mais dans le cas du logiciel ces dépassements en temps et en coût peuvent être énormes (jusqu'à 300, 400%). Intro Générale - Génie Logiciel - Bernard ESPINASSE - - 5

6 L ' i n v i s i b i l i t é d u l o g i c i e l : s a s p é c i f i c a t i o n souvent le logiciel développé ne correspond pas à la demande. Comment exprimer ses spécifications? Comment les soumettre au futur utilisateur et au futur réalisateur? ceci est du au fait qu'un logiciel, surtout en cours de développement, est invisible : on ne peut l'observer qu'en l'utilisant et observation souvent tardive et insuffisante pour comprendre ce qui se passe les modifications sont : F l e x i b i l i t é d u l o g i c i e l : u n m y t h e délicates à concevoir peuvent avoir des conséquences difficiles à anticiper. un changement mineur dans une partie d'un programme peut : avoir un effet énorme sur le fonctionnement de celle-ci affecter le fonctionnement d'autres parties du programme. Intro Générale - Génie Logiciel - Bernard ESPINASSE - - 6

7 L e G é n i e l o g i c i e l Définition du Génie Logiciel : l'art de spécifier, de concevoir, de réaliser, et de faire évoluer, avec des moyens et dans des délais raisonnables, des programmes, des documentations et des procédures de qualité en vue d'utiliser un ordinateur pour résoudre certains problèmes le GL considère le logiciel comme un objet manufacturé complexe le but du GL est de définir des techniques de "fabrication" justifiées soit par la théorie, soit par la pratique depuis sa "naissance" le GL a permis de développer des logiciels : plus fiables qu'il y a vingt ans, plus facilement modifiables et satisfont mieux leurs utilisateurs ceci en utilisant des méthodes, des modèles et des outils Intro Générale - Génie Logiciel - Bernard ESPINASSE - - 7

8 logiciels dans tous les domaines on demande de plus en plus au logiciel : E v o l u t i o n d e s l o g i c i e l s changement continu complexité croissante évolution du programme taille de plus en plus importante : CERN : demi-million d'instructions pour une expérience de physique des particules central téléphonique : le million d'instructions SPATIAL: plus grand projet de GL jamais réalisé est l'ensemble du contrôle au sol et en vol de la navette spatiale : 50 millions d'instructions (plusieurs milliers d'hommes-années)... exigences de correction, de fiabilité, de permanence du service deviennent de plus en plus fortes -> un des plus grands défis scientifiques et technologiques actuels. Intro Générale - Génie Logiciel - Bernard ESPINASSE - - 8

9 p a r t i e 1 : A c t i v i t é s & M o d è l e s d e D é v e l o p p e m e n t Séance 1 : Activités et Modèles de développement du logiciel Les activités associées au développement du logiciel Analyse des besoins Spécification globale Conceptions architecturale et détaillée Programmation Gestion de configurations et Intégration Validation et vérification Les principaux modèles de développement du logiciel Modèle de la cascade Modèle en V Modèle en spirale Modèles par incréments Intro Générale - Génie Logiciel - Bernard ESPINASSE - - 9

10 p a r t i e 2 : L e s O u t i l s d e s p é c i f i c a t i o n Séance 2 : Différents outils de spécification - Les énoncés informels - Les présentations formatées : le dictionnaire de données tables de décision table état-transition - Les outils graphiques ou semi-formels (1) les diagrammes de flot de données les diagrammes de structures Séance 3 : Différents outils de spécification - Les outils graphiques ou semi-formels (2) les diagrammes états-transition les réseaux de Pétri et le Grafcet l'entité-association de base et étendu Intro Générale - Génie Logiciel - Bernard ESPINASSE

11 p a r t i e 3 : L e s M é t h o d e s f o n c t i o n n e l l e s e t s y s t è m i q u e s Séance 4 : Les grands types de méthodes d'analyse et de conception - Les méthodes fonctionnelles - Les méthodes systèmiques - Les méthodes orientées objet Séance 5 : Les méthodes fonctionnelles : SA/SD et SADT - Historique - Domaine d'application - Modèles et formalismes - Démarche préconisée Séance 6 : Les méthodes systèmiques : MERISE/2 - Historique - Domaine d'application - Modèles et formalismes - Démarche préconisée : classique & rapide Intro Générale - Génie Logiciel - Bernard ESPINASSE

12 p a r t i e 3 : L e s M é t h o d e s O r i e n t é e s O b j e t e t F o r m e l l e s Séance 7 : Les méthodes objets : OMT - Intérêt de l'approche objet en génie logiciel - Historique - Domaine d'application - Modèles et formalisme - Démarche préconisée - Articulation MERISE/2 - OMT Séance 8 : Les méthodes formelles : Z - Historique - Domaine d'application - Modèles et formalisme Intro Générale - Génie Logiciel - Bernard ESPINASSE

13 p a r t i e 4 : M é t h o d e s d e T e s t e t d e P r e u v e e n G é n i e l o g i c i e l Séance 9 : Méthodes de Test et de Preuve en génie logiciel Méthodes de test de logiciel Définition du test de logiciel Classification des méthodes Test statique Test dynamique Efficacité des tests Méthodes de preuve de développement de logiciel Définition des preuves en génie logiciel Preuves de conception Preuves de programme Les preuves en pratique Intro Générale - Génie Logiciel - Bernard ESPINASSE

Génie Logiciel. Hassan El Mansouri

Génie Logiciel. Hassan El Mansouri Hassan El Mansouri 1 Plan du cours Problématique et naissance du génie logiciel Cycle de développement, cycle de vie, cahier des charges Patrons de conception Programmation par composants, réutilisation

Plus en détail

Génie Logiciel. Hassan El Mansouri. Plan du cours. Problématique du Génie Logiciel

Génie Logiciel. Hassan El Mansouri. Plan du cours. Problématique du Génie Logiciel Hassan El Mansouri 1 Plan du cours Cycle de développement, cycle de vie, cahier des charges Patrons de conception Programmation par composants, réutilisation de composants Gestion des exceptions Stratégies

Plus en détail

Le génie logiciel. maintenance de logiciels.

Le génie logiciel. maintenance de logiciels. Le génie logiciel Définition de l IEEE (IEEE 1990): L application d une approche systématique, disciplinée et quantifiable pour le développement, l opération et la maintenance de logiciels. Introduction

Plus en détail

Le génie Logiciel (suite)

Le génie Logiciel (suite) Le génie Logiciel (suite) Lors du cours précédent, on a étudié différents cycles de vie, dont la cascade, ou la spirale. Analyse des besoins L analyse des besoins est une étape menant à l élaboration de

Plus en détail

2. Activités et Modèles de développement en Génie Logiciel

2. Activités et Modèles de développement en Génie Logiciel 2. Activités et Modèles de développement en Génie Logiciel Bernard ESPINASSE Professeur à l'université d'aix-marseille Plan Les Activités du GL Analyse des besoins Spécification globale Conceptions architecturale

Plus en détail

Modèle d implémentation

Modèle d implémentation Modèle d implémentation Les packages UML: Unified modeling Language Leçon 5/6-9-16/10/2008 Les packages - Modèle d implémentation - Méthodologie (RUP) Un package ou sous-système est un regroupement logique

Plus en détail

IFT2251 : Génie logiciel

IFT2251 : Génie logiciel IFT2251 : Génie logiciel Chapitre 1. Génie logiciel : objectifs, défis et principes Julie Vachon, Automne 2003 Présenté par Yann-Gaël Guéhéneuc, Hiver 2004 Génie logiciel : objectifs, défis et principes

Plus en détail

Introduction au développement du logiciel

Introduction au développement du logiciel Introduction au développement du logiciel Vers le génie logiciel Université de Nantes Master Miage M1 Plan 1 Introduction 2 Génie logiciel 3 Projet informatique 4 Méthode de développement 5 Qualité Bibliographie

Plus en détail

Processus d Informatisation

Processus d Informatisation Processus d Informatisation Cheminement de la naissance d un projet jusqu à son terme, deux grandes étapes : Recherche ou étude de faisabilité (en amont) L utilisateur a une idée (plus ou moins) floue

Plus en détail

PRINCIPES et METHODES de SPECIFICATION et de CONCEPTION GLOBALE des SYSTEMES INFORMATISES 10/20/02 1

PRINCIPES et METHODES de SPECIFICATION et de CONCEPTION GLOBALE des SYSTEMES INFORMATISES 10/20/02 1 PRINCIPES et METHODES de SPECIFICATION et de CONCEPTION GLOBALE des SYSTEMES INFORMATISES 10/20/02 1 CYCLE de VIE des SYSTEMES INFORMATISES Expression du besoin Développement du «système» Exploitation

Plus en détail

Méthodes fonctionnelles : SADT

Méthodes fonctionnelles : SADT Méthodes fonctionnelles : SADT Bernard ESPINASSE Professeur à l'université d'aix-marseille Plan Introduction Principes de base Représentations graphiques Actigrammes & Datagrammes Conventions simplificatrices

Plus en détail

Gestion de projet - les chaînes critiques

Gestion de projet - les chaînes critiques Gestion de projet - les chaînes critiques GÉRARD CASANOVA - DENIS ABÉCASSIS Paternité - Pas d'utilisation Commerciale - Pas de Modification : http://creativecommons.org/licenses/by-nc-nd/2.0/fr/ Table

Plus en détail

Modèles. Outils. Méthodes. Typologie des Outils et Méthodes de spécification en Génie Logiciel - Bernard ESPINASSE - - 4

Modèles. Outils. Méthodes. Typologie des Outils et Méthodes de spécification en Génie Logiciel - Bernard ESPINASSE - - 4 Typologie des modèles, outils et des méthodes de spécification en Génie Logiciel Bernard ESPINASSE Professeur à l'université d'aix-marseille 2008 Typologie des modèles : analytiques, conceptuels, structurels,

Plus en détail

Génie Logiciel. Art et Science de la construction de logiciel Conception. D. Revuz Université de Marne la Vallée

Génie Logiciel. Art et Science de la construction de logiciel Conception. D. Revuz Université de Marne la Vallée Génie Logiciel Art et Science de la construction de logiciel Conception D. Revuz Université de Marne la Vallée Organisation Conception Techniques, langages, Design Patterns Méthodes I Diagrammes UML outils

Plus en détail

MAXIMISER LA DISPONIBILITÉ DES PRODUITS DANS LES MAGASINS

MAXIMISER LA DISPONIBILITÉ DES PRODUITS DANS LES MAGASINS Distribution MAXIMISER LA DISPONIBILITÉ DES PRODUITS DANS LES MAGASINS METTRE LES RUPTURES SOUS CONTRÔLE Introduction Tout distributeur veut que tous les produits soient bien présents dans ses rayons.

Plus en détail

Modélisation objet Le langage UML

Modélisation objet Le langage UML Modélisation objet Le langage UML Brahim HAMID La base de contrôle Robot Zone à explorer brahim.hamid@irit.fr brahim.hamid@univ-tlse2.fr http://mass-cara.univ-tlse2.fr/~brahimou/ens/uml 1 Les méthodes

Plus en détail

Analyse,, Conception des Systèmes Informatiques

Analyse,, Conception des Systèmes Informatiques Analyse,, Conception des Systèmes Informatiques Méthode Analyse Conception Introduction à UML Génie logiciel Définition «Ensemble de méthodes, techniques et outils pour la production et la maintenance

Plus en détail

Fonctionnalités d un logiciel de GMAO

Fonctionnalités d un logiciel de GMAO I.1. Introduction : Le caractère stratégique de la panne, préoccupe de plus en plus les responsables de la production ayant à faire face aux équipements complexes qui ne cessent de prendre de l ampleur

Plus en détail

Etude de cas. Porter l optimisation au plus haut niveau

Etude de cas. Porter l optimisation au plus haut niveau Etude de cas Porter l optimisation au plus haut niveau Après la mise en oeuvre du Quintiq Company Planner, Vlisco a réduit ses délais de production de 50%. L étape suivante, le déploiement du Scheduler,

Plus en détail

Avec vous, pour vos projets, à chaque instant. Utilisation des réseaux de Pétri avec GRIF

Avec vous, pour vos projets, à chaque instant. Utilisation des réseaux de Pétri avec GRIF Avec vous, pour vos projets, à chaque instant Utilisation des réseaux de Pétri avec GRIF 2010 Projets pour le grand accélérateur de particules GANIL CEA/CNRS Vérification des automatismes de gestion du

Plus en détail

Gestion de projet - la phase de réalisation du projet

Gestion de projet - la phase de réalisation du projet Gestion de projet - la phase de réalisation du projet GÉRARD CASANOVA - DENIS ABÉCASSIS Paternité - Pas d'utilisation Commerciale - Pas de Modification : http://creativecommons.org/licenses/by-nc-nd/2.0/fr/

Plus en détail

Les méthodes formelles dans le cycle de vie. Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr

Les méthodes formelles dans le cycle de vie. Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr Les méthodes formelles dans le cycle de vie Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr Plan Introduction Différentes utilisations possibles Différentes techniques pour différentes propriétés à différents

Plus en détail

Tolérance aux pannes dans les systèmes distribués. Alain BUI

Tolérance aux pannes dans les systèmes distribués. Alain BUI Tolérance aux pannes dans les systèmes distribués Alain BUI Professeur Département de Mathématiques et Informatique alain.bui@univ-reims.fr Alain BUI -- Université de Reims 1 Introduction Nombre croissant

Plus en détail

NémVélo : Système informatisé de gestion d'une flotte de bicyclettes en libre-service

NémVélo : Système informatisé de gestion d'une flotte de bicyclettes en libre-service NémVélo : Système informatisé de gestion d'une flotte de bicyclettes en libre-service 1 Dossier de Spécification : Gestion informatique de location de NémoVélos Sommaire : 1. Portée...3 1.1 Identification...3

Plus en détail

Yannick Prié UFR Informatique Université Claude Bernard Lyon 1 M1 MIAGE SIMA / M1 Informatique MIF17 2008 2009

Yannick Prié UFR Informatique Université Claude Bernard Lyon 1 M1 MIAGE SIMA / M1 Informatique MIF17 2008 2009 Yannick Prié UFR Informatique Université Claude Bernard Lyon 1 M1 MIAGE SIMA / M1 Informatique MIF17 2008 2009 Notion de méthode de conception de SI Méthodes OO de conception Généralités sur les méthodes

Plus en détail

Introduction à la conduite de projet "systèmes d'information"

Introduction à la conduite de projet systèmes d'information Centre national de la recherche scientifique Direction des systèmes d'information REFERENTIEL QUALITE Guide méthodologique Introduction à la conduite de projet "systèmes d'information" Référence : CNRS/DSI/conduite-projet/principes/guide-introduction

Plus en détail

Modélisation Principe Autre principe

Modélisation Principe Autre principe Modélisation Principe : un modèle est une abstraction permettant de mieux comprendre un objet complexe (bâtiment, économie, atmosphère, cellule, logiciel, ). Autre principe : un petit dessin vaut mieux

Plus en détail

Chapitre I - Introduction et conseils au lecteur

Chapitre I - Introduction et conseils au lecteur Chapitre I - Introduction et conseils au lecteur Cette partie introductive situe la place de l'algorithmique dans le développement logiciel et fournit au lecteur des conseils : conseils pour bien analyser

Plus en détail

LES COURS ONLINE. ar des étudiants our des étudiants. Olden Fabre, Cynthia Thimon, Jakub Kaluza, Jean Desravines, Oliver Hamm

LES COURS ONLINE. ar des étudiants our des étudiants. Olden Fabre, Cynthia Thimon, Jakub Kaluza, Jean Desravines, Oliver Hamm LES COURS ONLINE P ar des étudiants our des étudiants Olden Fabre, Cynthia Thimon, Jakub Kaluza, Jean Desravines, Oliver Hamm CAHIER DES CHARGES I - Préface...4 II - Introduction...5 III - Glossaire...6

Plus en détail

Module : Méthodes et Spécifications Formelles (Approche orientée modèle) Christian Attiogbé UFR Sciences Nantes Dpt. Informatique

Module : Méthodes et Spécifications Formelles (Approche orientée modèle) Christian Attiogbé UFR Sciences Nantes Dpt. Informatique Méthodes formelles 1 Module : Méthodes et Spécifications Formelles (Approche orientée modèle) Slide 1 Christian Attiogbé UFR Sciences Nantes Dpt. Informatique Christian.Attiogbe@univ-nantes.fr maj. janvier

Plus en détail

Projet Informatique. Philippe Collet. Licence 3 Informatique S5 2014-2015. http://deptinfo.unice.fr/twiki/bin/view/linfo/projetinfo201415

Projet Informatique. Philippe Collet. Licence 3 Informatique S5 2014-2015. http://deptinfo.unice.fr/twiki/bin/view/linfo/projetinfo201415 Projet Informatique Philippe Collet Licence 3 Informatique S5 2014-2015 http://deptinfo.unice.fr/twiki/bin/view/linfo/projetinfo201415 Réalisation d'un développement de taille conséquente? r Firefox? Ph.

Plus en détail

Quel logiciel libre pour quelle entreprise?

Quel logiciel libre pour quelle entreprise? Quel logiciel libre pour quelle entreprise? Compte-rendu de l atelier - Mardi 7 mars 2000 Intervenant : Mathias HERBERTS - Consultant, Société ATLANTIDE Responsable : Alain LEROY - Professeur à l ENST

Plus en détail

CONSULTANT EXTÉRIEUR POUR LES ÉTUDES DE GÉNIE CIVIL HORS LHC. M. Poehler. Abstract

CONSULTANT EXTÉRIEUR POUR LES ÉTUDES DE GÉNIE CIVIL HORS LHC. M. Poehler. Abstract CONSULTANT EXTÉRIEUR POUR LES ÉTUDES DE GÉNIE CIVIL HORS LHC M. Poehler Abstract Un des mandats de la division ST est la réalisation de travaux de génie civil pour la construction, la rénovation et l adaptation

Plus en détail

Système. Introduction aux systèmes informatiques

Système. Introduction aux systèmes informatiques Introduction aux systèmes informatiques Système Un système est une collection organisée d'objets qui interagissent pour former un tout Objets = composants du système Des interconnexions (liens) entre les

Plus en détail

IFT3913 Qualité du logiciel et métriques. Chapitre 2

IFT3913 Qualité du logiciel et métriques. Chapitre 2 IFT3913 Qualité du logiciel et métriques Chapitre 2 Qualité du produit logiciel Plan du cours Introduction Qualité du logiciel Théorie de la mesure Mesure de la qualité du logiciel Études empiriques Mesure

Plus en détail

Les principes et les thèmes PRINCE2

Les principes et les thèmes PRINCE2 31 Chapitre 3 Les principes et les thèmes PRINCE2 1. Les principes de la méthode PRINCE2 Les principes et les thèmes PRINCE2 Les principes de la méthode PRINCE2 définissent un cadre de bonnes pratiques

Plus en détail

Modélisation Principe Autre principe

Modélisation Principe Autre principe Modélisation Principe : un modèle est une abstraction permettant de mieux comprendre un objet complexe (bâtiment, économie, atmosphère, cellule, logiciel, ). Autre principe : un petit dessin vaut mieux

Plus en détail

Bienvenue dans le monde de la construction logicielle

Bienvenue dans le monde de la construction logicielle Chapitre 1 Bienvenue dans le monde de la construction logicielle Sommaire : 1.1 La construction logicielle, qu est-ce que c est? : page 3 1.2 Pourquoi la construction logicielle est-elle importante? :

Plus en détail

Les standards et la prise en compte des COTS : comment se concilient l utilisation des COTS et les normes actuelles?

Les standards et la prise en compte des COTS : comment se concilient l utilisation des COTS et les normes actuelles? Les standards et la prise en compte des COTS : comment se concilient l utilisation des COTS et les normes actuelles? L I S EDF Electricité de France technicatome THOMSON-CSF Marie-Hélène Durand Aerospatiable

Plus en détail

Analyse de sûreté des systèmes informatisés : l approche de l IRSN

Analyse de sûreté des systèmes informatisés : l approche de l IRSN 02 Novembre 2009 Analyse de sûreté des systèmes informatisés : l approche de l IRSN 1 ROLE DES SYSTEMES INFORMATISES DANS LES CENTRALES NUCLEAIRES Les centrales nucléaires sont de plus en plus pilotées

Plus en détail

En informatique et en particulier en génie logiciel, la qualité logicielle est une appréciation globale d'un logiciel, basée sur de nombreux

En informatique et en particulier en génie logiciel, la qualité logicielle est une appréciation globale d'un logiciel, basée sur de nombreux Introduction En informatique et en particulier en génie logiciel, la qualité logicielle est une appréciation globale d'un logiciel, basée sur de nombreux indicateurs 1. La complétude des fonctionnalités,

Plus en détail

Analyse et conception des Systèmes d Information. La démarche Merise : La Production Logicielle

Analyse et conception des Systèmes d Information. La démarche Merise : La Production Logicielle Analyse et conception des Systèmes d Information La démarche Merise : La Production Logicielle La production du logiciel Place, objectifs et principes directeurs Christophe.Nicolle@u-bourgogne.fr Introduction

Plus en détail

LA QUALITE DU LOGICIEL

LA QUALITE DU LOGICIEL LA QUALITE DU LOGICIEL I INTRODUCTION L'information est aujourd'hui une ressource stratégique pour la plupart des entreprises, dans lesquelles de très nombreuses activités reposent sur l'exploitation d'applications

Plus en détail

Gestion de projet Étapes/Jalonnement Outils

Gestion de projet Étapes/Jalonnement Outils Jean-Marc ROBERT 1 / 25 Gestion de projet Étapes/Jalonnement Outils Jean-Marc ROBERT Team DALI/LIRMM, University of Perpignan, France Perpignan, le 26 Septembre 2012 Jean-Marc ROBERT 2 / 25 Sommaire 1

Plus en détail

Management de la chaîne logistique. Professeur Mohamed Reghioui

Management de la chaîne logistique. Professeur Mohamed Reghioui Management de la chaîne logistique Professeur Mohamed Reghioui M.Reghioui - 2012 1 Informations générales sur le module Intervenants: Mohamed Reghioui(m.reghioui@gmail.com) Informations générales Répartition

Plus en détail

Maintenance et dépannage de l'ordinateur

Maintenance et dépannage de l'ordinateur Maintenance et dépannage de l'ordinateur 1 Maintenance préventive Inspection, nettoyage et remplacement réguliers et systématiques des pièces, matériaux et systèmes usés. 1.1. Matériel - Vérifiez l'état

Plus en détail

IFT 3901 Analyse et Conception des Logiciels

IFT 3901 Analyse et Conception des Logiciels IFT 3901 Analyse et Conception des Logiciels Automne 2005 Petko Valtchev Petko Valtchev Université de Montréal Septembre 2005 1 Analyse et Conception 1. L analyse et la conception OO (survol) Petko Valtchev

Plus en détail

3 Pseudo-code et algorithmes 26

3 Pseudo-code et algorithmes 26 TABLE DES MATIÈRES 1 Introduction à la programmation 1 1.1 Programme et langage de programmation 2 1.2 Étapes du développement des programmes 2 1.3 Notion d'algorithme 6 2 Notions de base 9 2.1 Constantes

Plus en détail

TP Maîtrise Statistique des Procédés

TP Maîtrise Statistique des Procédés TP Maîtrise Statistique des Procédés Vous allez utiliser un programme informatique «SIMDI Tour» qui simule (sommairement) le fonctionnement d un tour à commande numérique. Pendant ce TP, qui se déroule

Plus en détail

Suivi des risques Projet ERP Info 2000

Suivi des risques Projet ERP Info 2000 Suivi des s Projet ERP Info 1 Inflation Description du Impacts Type de Evolution des coûts matière première, composants ou soustraitance Augmentation du budget économique/ Augmentation du budget économique/

Plus en détail

SYSTEMES D INFORMATION & CONCEPTION de BdD

SYSTEMES D INFORMATION & CONCEPTION de BdD SYSTEMES D INFORMATION & CONCEPTION de BdD PLAN CONCEPT DE SYSTEME D INFORMATION MODELISATION D UN SYSTEME D INFORMATION MODELISATION CONCEPTUELLE : les METHODES METHODE SYSTEMIQUE METHODE OBJET L3 Informatique

Plus en détail

LA DEMARCHE DE PROJET

LA DEMARCHE DE PROJET LA DEMARCHE DE PROJET Baccalauréat STI2D-SIN SIN 1.1 : La démarche de projet Objectifs o Utiliser les outils adaptés pour planifier un projet (Revue de projet, Cartes mentales, Gantt, chemin critique...

Plus en détail

LES COURS ONLINE. ar des étudiants our des étudiants. Olden Fabre, Cynthia Thimon, Jakub Kaluza, Jean Desravines, Oliver Hamm

LES COURS ONLINE. ar des étudiants our des étudiants. Olden Fabre, Cynthia Thimon, Jakub Kaluza, Jean Desravines, Oliver Hamm LES COURS ONLINE P ar des étudiants our des étudiants Olden Fabre, Cynthia Thimon, Jakub Kaluza, Jean Desravines, Oliver Hamm C AHIER DES CHARGES I - Préface...4 II - Introduction...5 III - Glossaire...6

Plus en détail

LES OUTILS DE LA GESTION DE PROJET

LES OUTILS DE LA GESTION DE PROJET LES OUTILS DE LA GESTION DE PROJET PROJET : «ensemble des actions à entreprendre afin de répondre à un besoin défini dans des délais fixés». Délimité dans le temps avec un début et une fin, mobilisant

Plus en détail

Validation de systèmes intégrant des COTS : comment accommoder les inconnues sur la qualification des COTS dans le processus de validation?

Validation de systèmes intégrant des COTS : comment accommoder les inconnues sur la qualification des COTS dans le processus de validation? Validation de systèmes intégrant des COTS : comment accommoder les inconnues sur la qualification des COTS dans le processus de validation? L I S EDF Electricité de France technicatome THOMSON-CSF Philippe

Plus en détail

COMPLIANCE Consulting. Gardez la Maîtrise de vos Exigences. 18 mai 2011

COMPLIANCE Consulting. Gardez la Maîtrise de vos Exigences. 18 mai 2011 COMPLIANCE Consulting Gardez la Maîtrise de vos Exigences 18 mai 2011 Présentation Société Société Société de conseil spécialisée dans le transfert de technologies en matière de processus, de méthodes

Plus en détail

Maîtrise Universitaire en Comptabilité, Contrôle et Finance. Audit des systèmes d information. Partie 5: Audit d une application informatique

Maîtrise Universitaire en Comptabilité, Contrôle et Finance. Audit des systèmes d information. Partie 5: Audit d une application informatique Maîtrise Universitaire en Comptabilité, Contrôle et Finance Audit des systèmes d information Partie 5: Audit d une application informatique Emanuel Campos - version 2015 Les présentations personnelles

Plus en détail

6761 Validation de la conformité 21.03.2007

6761 Validation de la conformité 21.03.2007 6761 Validation de la conformité 21.03.2007 Peter DAEHNE 1 Tests de stress Les tests de stress permettent d étudier le comportement du logiciel lorsque celui-ci est mis dans des situations extrêmes, aux

Plus en détail

REFERENTIEL IN2P3 CONDUITE DE PROJETS

REFERENTIEL IN2P3 CONDUITE DE PROJETS REFERENTIEL IN2P3 CONDUITE DE PROJETS Gestion de la configuration Mis à jour en mars 2008 Table des matières 1- Synthèse...3 2- Principes généraux relatifs à la gestion de configuration...5 2.1. Quelques

Plus en détail

IFT2251 Introduction au génie logiciel Hiver 2006 (4 crédits) Prof. : Julie Vachon. Plan de cours

IFT2251 Introduction au génie logiciel Hiver 2006 (4 crédits) Prof. : Julie Vachon. Plan de cours IFT2251 Introduction au génie logiciel Hiver 2006 (4 crédits) Prof. : Julie Vachon ** Début des cours : le lundi 9 janvier 2006 ** Plan de cours 1. Introduction Les exigences et les attentes à l égard

Plus en détail

Un peu d'organisation. Conception et Programmation par Objets HLIN406. Sommaire. Pourquoi vous parler de conception par objets? Notion de modélisation

Un peu d'organisation. Conception et Programmation par Objets HLIN406. Sommaire. Pourquoi vous parler de conception par objets? Notion de modélisation Un peu d'organisation Conception et Programmation par Objets HLIN406 Marianne Huchard, Clémentine Nebut LIRMM / Université de Montpellier 2 Premières semaines Contrôle des connaissances Supports 2015 Sommaire

Plus en détail

Smart Automation, Quality and IT Excellence Solutions - our experience, your success. Version 2.5. www.ats-global.com

Smart Automation, Quality and IT Excellence Solutions - our experience, your success. Version 2.5. www.ats-global.com Version 2.5 Page 1 Des Big Data au décisionnel essentiel Convertissez vos données d'exploitation en indicateurs KPI vitaux, générez des rapports de gestion pertinents et procédez à des analyses de données

Plus en détail

Nelson Kakande Initiative Sur La Gestion de la Recherche et de L'iInnovation (irim)

Nelson Kakande Initiative Sur La Gestion de la Recherche et de L'iInnovation (irim) Nelson Kakande Initiative Sur La Gestion de la Recherche et de L'iInnovation (irim) Qu'est-ce qu'un contrat/sous-traitance? Responsabilités du destinataire principal Sélection des sous-traitants Responsabilités

Plus en détail

1 EVALUATION DES OFFRES ET NEGOCIATIONS

1 EVALUATION DES OFFRES ET NEGOCIATIONS CERN LIBRARIES, GENEVA CM-P00090679 1 EXTRAIT DU REGLEMENT INTERNE APPLIQUE PAR L'ADMINISTRATION DANS L'ATTRIBUTION DES MARCHES DU CERN 1 EVALUATION DES OFFRES ET NEGOCIATIONS 1.0 Ouverture et évaluation

Plus en détail

LE PROCESSUS TECHNOLOGIQUE : de l idée... au recyclage

LE PROCESSUS TECHNOLOGIQUE : de l idée... au recyclage centre de développement pédagogique pour la formation générale en science et technologie LE PROCESSUS TECHNOLOGIQUE : de l idée... au recyclage Février 2005 (révisé 2010) DE L IDÉE... AU PROTOTYPE Exemple

Plus en détail

Suivi, traçabilité et contrôle : un débit de production élevé à un coût réduit

Suivi, traçabilité et contrôle : un débit de production élevé à un coût réduit Suivi, traçabilité et contrôle : un débit de production élevé à un coût réduit Découvrez comment les solutions de suivi, traçabilité et contrôle aident les fabricants à réduire les coûts, réduire les déchets,

Plus en détail

Logiciels embarqués Viser l'excellence dans le développement

Logiciels embarqués Viser l'excellence dans le développement Avant-propos 1. Introduction 7 2. Objectif de ce livre 9 3. Conventions 9 4. Remerciements 10 La qualité logicielle 1. Introduction 11 2. Qu est-ce qu un défaut logiciel? 11 3. Une histoire abrégée des

Plus en détail

Modélisation des Systèmes d Information Jean-Yves Antoine

Modélisation des Systèmes d Information Jean-Yves Antoine Modélisation des Systèmes d Information Jean-Yves Antoine http://www.info.univ-tours.fr/~antoine Objectifs de l enseignement Conception des systèmes d information avec une vision plus générale sur la conception

Plus en détail

COMPTE-RENDU DE L'UTILISATION DU LOGICIEL «EQUATIONS»

COMPTE-RENDU DE L'UTILISATION DU LOGICIEL «EQUATIONS» 233 COMPTE-RENDU DE L'UTILISATION DU LOGICIEL «EQUATIONS» Auteur du logiciel : Jean-Louis SIRIEIX INTRODUCTION Ce compte-rendu relate l'utilisation d'un logiciel élaboré par Jean Louis SIRIEIX, professeur

Plus en détail

Informatique UE 102. Jean-Yves Antoine. Architecture des ordinateurs et Algorithmique de base. UFR Sciences et Techniques Licence S&T 1ère année

Informatique UE 102. Jean-Yves Antoine. Architecture des ordinateurs et Algorithmique de base. UFR Sciences et Techniques Licence S&T 1ère année UFR Sciences et Techniques Licence S&T 1ère année Informatique UE 102 Architecture des ordinateurs et Algorithmique de base Jean-Yves Antoine http://www.intro.univ-tours.fr/~antoine/ UFR Sciences et Techniques

Plus en détail

REFERENTIEL NORMATIF du CNES

REFERENTIEL NORMATIF du CNES REFERENTIEL NORMATIF du CNES Référence : Méthode et Procédure Annexe Technique à la MP RNC-CNES-Q-80-529 APPROBATION Président du CDN ; date et nom : Page i.1 PAGE D'ANALYSE DOCUMENTAIRE TITRE : MOTS

Plus en détail

COMMENT REALISER UN QCM POUR L EVALUATION

COMMENT REALISER UN QCM POUR L EVALUATION COMMENT REALISER UN QCM POUR L EVALUATION INDIVIDUELLE D UN APP? EFSTATHIOU Emilie 1, KARFAL Ghizlane 2 1 4 ème année Génie Mécanique Ingénierie Système, INSA Toulouse 2 4 ème année Génie Mécanique Ingénierie

Plus en détail

Exercices Alternatifs. Quelqu un aurait-il vu passer un polynôme?

Exercices Alternatifs. Quelqu un aurait-il vu passer un polynôme? Exercices Alternatifs Quelqu un aurait-il vu passer un polynôme? c 2004 Frédéric Le Roux, François Béguin (copyleft LDL : Licence pour Documents Libres). Sources et figures: polynome-lagrange/. Version

Plus en détail

Exercices Alternatifs. Quelqu un aurait-il vu passer un polynôme?

Exercices Alternatifs. Quelqu un aurait-il vu passer un polynôme? Exercices Alternatifs Quelqu un aurait-il vu passer un polynôme? c 2004 Frédéric Le Roux, François Béguin (copyleft LDL : Licence pour Documents Libres). Sources et figures: polynome-lagrange/. Version

Plus en détail

Centrale électrique à Bobo-Dioulasso, Burkina-Faso. Jorgen Schytte/StillPictures

Centrale électrique à Bobo-Dioulasso, Burkina-Faso. Jorgen Schytte/StillPictures Centrale électrique à Bobo-Dioulasso, Burkina-Faso Jorgen Schytte/StillPictures 3 Collecte des données Questions traitées dans ce chapitre Quels outils utiliser pour recueillir des données sur l économie

Plus en détail

DUT Qualité Logistique Industrielle et Organisation Plan formation Semestres 1 et 2

DUT Qualité Logistique Industrielle et Organisation Plan formation Semestres 1 et 2 DUT Qualité Logistique Industrielle et Organisation Plan formation Semestres 1 et 2 A. ENSEIGNEMENTS DE SPECIALITE I. Entreprise (Modules 114 115 116) I.1. Approche économique (M114) a) Entreprise et production

Plus en détail

Fiche métier Responsable de la préparation des produits

Fiche métier Responsable de la préparation des produits Fiche métier Responsable de la préparation Il peut aussi s appeler > Chef/responsable de station de conditionnement. > Chef d entrepôt. Caractéristiques du métier > Le/la responsable de la préparation

Plus en détail

Rappel de la première partie

Rappel de la première partie Conduite de projets (informatiques) Eric Bourreau Thérèse Libourel 1 Rappel de la première partie Définition et terminologie Projet (besoin objectif) gestion d un projet (estim, planif, pilot, suivi) Le

Plus en détail

Industrialisation du logiciel Temps Réel Critique

Industrialisation du logiciel Temps Réel Critique Industrialisation du logiciel Temps Réel Critique Sommaire Projets opérationnels Les outils du marché utilisés et les contraintes associées CS et les méthodes CS et la R&D Conclusion RdV de l'innovation

Plus en détail

Evaluation des systèmes programmés critiques à l'aide de la méthode et de l outil SERENE

Evaluation des systèmes programmés critiques à l'aide de la méthode et de l outil SERENE Evaluation des systèmes programmés critiques à l'aide de la méthode et de l outil SERENE Marc BOUISSOU 1 Plan de l exposé Le projet SERENE en deux mots Particularités de l'évaluation des systèmes programmés

Plus en détail

Conseils pour l évaluation et l attribution de la note

Conseils pour l évaluation et l attribution de la note Entreprise formatrice Candidat/-e Téléphone: Téléphone: Ce document ne doit en aucun cas être montré au candidat après l attribution des points. Conseils pour l évaluation et l attribution de la note Documentation

Plus en détail

Identifier les sources d erreur lors d une pesée

Identifier les sources d erreur lors d une pesée Discipline : Mesure et instrumentation Intitulé de la séance : D'après : Objectifs Objectifs : Identifier les différentes sources d erreur par le diagramme 5M Identifier les sources d erreur lors d une

Plus en détail

Cours de Génie Logiciel

Cours de Génie Logiciel Cours de Génie Logiciel Sciences-U Lyon Gestion de Projet Informatique http://www.rzo.free.fr Pierre PARREND 1 Mars 2005 Sommaire Gestion de projet informatique Cycle de vie du logiciel Modèles de Méthodes

Plus en détail

Utilisation de Mathenpoche en classe de BEPA Vente de produits frais

Utilisation de Mathenpoche en classe de BEPA Vente de produits frais Utilisation de en classe de BEPA Vente de produits frais Professeur de Mathématiques et de Sciences Physiques LEGTA Bel Air Fontenay-le-Comte (85) 1/16 Table des matières 1 Problématique...4 2...5 2.1

Plus en détail

Module 177 Assurer la gestion des dysfonctionnements

Module 177 Assurer la gestion des dysfonctionnements Module 177 Assurer la gestion des dysfonctionnements Copyright IDEC 2003-2009. Reproduction interdite. Sommaire Introduction : quelques bases sur l ITIL...3 Le domaine de l ITIL...3 Le berceau de l ITIL...3

Plus en détail

C1 S informer. C1.1 Rechercher, Exploiter des documents

C1 S informer. C1.1 Rechercher, Exploiter des documents C1 S informer C1.1 Rechercher, Exploiter des documents Une commande Un besoin exprimé Expliciter le besoin*. Le service rendu, les utilisateurs, les conditions d'utilisation sont listés. Les performances

Plus en détail

System Workbench pour Linux Basic Edition

System Workbench pour Linux Basic Edition System Workbench pour Linux Basic Edition Tirer le meilleur de vos formations Linux Bien trop souvent, suite aux sessions de formations, vous n'avez pas la possibilité de travailler sur un environnent

Plus en détail

PREAVIS DE LA MUNICIPALITE AU CONSEIL COMMUNAL

PREAVIS DE LA MUNICIPALITE AU CONSEIL COMMUNAL PREAVIS DE LA MUNICIPALITE AU CONSEIL COMMUNAL N 32/6.08 DEMANDE D'UN CREDIT DE CHF 40'000.00 POUR UN AUDIT GLOBAL DE SECURITE INFORMATIQUE, POUR L ETABLISSEMENT D UNE POLITIQUE DE SECURITE ET POUR UNE

Plus en détail

Développement itératif, évolutif et agile

Développement itératif, évolutif et agile Document Développement itératif, évolutif et agile Auteur Nicoleta SERGI Version 1.0 Date de sortie 23/11/2007 1. Processus Unifié Développement itératif, évolutif et agile Contrairement au cycle de vie

Plus en détail

Cas d'étude : Puissance 4 Analyse des besoins

Cas d'étude : Puissance 4 Analyse des besoins 1 Génie Logiciel Cas d'étude : Puissance 4 Analyse des besoins Renaud Marlet LaBRI / INRIA http://www.labri.fr/~marlet màj 18/04/2007 2 Exercice Vous êtes employé(e) dans une société qui édite des jeux

Plus en détail

MEILLEURES PRATIQUES POUR LE TEST DES FIBRES OPTIQUES

MEILLEURES PRATIQUES POUR LE TEST DES FIBRES OPTIQUES FIBER EXCELLENCE MEILLEURES PRATIQUES POUR LE TEST DES FIBRES OPTIQUES GUIDE DE POCHE INSPECTER ET NETTOYER TESTER DÉPANNER DOCUMENTER PARAMÉTRER EN CONFORMITÉ DES STANDARDS POUR PLUS DE PRÉCISION, DE

Plus en détail

Numérisation et constitution d une bibliothèque numérique

Numérisation et constitution d une bibliothèque numérique Numérisation et constitution d une bibliothèque numérique 28 janvier 2013 Yohann Le Tallec yohann.le-tallec@bnf.fr Service numérisation Introduction Brève présentation des projets de numérisation en cours

Plus en détail

2. Technique d analyse de la demande

2. Technique d analyse de la demande 1. Recevoir et analyser une requête du client 2. Sommaire 1.... Introduction 2.... Technique d analyse de la demande 2.1.... Classification 2.2.... Test 2.3.... Transmission 2.4.... Rapport 1. Introduction

Plus en détail

IAM et habilitations, l'approche par les accès ou la réconciliation globale

IAM et habilitations, l'approche par les accès ou la réconciliation globale IAM et habilitations, l'approche par les accès ou la réconciliation globale 04/12/08 Page 1 Evidian 2008 1 Les couches archéologiques du Système d information: Les systèmes centraux Ventes Employés Employé

Plus en détail

Le panneau solaire assure cette conversion d énergie grâce à de nombreuses cellules photovoltaïques étant montées en série ainsi qu en dérivation.

Le panneau solaire assure cette conversion d énergie grâce à de nombreuses cellules photovoltaïques étant montées en série ainsi qu en dérivation. Introduction : La voiture solaire est un thème qui s inscrit dans une problématique et un contexte qui sont devenus récurrents ces dernières années, celle du développement durable. C est une voiture qui

Plus en détail

Sarl Sodestel Edition Informatique. Pour plus Plus de performance dans vos activités d agent immobilier. Estimation. Mandats de vente au juste prix

Sarl Sodestel Edition Informatique. Pour plus Plus de performance dans vos activités d agent immobilier. Estimation. Mandats de vente au juste prix PRESENTATION L EXPERIMMO, logiciel d évaluation de la valeur vénale d un bien immobilier Sarl Sodestel Edition Informatique Pour plus Plus de performance dans vos activités d agent immobilier Estimation

Plus en détail

LANDPARK ACTIVE DIRECTORY

LANDPARK ACTIVE DIRECTORY LANDPARK ACTIVE DIRECTORY LANDPARK ACTIVE DIRECTORY / OPEN LDAP LA SOLUTION EFFICACE POUR INTÉGRER TOUS VOS UTILISATEURS DANS VOTRE GESTION DE PARC LANDPARK MANAGER UN SAVOIR FAIRE Avec une expertise et

Plus en détail

Cours d architecture logicielle. Philippe Lalanda

Cours d architecture logicielle. Philippe Lalanda Cours d architecture logicielle Tactiques de conception Philippe Lalanda Philippe.lalanda@imag.fr Rappel n Approches pour la conception n Identification des composants fonctionnels n dérivation à partir

Plus en détail

CPLN 20/08/2009 MBO Service ICT et Pédagogie

CPLN 20/08/2009 MBO Service ICT et Pédagogie La clé USB Présentation De première vue, une clé USB est un simple "morceau de plastique". Hors, elle est très utile et de plus en plus utilisée. Elle permet de stocker des fichiers (et dossiers) tout

Plus en détail

Gestion Projet. Cours 3. Le cycle de vie

Gestion Projet. Cours 3. Le cycle de vie Gestion Projet Cours 3 Le cycle de vie Sommaire Généralités 3 Séquentiel 7 Itératif/Incrémental 17 Extreme Programming 22 Que choisir? 29 Etats Transverse 33 Cours 3 2006-2007 2 Généralités Cours 3 2006-2007

Plus en détail