Un outil de modélisation des systèmes
|
|
|
- Andrée Briand
- il y a 8 ans
- Total affichages :
Transcription
1 Un outil de modélisation des systèmes Florent Patin Le 17 mars 2006 Présentation AFADL 06 C L E A R S Y EUROPARC de Pichaury Bâtiment C2 1330, av. Guillibert de la Lauzière Aix en Provence Cedex 3 Téléphone : Télécopie : clearsy.com
2 ClearSy en deux mots Clearsy exploite ses compétences en modélisation formelle pour réaliser ses prestations de développement de logiciels ou de systèmes Ingénierie Système (dev et appli) Logiciels Garantis Sûreté de Fonctionnement Recherche & Développement Innovation méthodologique Expérimentation de modélisation Réalisation de Logiciels d Ingénierie Leader dans le développement industriel de la Méthode B Méthode de modélisation formelle avec preuve Éditeur de l Atelier B
3 Pourquoi CompoSys? q Besoin de modélisation ä pour avoir une vue d ensemble d un système ä pour pouvoir vérifier certaines propriétés de cohérences ä pour tracer les échanges entre les sous-systèmes q Besoin d exploitation des informations ä pour la transmission à des non-spécialistes ä pour l utilisation par des activités transverses : 4 sûreté de fonctionnement, 4 démonstration formelle de propriétés, 4 spécifications fonctionnelles, 4 fiches de validation, 4 matrices réseaux, 4 bilans électriques...
4 Description de CompoSys (1) Méthode B B Logiciel B Système Développement de logiciels sûrs prouvés Modélisation de systèmes Méthodes outillées par CompoSys et des outils de l Atelier B Méthodes outillées par l Atelier B et B4free Preuve formelle de propriétés Exploitation du modèle
5 Description de CompoSys (2) q CompoSys est un outil de description formelle de systèmes ä description : l outil permet de décrire les composants et leurs interactions dans un système hybride ä formelle : l utilisation de méthodes formelles permet d obtenir des informations précises dont on peut vérifier la cohérence (par des outils) ä système : l outil est principalement destiné à des systèmes distribués contenant de l informatique (exemple : une automobile)
6 Description de CompoSys deux faces q Une face formelle ä une modélisation formelle (B) décrivant le système avec des fonctionnalités permettant : 4 de guider le modélisateur, 4 d automatiser les vérifications et, 4 d automatiser la génération des documents dans tous les formats nécessaires à l exploitation pluri-disciplinaire de cette information q Une face informelle ä restitution de l information plus complète et plus compréhensible pour un utilisateur non expert en langage formel : 4 Génération d un document navigable en langage naturel 4 Génération de diagrammes représentant les échanges d information entre les différents composants
7 Description de CompoSys Fonctionnement q A chacun des éléments définis dans la modélisation formelle l outil associe différentes informations : ä Une description détaillée de l élément avec possibilité d ajouter des informations complémentaires : schémas, photos, diagrammes, ä Pour chacune des opérations, on doit définir dans quel composant elle est effectuée ä Pour chacune des variables, on doit définir : 4 son type : entrée ou sortie du système, paramètre interne d un composant, paramètre échangé avec d autre composant, 4 la nature de la variable : information électrique, message réseau, 4 le support de l information : réseau «CAN moteur», Alimentation hydraulique
8 Description de CompoSys Fonctionnement (2) q Durant tout le processus de modélisation et même sur un système incomplet, l outil est capable de : ä vérifier plus de 50 règles de cohérences ä calculer et dessiner les interactions entre les différents composants ä générer de la documentation en langage naturel q CompoSys remet facilement la documentation à jour après une évolution
9 Description de CompoSys Composition q Plugins de l environnement de développement d eclipse q Il est composé de : ä un éditeur ä une vue eclipse ä un analyseur lexical et syntaxique (B) ä un contrôleur de cohérence ä un générateur de documents sous plusieurs formats (paramétrable) ä un générateur de diagramme q CompoSys est compatible avec Linux et Windows
10 Utilisation de CompoSys Intégration fonctionnelle d'un véhicule militaire (SPRAT) q Objectif du projet : ä Modélisation de l ensemble de l architecture électromécanique ä Vérifier, avant d acheter les différents éléments, qu ils permettent bien de : 4 réaliser les fonctionnalités attendues 4 s intégrer dans l architecture système q Apports de CompoSys : ä Possibilité de modéliser le système et de vérifier la cohérence ä Génération d un document de référence globale du système remis à jour automatiquement ä Possibilité de générer une base d information permettant de calculer la charge des réseaux ou de faire une étude de sécurité de fonctionnement
11 Utilisation de CompoSys Modélisation de 3 véhicules pour le diagnostic : 206, 307, 407 q Objectif du projet : ä Obtenir un document de référence des véhicules permettant d appréhender plus rapidement leur fonctionnement ä Générer une base de départ pour les outils de diagnostic q Apports de CompoSys : ä Génération de documents de référence mis à jour automatiquement, sous plusieurs formats : 4 papier, pour servir de «dictionnaire» 4 navigable, pour que les experts puissent appréhender le fonctionnement des différentes fonctionnalités ä Vérification de la cohérence de la modélisation conduisant à la mise en évidence d erreurs et d imprécisions dans les documents sources (provenant des études)
12 Utilisation de CompoSys Étude système des façades de quai q Objectif du projet : ä Vérifier la cohérence des spécifications d un système de façade de quai pour le métro ä Vérifier certaines propriétés systèmes q Apports de CompoSys : ä Génération de la documentation mise à jour automatiquement ä Vérification des interactions entre les composants du système : quai, voie, train et façade de quai
13 Utilisation de CompoSys Étude fonctionnelle d un sous-système redondé de la fusée Ariane V q Objectif du projet : ä Recueillir l information nécessaire à une modélisation formelle complète du système ä Générer un document de référence décrivant tous les éléments et leur fonctionnement q Apports de CompoSys : ä Génération d un document de référence remis à jour automatiquement ä La modélisation formelle permet de mettre en évidence les informations manquantes ou les incohérences de la documentation source
14 Perspectives de CompoSys q Utilisation d un animateur de prédicats permettant de faire une animation graphique du fonctionnement du système q Ajouter des outils de génération permettant d apporter des sorties supplémentaires à l usage d autres activités annexes q : intégrer CompoSys dans le nouvel environnement du projet RODIN en cours de développement (sous eclipse)
15 Distribution de CompoSys q CompoSys est disponible gratuitement en version Beta-test sur le site :
Proposition de sujet de thèse CIFRE EUROCOPTER / LGI2P
EUROCOPTER SAS Groupe EADS Marignane Ecole des Mines d Alès Laboratoire de Génie Informatique et d Ingénierie de Production LGI2P Nîmes Proposition de sujet de thèse CIFRE EUROCOPTER / LGI2P Titre Domaine
Le partenaire de la DSI
Expertde votre système d information Le partenaire de la DSI Agence Rhône-Alpes 10 place Charles Béraudier 69428 LYON Cedex 03 Tel: +33 4 26 78 25 05 Fax: +33 4 26 78 25 04 Agence Méditerranée Europarc
Cursus Sage ERP X3 Outils & Développement. Le parcours pédagogique Sage ERP X3 Outils et Développement
Cursus Outils & Développement Vous êtes Consultant, Chef de Projets, Directeur des Systèmes d Information, Directeur Administratif et Financier, Optez pour les «formations Produits» Nous vous proposons
Sujet de thèse CIFRE RESULIS / LGI2P
Ecole des Mines d Alès Laboratoire de Génie Informatique et d Ingénierie de Production LGI2P Nîmes Sujet de thèse CIFRE RESULIS / LGI2P Titre Domaine De l ingénierie des besoins à l ingénierie des exigences
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
INTRODUCTION AUX TECHNOLOGIES D INGENIERIE DES DONNEES DIRIGEE PAR LES MODELES
INTRODUCTION AUX TECHNOLOGIES D INGENIERIE DES DONNEES DIRIGEE PAR LES MODELES Les contenus de ce document sont la propriété exclusive de la société REVER. Ils ne sont transmis qu à titre d information
Modelio by Modeliosoft
Modelio by Modeliosoft Solutions d entreprise basées sur l atelier leader de modélisation open source Modelio (modelio.org) L atelier de modélisation open source de référence Une solution sur étagère,
CATALOGUE DE FORMATIONS BUSINESS INTELLIGENCE. Edition 2012
CATALOGUE DE FORMATIONS BUSINESS INTELLIGENCE Edition 2012 AGENDA Qui sommes nous? Présentation de Keyrus Keyrus : Expert en formations BI Nos propositions de formation 3 modes de formations Liste des
La Certification de la Sécurité des Automatismes de METEOR
1 La Certification de la Sécurité des Automatismes de METEOR 2 un mot sur METEOR 3 Le projet METEOR, c'est... un système automatique complexe fortement intégré matériel roulant, équipements électriques,
ÉdIteur officiel et fournisseur de ServIceS professionnels du LogIcIeL open Source ScILab
ÉdIteur officiel et fournisseur de ServIceS professionnels du LogIcIeL open Source ScILab notre compétence d'éditeur à votre service créée en juin 2010, Scilab enterprises propose services et support autour
Formats 3D Critères d utilisation dans les échanges Frédéric CHAMBOLLE PSA Peugeot Citroën Direction des Systèmes d Information
Formats 3D Critères d utilisation dans les échanges Frédéric CHAMBOLLE PSA Peugeot Citroën Direction des Systèmes d Information Atelier Ingénierie GALIA 30 novembre 2010 Introduction Les travaux de ce
Générer du code à partir d une description de haut niveau
Cedric Dumoulin Générer du code à partir d une description de haut niveau Ce projet vise à fournir un environnement de développement permettant de modéliser des UI Android à un haut niveau d abstraction,
MANAGEMENT DES SYSTEMES D INFORMATION ET DE PRODUCTION MSIP
MANAGEMENT DES SYSTEMES D INFORMATION ET DE PRODUCTION MSIP METHODES & CONCEPTS POUR UNE INGENIERIE INNOVANTE Ecole Nationale Supérieure des Mines de Rabat Département INFORMATIQUE www.enim.ac.ma MANAGEMENT
Visual Paradigm Contraintes inter-associations
Visual Paradigm Contraintes inter-associations Travail de Bachelor d'informaticien de gestion Partie C Présentation de Visual Paradigm 1 Présentation de Visual Paradigm For UML L objet du travail de Bachelor
openarchitectureware & transformation de modèle Yannick Lizzi Architecte Logiciel itemis France Mail: lizzi@itemis.de
openarchitectureware & transformation de modèle Yannick Lizzi Architecte Logiciel itemis France Mail: lizzi@itemis.de itemis France 2009 All rights reserved 1 Itemis en quelques mots Spécialisé dans l
Solution. collaborative. de vos relations clients.
Solution collaborative de vos relations clients. Le Collaborative Relationship Management : une autre vision du CRM L un des enjeux majeurs dans les relations qu une entreprise entretient avec ses clients
Institut d Informatique & d Initiative Sociale
Institut d Informatique & d Initiative Sociale 89, Bd Aristide Briand 13300 Salon de Provence Tél : 04 90 56 18 31 Fax : 04 90 56 91 66 e-mail : contact@3is-formation.eu 3IS Centre de formation agréé code
W4 - Workflow La base des applications agiles
W4 - Workflow La base des applications agiles, W4 philippe.betschart@w4global.com Vous avez dit «workflow»? Processus : Enchaînement ordonné de faits ou de phénomènes, répondant à un certain schéma et
Modèle de cahier des charges pour un appel d offres relatif à une solution de gestion des processus métier (BPM)
LA BOITE A OUTILS DE L ACHETEUR DE BPM Modèle de cahier des charges pour un appel d offres relatif à une solution de gestion des processus métier (BPM) La boîte à outils de l acheteur de solution BPM -
JOURNEES SYSTEMES & LOGICIELS CRITIQUES le 14/11/2000. Mise en Œuvre des techniques synchrones pour des applications industrielles
JOURNEES SYSTEMES & LOGICIELS CRITIQUES le 14/11/2000 Mise en Œuvre des techniques synchrones pour des applications industrielles Mise en œuvre des techniques synchrones pour des applications industrielles
Identification du module
Identification du module Numéro de module 475 Titre Développer une analyse pour une application Compétence Développer à partir des exigences fonctionnelles et non fonctionnelles pour une application, les
Le Processus RUP. H. Kadima. Tester. Analyst. Performance Engineer. Database Administrator. Release Engineer. Project Leader. Designer / Developer
Le Processus RUP Database Administrator Project Leader H. Kadima Performance Engineer Release Engineer Analyst Designer / Developer Tester Table des matières 1. De l artisanat à l industrialisation de
MEGA ITSM Accelerator. Guide de démarrage
MEGA ITSM Accelerator Guide de démarrage MEGA 2013 1ère édition (janvier 2013) Les informations contenues dans ce document pourront faire l objet de modifications sans préavis et ne sauraient en aucune
Solution. collaborative. de vos relations clients.
Solution collaborative de vos relations clients. Le Collaborative Relationship Management : une autre vision du CRM L un des enjeux majeurs dans les relations qu une entreprise entretient avec ses clients
Fabien Pinckaers Geoff Gardiner. OpenERP. Tiny. Pour une. gestion d entreprise efficace et intégrée. Groupe Eyrolles, 2008, ISBN : 978-2-212-12261-9
Fabien Pinckaers Geoff Gardiner OpenERP Tiny Pour une gestion d entreprise efficace et intégrée Groupe Eyrolles, 2008, ISBN : 978-2-212-12261-9 Table des matières Première partie Premiers pas avec Open
Cursus Sage ERP X3 Outils & Développement. CURSUS Sage ERP X3 Outils & Développement ADVANCED. Outils avancés. 2 jours X3A-ADM. Développement 1 &2
Cursus Outils & Développement Vous êtes Consultant, Chef de Projets, Directeur des Systèmes d Information, Directeur Administratif et Financier, Optez pour les «formations Produits» Nous vous proposons
Remplacement du système de contrôle d accès de l Enssat
Remplacement du système de contrôle d accès de l Enssat Cahier des Clauses Techniques Particulières (CCTP) Dossier 0955 W ENSSAT 17 juin 2009 Page 1/8 Table des matières I. Présentation de l environnement...
LANGAGUE JAVA. Public Développeurs souhaitant étendre leur panel de langages de programmation
ING 01 LANGAGUE JAVA Durée : 21 heures 1090 HT / jour Dates : à définir en 2012 Concevoir et développer des programmes en langage Java Comprendre le fonctionnement de la machine virtuelle S approprier
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
DEMANDE D INFORMATION RFI (Request for information)
RFI-2013-09 Demande d information Page 1/9 DEMANDE D INFORMATION RFI (Request for information) Socle de Ged-Archivage SOMMAIRE 1. OBJET DE LA DEMANDE D INFORMATION... 3 2. PÉRIMÈTRE DE L INFORMATION...
MEGA ITSM Accelerator. Guide de Démarrage
MEGA ITSM Accelerator Guide de Démarrage MEGA 2009 SP4 1ère édition (juin 2010) Les informations contenues dans ce document pourront faire l objet de modifications sans préavis et ne sauraient en aucune
PÉRENNISER LA PERFORMANCE
PÉRENNISER LA PERFORMANCE La recherche de performance est aujourd hui au cœur des préoccupations des organisations : succession des plans de productivité et de profitabilité, plans de reprise d activités,
C est quoi le SWAT? Les équipes décrites par James Martin s appellent SWAT : Skilled With Advanced Tools.
1- RAD Quelle sont les avantages que apporte la méthode RAD à l entreprise? Une méthode RAD devrait, d après son auteur, apporter trois avantages compétitifs à l entreprise : Une rapidité de développement
Bertrand Cornanguer Sogeti
JFIE 2014 Bertrand Cornanguer Sogeti Trésorier du CFTL Chair du groupe Audit de l ISTQB Vice-chair du groupe Agile Tester de l ISTQB 14/10/2014 Introduction Comme beaucoup de sujets, l ingénierie des exigences
Les projets d investissement en PME
Le point sur Les projets d investissement en PME Concilier performance économique et conditions de travail L investissement reste un moment clé du développement d une entreprise. C est l occasion de repenser
IBM Tivoli Monitoring, version 6.1
Superviser et administrer à partir d une unique console l ensemble de vos ressources, plates-formes et applications. IBM Tivoli Monitoring, version 6.1 Points forts! Surveillez de façon proactive les éléments
Sofrecom, filiale du Groupe France Telecom Orange - Intégrateur de solution SIG. Expériences et solutions SIG
Sofrecom, filiale du Groupe France Telecom Orange - Intégrateur de solution SIG Expériences et solutions SIG Sommaire Présentation de Sofrecom Notre offre SIG Le projet TIGRE pour France Telecom, notre
CONCEPTION Support de cours n 3 DE BASES DE DONNEES
CONCEPTION Support de cours n 3 DE BASES DE DONNEES Auteur: Raymonde RICHARD PRCE UBO PARTIE III. - LA DESCRIPTION LOGIQUE ET PHYSIQUE DES DONNEES... 2 A. Les concepts du modèle relationnel de données...
Vérifier la qualité de vos applications logicielle de manière continue
IBM Software Group Vérifier la qualité de vos applications logicielle de manière continue Arnaud Bouzy Kamel Moulaoui 2004 IBM Corporation Agenda Analyse de code Test Fonctionnel Test de Performance Questions
Les tableaux de bord de pilotage de nouvelle génération. Copyright 2002-2008 PRELYTIS
Les tableaux de bord de pilotage de nouvelle génération Sommaire PRELYTIS en quelques mots LiveDashBoard : principes directeurs et positionnement La couverture fonctionnelle Démonstration Les packages
PASSEPORT INNOVATION Guide de présentation des demandes Janvier 2015
PASSEPORT Guide de présentation des demandes Janvier 2015 Le présent document a été produit par le ministère de l Économie, de l Innovation et des Exportations Coordination et rédaction Direction du soutien
CQP ADMINISTRATEUR DE BASES DE DONNÉES (ABD) ----------------------------------------------------------------------------------------------------
ORGANISME REFERENCE STAGE : 26587 20 rue de l Arcade 75 008 PARIS CONTACT Couverture : M. Frédéric DIOLEZ Paris, Lyon, Bordeaux, Rouen, Toulouse, Marseille, Tél. : 09 88 66 17 40 Strasbourg, Nantes, Lille,
Systèmes et réseaux d information et de communication
233 DIRECTEUR DES SYSTÈMES ET RÉSEAUX D INFORMATION ET DE COMMUNICATION Code : SIC01A Responsable des systèmes et réseaux d information FPESIC01 Il conduit la mise en œuvre des orientations stratégiques
Les Bonnes PRATIQUES DU TEST LOGICIEL
Les Bonnes PRATIQUES DU TEST LOGICIEL SOMMAIRE Qu est-ce que le test logiciel? Pourquoi le test est-il un maillon crucial de l ingénierie logicielle? Quels sont les différents types de tests? Qu est-ce
CA XOsoft. Suite logiciels. WANSync Solution de réplication des données en LAN ou WAN.
Suite logiciels CA XOsoft WANSync Solution de réplication des données en LAN ou WAN. WANSyncHA Solution de haute disponibilité basée sur la répartition asynchrone en temps réel, le basculement sur incident
M2 SIAW - Exemples de stages réalisés. Gabriella Salzano - Document de travail - 28/1/2015
M2 SIAW - Exemples de stages réalisés Gabriella Salzano - Document de travail - 28/1/2015 Les étudiants du M2 SIAW réalisent généralement leurs stages dans des entreprises, parfois dans des laboratoires
MINISTÈRE DES AFFAIRES ÉTRANGÈRES
MINISTÈRE DES AFFAIRES ÉTRANGÈRES DOSSIER DE RECONNAISSANCE DES ACQUIS DE L EXPERIENCE PROFESSIONNELLE (RAEP) EXAMEN PROFESSIONNALISE RESERVE L arrêté en date du 12 juillet 2013 fixant la nature des épreuves
UE 8 Systèmes d information de gestion Le programme
UE 8 Systèmes d information de gestion Le programme Légende : Modifications de l arrêté du 8 mars 2010 Suppressions de l arrêté du 8 mars 2010 Partie inchangée par rapport au programme antérieur Indications
Reconstruction de bâtiments en 3D à partir de nuages de points LIDAR
Reconstruction de bâtiments en 3D à partir de nuages de points LIDAR Mickaël Bergem 25 juin 2014 Maillages et applications 1 Table des matières Introduction 3 1 La modélisation numérique de milieux urbains
Vérification formelle de la plate-forme Java Card
Vérification formelle de la plate-forme Java Card Thèse de doctorat Guillaume Dufay INRIA Sophia Antipolis Cartes à puce intelligentes Java Card : Environnement de programmation dédié. Dernières générations
Le programme d examens du Bureau canadien des conditions d admission en génie d Ingénieurs Canada englobe 19 domaines du génie.
INTRODUCTION Le programme d examens du Bureau canadien des conditions d admission en génie d Ingénieurs Canada englobe 19 domaines du génie. Le programme d examens de chaque domaine se divise en deux catégories
WinDesign : modélisation des Systèmes d Information organisationnel et informatique
WinDesign, suite de modélisation d entreprise WinDesign : modélisation des Systèmes d Information organisationnel et informatique Editeur Cecima Le Décisium Bat B2 1 rue Mahatma Gandhi 13090 Aix en Provence
Système de Gestion de Ressources
Groupe 4 Système de Gestion de Ressources Clients : Rachid Khoufache & Antoine Rozenknop Version finale Ingénieur Informatique deuxième année Année scolaire 2011/2012 TABLE DES MATIERES I. INTRODUCTION...
Réussir le choix de son SIRH
Réussir le choix de son SIRH Pascale Perez - 17/09/2013 1 L évolution du SI RH 1960 à 1970 : le progiciel de paie. Le système d information RH apparaît dans les années soixante avec la construction des
Évaluation et implémentation des langages
Évaluation et implémentation des langages Les langages de programmation et le processus de programmation Critères de conception et d évaluation des langages de programmation Les fondations de l implémentation
IBM Tivoli Compliance Insight Manager
Simplifier les audits sur la sécurité et surveiller les activités des utilisateurs privilégiés au moyen d un tableau de bord permettant de contrôler la conformité aux exigences de sécurité IBM Points forts
(1,1) -1- CPLMEx_8pE_vF.indd 28/02/07, 23:26:46. CATIA PLM Express La voie rapide vers le PLM
(1,1) -1- CPLMEx_8pE_vF.indd 28/02/07, 23:26:46 CATIA PLM Express La voie rapide vers le PLM (1,1) -1- CPLMEx_8pE_vF.indd 28/02/07, 23:27:06 25 ans d excellence en conception produit au service de toutes
Linux Expo 2010. Gestion des Identités et des Accès. Le 16 mars 2010. Arismore
Linux Expo 2010 Le 16 mars 2010 Arismore 1 Agenda Arismore Vision fonctionnelle de la gestion des identités Positionnement de l open source 2 Spécialiste de la gestion des accès et des identités Société
et les Systèmes Multidimensionnels
Le Data Warehouse et les Systèmes Multidimensionnels 1 1. Définition d un Datawarehouse (DW) Le Datawarehouse est une collection de données orientées sujet, intégrées, non volatiles et historisées, organisées
Tivoli Endpoint Manager Introduction. 2011 IBM Corporation
Tivoli Endpoint Manager Introduction Enjeux pour les départements IT Comment gérer : l inventaire la mise à jour la sécurité la conformité Sur des environnements hétérogènes OS : Windows, Mac, UNIX, Linux,
Présentation de la Société
Présentation de la Société 1 Présentation Générale SOCIETE INDEPENDANTE d étude, de conseil et d ingénierie basée à Aix en Provence, à 15 minutes de l aéroport de Marseille Provence et à 3 heures de Paris
Conception des bases de données : Modèle Entité-Association
Conception des bases de données : Modèle Entité-Association La modélisation d un problème, c est-à-dire le passage du monde réel à sa représentation informatique, se définit en plusieurs étapes pour parvenir
Éléments de programmation et introduction à Java
Éléments de programmation et introduction à Java Jean-Baptiste Vioix (jean-baptiste.vioix@iut-dijon.u-bourgogne.fr) IUT de Dijon-Auxerre - LE2I http://jb.vioix.free.fr 1-20 Les différents langages informatiques
Intégration de l interface graphique de Ptidej dans Eclipse
Intégration de l interface graphique de Ptidej dans Eclipse Driton Salihu (salihudr@iro.umontreal.ca) Lulzim Laloshi (laloshil@iro.umontreal.ca) Département d informatique et de recherche opérationnelle
VOTRE EXPERT MÉTIER. www.ordirope.fr commercial@ordirope.fr
VOTRE EXPERT MÉTIER 2, quai du Commerce - C.P. 731 69256 LYON CEDEX 09 Tél : 04 72 53 33 33 Fax : 04 72 53 33 34 www.ordirope.fr commercial@ordirope.fr Éditeur de Ordirope, éditeur de Nous partageons le
Gestion d Epargne de Crédit & Comptabilité
Présentation du produit Introduction Fonctionnalités Technologies Open Source Avantages Spécifications techniques Services Captures d écran Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7 Introduction
Université de Bangui. Modélisons en UML
Université de Bangui CRM Modélisons en UML Ce cours a été possible grâce à l initiative d Apollinaire MOLAYE qui m a contacté pour vous faire bénéficier de mes connaissances en nouvelles technologies et
INDUSTRIALISATION ET RATIONALISATION
INDUSTRIALISATION ET RATIONALISATION A. LA PROBLEMATIQUE La mission de toute production informatique est de délivrer le service attendu par les utilisateurs. Ce service se compose de résultats de traitements
Mercredi 15 Janvier 2014
De la conception au site web Mercredi 15 Janvier 2014 Loïc THOMAS Géo-Hyd Responsable Informatique & Ingénierie des Systèmes d'information loic.thomas@anteagroup.com 02 38 64 26 41 Architecture Il est
Sage ERP X3 Standard Edition Eclosion du 1 er ERP 100% pré-paramétré
Sage ERP 3 Standard Edition Eclosion du 1 er ERP 100% pré-paramétré TOUTES LES FONCTIONS DE VOTRE ENTREPRISE VONT S ÉPANOUIR! Les atouts qui font la différence Une large couverture fonctionnelle. Des processus
Système à enseigner : Robot M.I.M.I. MultipodeIntelligent à Mobilité Interactive. Version 1.0
Système à enseigner : Robot M.I.M.I. MultipodeIntelligent à Mobilité Interactive Sommaire - Le Robot M.I.M.I. (Multipode Intelligent à Mobilité Interactive) - Présentation du Système à Enseigner. - Composition
CONSULTANT(E) SAP ERP
Formation conventionnée par le Conseil Régional Midi-Pyrénées CONSULTANT(E) SAP ERP De novembre 2013 à juillet 2014* Modalités pratiques Durée : 450 h (12 semaines) en présentiel + 560 h (16 semaines)
Réussir la modélisation UML des phases amont Techniques de «pré-modélisation» : un pont vers le modèle
Réussir la modélisation UML des phases amont Techniques de «pré-modélisation» : un pont vers le modèle Softeam 2004 Philippe Desfray (voir A propos de l auteur) Présentation Réussir le développement d
Sextant. RFS Consultants Décembre 2008
Décembre 2008 Le logiciel d assistance administrative indispensable à toute structure de plus d une personne. Le premier logiciel que l on lance le matin et le dernier que l on ferme le soir. Un logiciel
Procédure Platine Exchange 2010 Accompagnement à la migration de votre compte 09/08/2013 - Version 1.0 Hébergement web professionnel www.platine.
Procédure Platine Exchange 2010 Accompagnement à la migration de votre compte 09/08/2013 - Version 1.0 Hébergement web professionnel Introduction : Cette documentation a pour objectif de vous préparer
Conception, architecture et urbanisation des systèmes d information
Conception, architecture et urbanisation des systèmes d information S. Servigne Maître de Conférences, LIRIS, INSA-Lyon, F-69621 Villeurbanne Cedex e-mail: sylvie.servigne@insa-lyon.fr 1. Introduction
Société TPA S.A.S. Servie Informatique TPA Metz Nord. 85, avenue de Thionville. 57140 Woippy. www.groupetpa.com. L entreprise.
Société TPA S.A.S Servie Informatique TPA Metz Nord 85, avenue de Thionville 57140 Woippy www.groupetpa.com L entreprise Contact Mr Philippe Trientz, Chef de Projet Informatique Philippe.trientz@groupetpa.fr
Test et Validation du Logiciel
Test et Validation du Logiciel McInfo4_ASR Tests Janvier 2009 Patrick FELIX patrick.felix@labri.fr IUT Bordeaux 1 Plan Introduction : Pourquoi de la VVT? 1 Introduction au test de logiciels 2 Le test fonctionnel
Fiche pour les étudiants «Comment répondre à une question à développement?»
VOLUME 11, NO 1 AUTOMNE 2012 Cégep de Rimouski Développement pédagogique Annexe 2 du Pédagotrucs no 40 Fiche pour les étudiants «Comment répondre à une question à développement?» Voici un guide qui t aidera
PASSEPORT INNOVATION Guide de présentation des demandes Mai 2015
PASSEPORT INNOVATION Guide de présentation des demandes Mai 2015 Le présent document a été produit par le ministère de l Économie, de l Innovation et des Exportations Coordination et rédaction Direction
Nom de l application
Ministère de l Enseignement Supérieur et de la Recherche Scientifique Direction Générale des Etudes Technologiques Institut Supérieur des Etudes Technologiques de Gafsa Département Technologies de l Informatique
ANNEXE I RÉFÉRENTIELS DU DIPLÔME. Mention complémentaire Maintenance des systèmes embarqués de l automobile 5
ANNEE I RÉFÉRENTIELS DU DIPLÔME Mention complémentaire Maintenance des systèmes embarqués de l automobile 5 RÉFÉRENTIEL DES ACTIVITÉS PROFESSIONNELLES 1. Définition La mention complémentaire Maintenance
Stages 2014-2015 ISOFT : UNE SOCIETE INNOVANTE. Contact : Mme Lapedra, stage@isoft.fr
Stages 2014-2015 ISOFT : UNE SOCIETE INNOVANTE Contact : Mme Lapedra, stage@isoft.fr ISoft, éditeur de logiciels, est spécialisé dans l informatique décisionnelle et l analyse de données. Son expertise
URBANISME DES SYSTÈMES D INFORMATION
FAYCAL AYECH GL2. INSAT 2010/2011 INTRODUCTION AUX SYSTÈMES D INFORMATIONS URBANISME DES SYSTÈMES D INFORMATION De l Urbanisme à L Urbanisation des SI Urbanisme : Mise en œuvre des politiques urbaines
Business Intelligence avec Excel, Power BI et Office 365
Avant-propos A. À qui s adresse ce livre? 9 1. Pourquoi à chaque manager? 9 2. Pourquoi à tout informaticien impliqué dans des projets «BI» 9 B. Obtention des données sources 10 C. Objectif du livre 10
La solution pour gérer vos connaissances techniques et scientifiques
La solution pour gérer vos connaissances techniques et scientifiques La solution pour gérer, sécuriser et réutiliser vos connaissances techniques et scientifiques TEEXMA est le premier outil collaboratif
Installation et configuration de base de l active Directory
SCHMITT Année 2012/2014 Cédric BTS SIO Installation et configuration de base de l active Directory Description: Ce projet a pour but d installer l active directory et de créer une redondance en cas de
Nouveautés Ignition v7.7
... Nouveautés Ignition v7.7 Nouveautés Ignition v7.7 Découvrez le Nouveau Scada avec plus de 40 nouveautés Principales nouveautés :... Cloud Templates Template Repeater Client Multilingue + Sequential
S engager pour gagner la confiance
Services S engager pour gagner la confiance Depuis 1934, les femmes et les hommes de COURBON mobilisent leurs énergies pour la réussite de vos projets. Les équipes COURBON sont présentes tout au long du
Comment gérer toutes mes tâches logicielles d automatisation dans un seul environnement?
Comment gérer toutes mes tâches logicielles d automatisation dans un seul environnement? Avec Totally Integrated Automation Portal : un seul environnement de développement intégré pour toutes vos tâches
Projet 2. Gestion des services enseignants CENTRE D ENSEIGNEMENT ET DE RECHERCHE EN INFORMATIQUE. G r o u p e :
CENTRE D ENSEIGNEMENT ET DE RECHERCHE EN INFORMATIQUE Projet 2 Gestion des services enseignants G r o u p e : B E L G H I T Y a s m i n e S A N C H E Z - D U B R O N T Y u r i f e r M O N T A Z E R S i
IFT2255 : Génie logiciel
IFT2255 : Génie logiciel Chapitre 6 - Analyse orientée objets Section 1. Introduction à UML Julie Vachon et Houari Sahraoui 6.1. Introduction à UML 1. Vers une approche orientée objet 2. Introduction ti
Accenture accompagne la première expérimentation cloud de l État français
Accenture accompagne la première expérimentation cloud de l État français Pays marqué par la centralisation, la France dispose paradoxalement d une informatique en silo, chaque ministère étant doté de
Salon Progiciels 2007 Conférence «La description visuelle des flux d information» Avec le témoignage de la société
Salon Progiciels 2007 Conférence «La description visuelle des flux d information» Avec le témoignage de la société Contexte et historique du projet S. Chambost Demain Planning Conférence - Bélier Associés
Protégez-vous des risques à l origine des troubles musculo squelettiques (TMS) Information prévention. Vous êtes plombier chauffagiste
Information prévention agir pour votre santé au travail Vous êtes plombier chauffagiste Vous ressentez une gène, une douleur, une raideur ou une perte de force de vos bras ; vous avez mal au dos C est
Réduisez les coûts de gestion de votre flotte automobile
GRAS SAVOYE I CONSEIL & COURTAGE EN ASSURANCES Réduisez les coûts de gestion de votre flotte automobile Une approche unique de votre métier, nourrie de la connaissance opérationnelle des risques et problématiques
Principe et règles d audit
CHAPITRE 2 Principe et règles d audit 2.1. Principe d audit Le principe et les règles d audit suivent logiquement l exposé précédent. D abord, comme dans toute branche de l activité d une entreprise, l
Fournir un accès rapide à nos données : agréger au préalable nos données permet de faire nos requêtes beaucoup plus rapidement
Introduction Phases du projet Les principales phases du projet sont les suivantes : La mise à disposition des sources Des fichiers Excel sont utilisés pour récolter nos informations L extraction des données
REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE MINISTERE DE LA CULTURE. «Constantine, capitale de la culture islamique 2015»
REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE MINISTERE DE LA CULTURE «Constantine, capitale de la culture islamique 2015» Tel : +213 21650051 Fax : +213 21650051 E-mail : kaddour.salahbrahim@aarcalgerie.org