T algilanmis içsel girdi

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

Download "T algilanmis içsel girdi"

Transcription

1 T adi türevsel denklem T akil yürütme hatasi I ordinary differential I reasoning error equation F erreur de raisonnement A F équation différentielle T akil yürütmeli model ordinaire I reasoning model T ag F modèle de raisonnement T açik bildirim I network T akilli benzetim I explicit declaration F réseau I intelligent simulation F déclaration explicite T ag dili F simulation intelligente T açik davranis I Web language T akilli benzetim ortami I public behavior F langage de Web I intelligent simulation F comportement public T ag modeli environment T açik döngü denetim sistemi; I network model F environnement de simulation açik döngülü denetim sistemi F modèle de réseau intelligent I open-loop control system T ag servisi T akilli denetim F système de contrôle en boucle I Web service I intelligent control ouverte F service de Web F contrôle intelligent T açik döngülü oyun T ag tabanli commande intelligente I open loop game I Web-based T akilli model F jeu en boucle ouverte F basé sur Internet I intelligent model T açik esgüdüm T ag tabanli ögrenim F modèle intelligent I explicit coordination I Web-based training T akilli sistem benzetimi F coordination explicite F entraînement basé Web I intelligent system simulation T açik oyun T ag üzerinde benzetim F simulation de système I open game I networked simulation intelligent F jeu ouvert F simulation en réseau T akis degiskeni T açik varsayim T ag; örün; Internet I flow variable I explicit assumption I Web F variable de flux F hypothèse explicite F Web T aksama T açik; belirtik T aga bagli dizge I failure I explicit I networked system F faute F explicite F système en réseau T aktarim islevi benzetimi T açiklama modeli T agaç biçimdesi I transfer function simulation I explanatory model I tree formalism F simulation de fonction de F modèle explicatif F formalisme pour la transfert T açisal hata représentation des arbres T aktör I angular error T agaç modeli I actor F erreur angulaire I tree model F acteur T aday altmodel F modèle arborescent T aktör model I candidate submodel T agaç tabanli modelleme I actor model F sous-modèle candidat I tree-based modeling F modèle d'acteurs T aday deger F modélisation arborescente T aktör programlama modeli I candidate value T agda erisilebilir I actor-programming model F valeur candidate I Web accessible F modèle de programmation par T aday model F accessible via Internet acteurs I candidate model T agda erisilebilir ontoloji T aktör tabanli F modèle candidat I Web-accessible ontology I actor-based T adim F ontologie accessible sur Web F centré acteur I step T agirlikli deger T alan çözümlemesi F pas I weighted value I domain analysis T adim adim F valeur pondérée F analyse du domaine I step-by-step T akademik benzetim T alan isterleri F pas à pas I academic simulation I domain requirements T adim büyüklügü F simulation académique F besoins du domaine I step size T akil yürütme T alan modeli F incrément du pas I reasoning I domain model F raisonnement F modèle du domaine T I akil yürütme benzetimi reasoning simulation F simulation du raisonnement

2 T alan sinamasi T algilanmis içsel girdi T alisilagelmis girdi I field testing I perceived internal input I conventional input F test sur le terrain F entrée perçue de façon F entrée conventionnelle test en ligne interne T ALPS'a (KDBP'ye) uyumlu T alan uzmani T algilanmis olay benzetim sistemi I subject matter expert I perceived event I ALPS-compliant simulation F expert du domaine F événement perçu system T alan; ilgi alani; tanim T algilayici F système de simulation kümesi I sensor compatible ALPS I domain F capteur T ALSP uyumlu F domaine senseur I ALSP compliant T alet hatasi T algilayici dizge F conforme à ALSP I instrument error I sensor system T alt düzey bilesen F erreur instrumentale F système de capteurs I low level component T alet; aygit T algilayici girdisi F composant de bas niveau I instrument I sensor input T alt düzey dil F instrument F entrée par capteur I low-level language T algilama T algilayici hatasi F langage à bas niveau I perception I sensor error T alt düzey uyari F perception F erreur du capteur I low-level stimulus T algilama hatasi T algilayici tabanli dizge F stimulus de bas niveau I perception error I sensor-based system T alt sinir F erreur de perception F système basé capteurs I lower bound T algilama tabanli modelleme T algilayici tümlestirme lower limit I perception-based modeling I sensor fusion F borne inférieure F modélisation basée sur la F fusion des capteurs limite inférieure perception T algilayici verisi T altamaç T algilamak I sensor data I subgoal I perceive (v) F données de capteur F sous-but F percevoir T algisal girdi T altbaglasim T algilanabilir I perceptual input I sub-coupling I perceivable F entrée perceptuelle F sous couplage F perceptible T algisal model; duyusal model T altbilesen T algilanan amaç I sensory model I subcomponent I perceived goal F modèle sensoriel F sous-composant F objectif perçu T algisal veri; duyusal veri T altbirim T algilanan gerçek I sensory data I submodule I perceived truth F données sensorielles F sous-module F vérité perçue T algoritma T altbirimsellik T algilanan model I algorithm I submodularity I perceived model F algorithme F sous-modularité F modèle perçu T algoritma esdegerligi T altçati T algilanan veri I algorithm equivalence I subframe I perceived data F équivalence d'algorithme F souscadre F données perçues T algoritma tabanli T altmodel T algilanan; algilanmis I algoritm-based I submodel I perceived F à base d'algorithme F sous-modèle F perçu T algoritmanin denetimi T altmodel geçerliligi T algilanmis dissal girdi I algoritm check I submodel validity I perceived external input F algorithme de contrôle F validité de sous-modèle F entrée perçue de façon T algoritmik hata T altmodel sinamasi externe I algoritmic error I submodel testing T algilanmis girdi F erreur algoritmique F test de sous-modèle I perceived input T algoritmik model T altmodelin etkinlestirilmesi sensed input I algorithmic model I submodel activation F entrée perçue F modèle algorithmique F activation du sous-modèle T alisilagelmemis girdi T altmodelin I unconventional input etkisizlestirilmesi F entrée non-conventionnelle I submodel deactivation F désactivation de sous-modèle

3 T altolay T amaç bilesenlerinin T anahtarlama I subevent tutarliligi I switching F sous-événement I consistency of goal F changement de T altsimgeli degisken components T analitik I subscripted variable F cohérence des composants de I analytic F variable indicée l'objectif F analytique T alttan sinirli T amaç degisken T analitik benzetim I bounded below I goal variable I analytic simulation F bornée inférieurement F variable de but F simulation analytique T altyapi T amaç dosya T analitik bilissel model I infrastructure I object file I analytical cognitive model substructure F fichier des objets F modèle cognitif analytique F infrastructure T amaç islev T analitik model sous structure I objective function I analytic model T amacin etik degerlendirimi F fonction objective F modèle analytique I ethical assessment of the T amaç kod T analog benzetim; örneksel goal I object code benzetim ethical goal assessment F code object I analog simulation F évaluation éthique de T amaç model F simulation analogique l'objectif I target model T analog bilgisayar; örneksel évaluation éthique F modèle cible bilgisayar d'objectif T amaç sürümlü yöntembilim I analog computer T amaç I objectives driven methodology F calculateur analogique I goal F méthodologie dirigée par les T analog giris; örneksel giris objective objectifs I analog input purpose T amaç üreten model F entrée analogique F objectif I teleogenic model T analog model; örneksel model but F modèle téléogénique I analog model T amaç benzetim dili T amaç yapisi F modèle analogique I object SL I goal structure T analog; örneksel target SL F structure d'un objectif I analog F LS objet T amaç yönlendirmeli F analogique LS cible I goal- directed T analog-sayisal çevirici T amaç benzetim programi F dirigé par les objectifs I analog-to-digital converter I object simulation program T amaç yönlendirmeli çoklu F convertisseur F programme de simulation par model analogique-numérique objets I goal-directed multimodel T anilabilir deger programme de simulation F multi-modèle centré objectifs I referential value orienté-objets T amaç yönlendirmeli dizge F valeur référentielle T amaç bileseni modeli T ani degismeli benzetim dili I goal component I goal-directed system model I catastrophic SL F composant de l'objectif F modèle centré objectifs F LS des catastrophes T amaç bilesenlerinin çeliskisi T amaçla belirli T ani degismeli davranis I contradiction of goal I goal-determined I catastrophic behavior components F déterminé par objectif F comportement catastrophique F contradiction des composants T amaçli model T anlambilimsel ag de l'objectif I teleological model I semantic Web T amaç bilesenlerinin F modèle téléologique F Web sémantique indirgenebilirligi T ana bilgisayar T anlambilimsel bellek modeli I reducibility of goal I host simulation computer I semantic memory model components F ordinateur hôte de la F modèle de mémoire sémantique F réductibilité des composants simulation T anlambilimsel de l'objectif T anahtar deger birlestirilebilirlik I key value I semantic composability F valeur clé F composabilité sémantique T anahtar degisken T anlambilimsel deger I key variable I semantic value F variable clé F valeur sémantique

4 T anlambilimsel degerlendirim T araci modeli T ardil I semantic assessment I brokered model I successor F évaluation sémantique F modèle issu d'un courtier F successeur T anlambilimsel hata T aracili suivant I semantic error I mediated T ardil iliskisi F erreur sémantique F avec médiation I successor relation T anlambilimsel model T aracilik F relation successeur I semantic model I brokering T ardisik F modèle sémantique F courtage I sequential T anlambilimsel modelleme T araç F séquentiel I semantic modeling I tool T ardisik benzetim F modélisation sémantique F outil I sequential simulation T anlambilimsel varlik T araç destegi F simulation séquentielle I semantic entity I tool support T ardisik benzetim dili F entité sémantique F support d'outil I sequential SL T anlambilimsel veri modeli T aradegerleme F LS séquentièl I semantic data model I interpolation T ardisik çoklu model F modèle de données sémantiques F interpolation I sequential multimodel T anlambilimsel yapi T aradegerleme hatasi F multi-modèle séquentiel I semantic structure I interpolation error T ardisik durum F structure sémantique F erreur d'interpolation I sequential state T anlambilimsel yararci model T aralik; ara F état séquentiel I semantic-pragmatic model I interval T ardisik oyun F modèle sémantico-pragmatique F intervalle I sequential game T anlami belirsiz veri T aralik; süre F jeu séquentiel I ambiguous data I period T ardistirma F données ambiguës F période I sequencing T anlasilir model T arama bölgesi F séquençage I comprehensible model I search region T arindirma teknigi; F modèle compréhensible F région de recherche arindirilma teknigi T anlasilirlik T arama modeli I refinement technique I comprehensibility I search model F technique de raffinement intelligibility F modèle de recherche T arindirma; arindirilma F compréhensibilité T arastirma modeli I refinement intelligibilité I exploration model F raffinement T anlatimsal model research model T ariza sezimi I narrative model F modèle d'exploration I fault detection F modèle narratif modèle de recherche F détection de panne T anma degeri T arastirma oyunu T ariza; bozukluk I nominal value I research game I fault F valeur nominale F jeu de recherche F faute T aplet T arastirmasal benzetim T arizali I applet I exploratory simulation I faulty F applette F simulation exploratoire F défectueux appliquette T arastirmasal çoklu model incorrect T ara deger I exploratory multimodel T arizali benzetim I intermediate value F multi-modèle exploratoire I faulty simulation F valeur intermédiaire T arastirmasal model F simulation erronée T ara model I exploratory model T arizali bilesen I intermediate model F modèle exploratoire I faulty component F modèle intermédiaire T arastirmasal modelleme F composant défectueux T ara yazilim I exploratory modeling T arizali model I middleware F modélisation exploratoire I faulty model F intergiciel T arayüz birimi F modèle erroné T arabirim belirtimi; arayüz I interface module T arizaya dayaniklik belirtimi F module d'interface I fault tolerance I interface specification T arayüz; arabirim F tolérance aux fautes F spécification d'interface I interface T aritmetik yanilti F interface I arithmetic mistake F erreur arithmétique

5 T artimsal benzetim T ayirici özellik T ayrik durumlu dizge I incremental simulation I characteristic I discrete-state system F simulation incrémentale F caractéristique F système à états discrets T arttirilmis gerçek T ayirt edilir; sezilir T ayrik model I augmented reality I discernible I discrete model F réalité augmentée F perceptible F modèle discret T arttirilmis gerçek benzetimi T aykirimsi T ayrik olay I augmented reality simulation I antithetic I discrete event F simulation de réalité F antithétique F événement discret augmentée T aykirimsi benzetim geçisi T ayrik olay biçimdesi T askeri oyun I antithetic simulation run I discrete event formalism I military game F exécution d'une simulation F formalisme à événement F jeu militaire antithétique discret T askeri oyun oynama T aykirimsi benzetim incelemesi T ayrik olay dizgesi I military gaming I antithetic simulation study I discrete-event system F jeu militaire F étude de simulation F système à événements discrets T asagidan yukariya kurma antithétique T ayrik olay dizgesi belirtimi I bottom-up construction T aykirimsi degiske I discrete event system F construction de bas en haut I antithetic variate specification T asagidan yukariya sinama F variation antithetic F spécification des systèmes à I bottom-up testing T aykirimsi degisken événements discrets F test ascendant I antithetic variable T ayrik olay modelleme T asagidan yukariya tasarim F variable antithétique I discrete event modeling I bottom-up design T aykirimsi geçis F modélisation par événements F conception ascendante I antithetic run discrets T asamali baglasim F exécution antithétique T ayrik olayli benzetim I cascade coupling T aykirimsi inceleme I discrete event simulation F couplage en cascade I antithetic study F simulation à événements T asiri kestirim hatasi F étude antithétique discrets I overestimation error T ayrik T ayrik olayli model F erreur de surestimation I discrete I discrete-event model T ata F discret F modèle à événements discrets I ancestor T ayrik benzetim T ayrik uzay F ancêtre I discrete simulation I discrete space T ata modeli F simulation discrète F espace discret I ancestor model T ayrik benzetim dili T ayrik uzay ayrik zaman modeli F modèle ancêtre I discrete SL I discrete-space discrete-time T atama F LS discret model I assignment T ayrik dagilim F modèle à espace discret et F affectation I discrete distribution temps discret T atomik model F distribution discrète T ayrik uzay modeli I atomic model T ayrik degisen degisken I discrete-space model F modèle atomique I discrete-change variable F modèle à espace discret T atomik model belirtimi F variable à changement discret T ayrik uzay sürekli zaman I atomic model specification T ayrik degisen model modeli F spécification de modèles I discrete-change model I discrete-space atomiques F modèle d'évolution discrète continuous-time model T atomik varlik T ayrik degisimli benzetim F modèle à espace discret et I atomic entity I discrete-change simulation temps continu F entité atomique F simulation à changements T ayrik zaman entité élémentaire discrets I discrete time T aygit gecikmesi T ayrik degisken F temps discret I device latency I discrete variable T ayrik zamanli benzetim F latence de dispositif F variable discrète I discrete-time simulation T ayirici çözümleme T ayrik dizge F simulation à temps discret I discriminatory analysis I discrete system T ayrik zamanli degisken F analyse discriminatoire F système discret I discrete-time variable T ayirici model T ayrik durum modeli F variable à temps discret I disjunctive model I discrete-state model F modèle disjonctif F modèle à états discrets

F abstraction en simulation

F abstraction en simulation F abstraction de haut niveau F acceptation A high-level abstraction A acceptance T üst düzey soyutlama accepting A F abstraction de processus T onama A process abstraction onayan T süreç soyutlamasi seçme

Plus en détail

AUTOMATIQUE Glossaire

AUTOMATIQUE Glossaire AUTOMATIQUE Glossaire J.J. Orteu 22 septembre 2005 Table des matières 1 Français Anglais 2 2 Anglais Français 5 1 1 Français Anglais Action dérivée Action intégrale Action proportionnelle Actionneur Amorti

Plus en détail

Synergies entre Artisan Studio et outils PLM

Synergies entre Artisan Studio et outils PLM SysML France 13 Novembre 2012 William Boyer-Vidal Regional Sales Manager Southern Europe Synergies entre Artisan Studio et outils PLM 2012 2012 Atego. Atego. 1 Challenges & Tendances Complexité des produits

Plus en détail

Chapitre 9 HLA distributed simulation approaches for supply chain

Chapitre 9 HLA distributed simulation approaches for supply chain Présentation livre Simulation for Supply Chain Management Chapitre 9 HLA distributed simulation approaches for supply chain B. Archimède, P. Charbonnaud, F. Ounnar, P. Pujo Contexte et motivation Problématique

Plus en détail

Technologies pour le developpement durabe des produits intelligents

Technologies pour le developpement durabe des produits intelligents Technologies pour le developpement durabe des produits intelligents Dimitris Kyritsis (Kiritsis) EPFL, ICT for Sustainable Manufacturing dimitris.kiritsis@epfl.ch EPFL/STI/IGM/ICT for Sustainable Manufacturing

Plus en détail

Analyses de Sûreté de Fonctionnement multi-systèmes

Analyses de Sûreté de Fonctionnement multi-systèmes 27/11/2007 Présenté par BERNARD Romain (Airbus, EAT) Encadrants: ZEITOUN Marc, GRIFFAULT Alain (LaBRI) BIEBER Pierre (ONERA) METGE Sylvain (Airbus, EADA) Analyses de Sûreté de Fonctionnement multi-systèmes

Plus en détail

!"#$#%#&'("#$)"$#*+&,$-$#%#&'("#$./(01"2"#3$ 4/),15#*6/+$"&$75(81*6/+$

!#$#%#&'(#$)$#*+&,$-$#%#&'(#$./(012#3$ 4/),15#*6/+$&$75(81*6/+$ !"#$#%#&'("#$)"$#*+&,$-$#%#&'("#$./(01"2"#3$ 4/),15#*6/+$"&$75(81*6/+$ #$%&'((')$"*+,-'."/0*123" 14+5'$(+67"8'"/9%4" 14+5'$(+67"/9%4"!":"3;)+

Plus en détail

Prise de position de la section 7. travail sur une possible partition

Prise de position de la section 7. travail sur une possible partition Prise de position de la section 7 travail sur une possible partition Notre prise de position est structurée comme suit : dans une première partie, nous expliquons le contexte dans lequel notre travail

Plus en détail

Problématiques de recherche. Figure Research Agenda for service-oriented computing

Problématiques de recherche. Figure Research Agenda for service-oriented computing Problématiques de recherche 90 Figure Research Agenda for service-oriented computing Conférences dans le domaine ICWS (International Conference on Web Services) Web services specifications and enhancements

Plus en détail

Surveillance et maintenance prédictive : évaluation de la latence de fautes. Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG)

Surveillance et maintenance prédictive : évaluation de la latence de fautes. Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG) Surveillance et maintenance prédictive : évaluation de la latence de fautes Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG) SURVEILLANCE Analyser une situation et fournir des indicateurs! Détection de symptômes!

Plus en détail

Ingénierie et gestion des connaissances

Ingénierie et gestion des connaissances Master Web Intelligence ICM Option Informatique Ingénierie et gestion des connaissances Philippe BEAUNE Philippe.Beaune@emse.fr 18 novembre 2008 Passer en revue quelques idées fondatrices de l ingénierie

Plus en détail

La plate-forme de modélisation et simulation

La plate-forme de modélisation et simulation La plate-forme de modélisation et simulation Hélène Raynal U-MIAT, INRA, Toulouse 1 / 25 Plan Eléments de contexte Les spécifications qui ont prévalu à la mise en place de la solution Principaux services

Plus en détail

Analyse abstraite de missions sous PILOT

Analyse abstraite de missions sous PILOT Analyse abstraite de missions sous PILOT Damien Massé EA 3883, Université de Bretagne Occidentale, Brest damien.masse@univ-brest.fr Résumé Nous étudions la possibilité de réaliser un analyseur par interprétation

Plus en détail

Introduction aux systèmes temps réel. Iulian Ober IRIT ober@iut-blagnac.fr

Introduction aux systèmes temps réel. Iulian Ober IRIT ober@iut-blagnac.fr Introduction aux systèmes temps réel Iulian Ober IRIT ober@iut-blagnac.fr Définition Systèmes dont la correction ne dépend pas seulement des valeurs des résultats produits mais également des délais dans

Plus en détail

Analyse qualitative et quantitative des Systèmes Automatisés de Production

Analyse qualitative et quantitative des Systèmes Automatisés de Production Analyse qualitative et quantitative des Systèmes Automatisés de Production Jean-Luc Cojan Laboratoire LISyC Université de Bretagne Occidentale Encadrants : M. Philippe Le Parc M. Loïc Plassart M. Franck

Plus en détail

COMMANDE INDUSTRIELLE LABORATOIRE 01 Configuration de l automate CompactLogix L32E d Allen-Bradley

COMMANDE INDUSTRIELLE LABORATOIRE 01 Configuration de l automate CompactLogix L32E d Allen-Bradley COMMANDE INDUSTRIELLE LABORATOIRE 01 Configuration de l automate CompactLogix L32E d Allen-Bradley 1. OBJECTIFS Les principaux objectifs de ce laboratoire sont de : se familiariser avec l automate programmable

Plus en détail

Systems Modeling Language SysML

Systems Modeling Language SysML Systems Modeling Language SysML Lionel GENDRE et Jean-Marie VIRELY ENS Cachan -1- SysML (Systems Modeling Language) Le langage SysML signifiés : éléments d un modèle signifiants : symboles + textes «Diagrammes

Plus en détail

Projet Industriel Identification des contraintes DO 178C en implémentant l approche «Model Based Testing» avec l aide de l outil MaTeLo

Projet Industriel Identification des contraintes DO 178C en implémentant l approche «Model Based Testing» avec l aide de l outil MaTeLo Projet Industriel Identification des contraintes DO 178C en implémentant l approche «Model Based Testing» avec l aide de l outil MaTeLo Encadrement : Mihaela BARREAU Anthony FAUCOGNEY René Christian TUYISHIME

Plus en détail

Introduction aux bases de données Cours 2 : Modélisation d une base de données

Introduction aux bases de données Cours 2 : Modélisation d une base de données Cours 2 : Modélisation d une base de données ESIL Université de la méditerranée Odile.Papini@esil.univmed.fr http://odile.papini.perso.esil.univmed.fr/sources/bdmat.html Plan du cours 1 Modélisation d

Plus en détail

Approche organisationnelle basée sur le paradigme agent pour la synthèse & la réutilisation des connaissances en ingénierie collaborative

Approche organisationnelle basée sur le paradigme agent pour la synthèse & la réutilisation des connaissances en ingénierie collaborative Approche organisationnelle basée sur le paradigme agent pour la synthèse & la réutilisation des connaissances en ingénierie collaborative Hind Darwich, doctorante en thèse CIFRE au sein de la société TDC

Plus en détail

Bases de données Cours 2 : Modélisation d une base de données

Bases de données Cours 2 : Modélisation d une base de données Cours 2 : Modélisation d une base de données POLYTECH Université d Aix-Marseille odile.papini@univ-amu.fr http://odile.papini.perso.esil.univmed.fr/sources/bd.html Plan du cours 1 Modélisation d une base

Plus en détail

LOGICIEL DE SIMULATION NUMERIQUE DES SYSTEMES PHYSIQUES

LOGICIEL DE SIMULATION NUMERIQUE DES SYSTEMES PHYSIQUES LOGICIEL DE SIMULATION NUMERIQUE DES SYSTEMES PHYSIQUES PRESENTATION SIMULATION NUMÉRIQUE DES SYSTÈMES PHYSIQUES Développé par la société Atemi, SiNuSPhy est un logiciel de simulation numérique destiné

Plus en détail

P R O G R A M M E E T I N S T R U C T I O N S O F F I C I E L L E S

P R O G R A M M E E T I N S T R U C T I O N S O F F I C I E L L E S P R O G R A M M E E T I N S T R U C T I O N S O F F I C I E L L E S POUR L ENSEIGNEMENT DE L INFORMATIQUE MPSI première année I. Objectifs de la formation II-1 Développement de compétences et d aptitudes

Plus en détail

Radio cognitive et Réception à complexité adaptative

Radio cognitive et Réception à complexité adaptative Radio cognitive et Réception à complexité adaptative Journées Scientifiques du CNFRS 28/03/2006 Nicolas Colson France Telecom R&D Plan de la présentation La radio Cognitive Objectifs et étude de cas Simulation

Plus en détail

- Couches - Éléments - Domaines - ArchiMate et les techniques du BABOK

- Couches - Éléments - Domaines - ArchiMate et les techniques du BABOK ArchiMate et l architecture d entreprise Par Julien Allaire Ordre du jour Présentation du langage ArchiMate - Couches - Éléments - Domaines - ArchiMate et les techniques du BABOK Présentation du modèle

Plus en détail

Développement logiciel pour l Architecture Orientée Services avec IBM Rational Software Development Platform

Développement logiciel pour l Architecture Orientée Services avec IBM Rational Software Development Platform IBM Software Group Développement logiciel pour l Architecture Orientée Services avec IBM Rational Software Development Platform Thierry Bourrier, Techical Consultant thierry.bourrier@fr.ibm.com L Architecture

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

Il y a de l'ia dans les programmes de l'agence Nationale de la Recherche Bertrand Braunschweig Responsable de programmes Paris, 3 Novembre 2006

Il y a de l'ia dans les programmes de l'agence Nationale de la Recherche Bertrand Braunschweig Responsable de programmes Paris, 3 Novembre 2006 Il y a de l'ia dans les programmes de l'agence Nationale de la Recherche Bertrand Braunschweig Responsable de programmes Paris, 3 Novembre 2006 www.agence-nationale-recherche.fr Bref historique Un objectif

Plus en détail

Thierry BELLET INRETS-LESCOT

Thierry BELLET INRETS-LESCOT Modélisation et simulation cognitive du conducteur automobile : De l analyse des représentations mentales à la simulation dynamique de la prise de décision Thierry BELLET INRETS-LESCOT Le programme COSMODRIVE

Plus en détail

I. Bases de données. Exemples classiques d'applications BD. Besoins de description

I. Bases de données. Exemples classiques d'applications BD. Besoins de description I. Bases de données Exemples classiques d'applications BD Les besoins Qu est ce qu un SGBD, une BD Architecture d un SGBD Cycle de vie Plan du cours Gestion des personnels, étudiants, cours, inscriptions,...

Plus en détail

En 2000 l OMG propose une approche nommée MDA Model Driven Architecture, S appuyant sur le standard UML pour

En 2000 l OMG propose une approche nommée MDA Model Driven Architecture, S appuyant sur le standard UML pour MDA (Model Driven Architecture) Ingénierie logicielle guidée par les modèles S.N Historique: En 2000 l OMG propose une approche nommée MDA Model Driven Architecture, S appuyant sur le standard UML pour

Plus en détail

BUSINESSVALUATOR. Management presentation

BUSINESSVALUATOR. Management presentation BUSINESSVALUATOR Management presentation English pages 2 to 12, French pages 13 to 23 Jean-Marc Bogenmann Designer of BusinessValuator Accredited consultant in business transfer jeanmarcbogenmann@iib.ws

Plus en détail

REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE MINISTERE DE L'ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE SCIENTIFIQUE Ecole Nationale Supérieure de Technologie Département de Génie Electrique et Informatique

Plus en détail

Test du logiciel, cours 3. Tests fonctionnels. Tests fonctionnels. Rappel : spécification du logiciel. Plan Les tests fonctionnels Les phases de tests

Test du logiciel, cours 3. Tests fonctionnels. Tests fonctionnels. Rappel : spécification du logiciel. Plan Les tests fonctionnels Les phases de tests Test du logiciel, cours 3 Tests fonctionnels Critère d arrêt Plan Les tests fonctionnels Les phases de tests Couvertures de tests fonctionnels : On ne peut connaître a priori le nombre de tests nécessaires

Plus en détail

TP Programmation avec Contiki

TP Programmation avec Contiki TP Programmation avec Contiki Important : Un rapport doit être rendu au plus tard 10 jours après le TP. Le compte rendu doit contenir : un rapport avec des captures d écrans bien expliquées. L objet de

Plus en détail

Environnements de Développement

Environnements de Développement Institut Supérieur des Etudes Technologiques de Mahdia Unité d Enseignement: Environnements de Développement Mme BEN ABDELJELIL HASSINE Mouna m.bnaj@yahoo.fr Développement des systèmes d Information Syllabus

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

www.vitro-fp7.eu Project No: FP7-ICT- 257245

www.vitro-fp7.eu Project No: FP7-ICT- 257245 Virtualiser des réseaux de capteurs par des services : l approche VIRO séminaire de recherche INF élécom SudParis, 25-26 Juin 2012 Zahra Movahedi, l équipe Simbad Plan Introduction Présentation VIRO Ma

Plus en détail

Auto-évaluation Introduction à la programmation

Auto-évaluation Introduction à la programmation Auto-évaluation Introduction à la programmation Document: f0824test.fm 22/01/2013 ABIS Training & Consulting P.O. Box 220 B-3000 Leuven Belgium TRAINING & CONSULTING INTRODUCTION AUTO-ÉVALUATION INTRODUCTION

Plus en détail

modèles génériques applicables à la synthèse de contrôleurs discrets pour l Internet des Objets

modèles génériques applicables à la synthèse de contrôleurs discrets pour l Internet des Objets modèles génériques applicables à la synthèse de contrôleurs discrets pour l Internet des Objets Mengxuan Zhao, Gilles Privat, Orange Labs, Grenoble, France Eric Rutten, INRIA, Grenoble, France Hassane

Plus en détail

GÉNIE LOGICIEL (SOFTWARE ENGINEERING)

GÉNIE LOGICIEL (SOFTWARE ENGINEERING) GÉNIE LOGICIEL (SOFTWARE ENGINEERING) 5ÈME PARTIE UML (UNIFIED MODELING LANGUAGE) Faculté des Sciences et Techniques http://labh-curien.univ-st-etienne.fr/~fj/gl Francois.Jacquenet@univ-st-etienne.fr Plan

Plus en détail

Enjeux de la conception des systèmes critiques automobiles

Enjeux de la conception des systèmes critiques automobiles Enjeux de la conception des systèmes critiques automobiles Systèmes actuels et à venir Comparaison à d autres secteurs Processus du projet SETTA Limitations Conclusion Systèmes actuels et à venir ABS Direction

Plus en détail

RFID: Middleware et intégration avec le système d'information Olivier Liechti

RFID: Middleware et intégration avec le système d'information Olivier Liechti RFID: Middleware et intégration avec le système d'information Olivier Liechti Sun Microsystems, Inc. Agenda Introduction > Vision et architecture Le rôle du middleware RFID > Gestion des données > Administration

Plus en détail

Les sections 6 et 7. du ComitéNational de la RechercheScientifique

Les sections 6 et 7. du ComitéNational de la RechercheScientifique Les sections 6 et 7 du ComitéNational de la RechercheScientifique (CoNRS) Frédérique Bassino et Michèle Basseville Plan Le comité national Les missions des sections Les sections 6 et 7 Le comiténational

Plus en détail

Configuration et Déploiement d Applications Réparties par Intégration de l Hétérogénéité des Implémentations dans un Langage de Description d

Configuration et Déploiement d Applications Réparties par Intégration de l Hétérogénéité des Implémentations dans un Langage de Description d Configuration et Déploiement d Applications Réparties par Intégration de l Hétérogénéité des Implémentations dans un Langage de Description d Architecture Doctorant: Directeurs de thèse: Bechir ZALILA

Plus en détail

Noureddine Kerzazi noureddine.kerzazi@polymtl.ca

Noureddine Kerzazi noureddine.kerzazi@polymtl.ca Domaine de la modélisation des processus pour le génie logiciel. Noureddine Kerzazi noureddine.kerzazi@polymtl.ca DSL4SPM Domain-Specific-Language for Software Process Modeling Il s agit d un nouveau cadre

Plus en détail

DÉVELOPPEMENT D UN LOGICIEL DE FUSION DE DONNÉES DANS LE CADRE DU TRAITÉ D INTERDICTION COMPLET DES ESSAIS NUCLÉAIRES

DÉVELOPPEMENT D UN LOGICIEL DE FUSION DE DONNÉES DANS LE CADRE DU TRAITÉ D INTERDICTION COMPLET DES ESSAIS NUCLÉAIRES DÉVELOPPEMENT D UN LOGICIEL DE FUSION DE DONNÉES DANS LE CADRE DU TRAITÉ D INTERDICTION COMPLET DES ESSAIS NUCLÉAIRES DU PROTOTYPAGE AU DÉPLOIEMENT DE L APPLICATION INTERACTIVE OPÉRATIONNELLE Julien VERGOZ

Plus en détail

ACI Sécurité ALIDECS:

ACI Sécurité ALIDECS: ACI Sécurité ALIDECS: Langages et Atelier Integrés pour le Développement de Composants Embarqués Sûrs Réunion de démarrage LIP6, 21 et 22 octobre 2004 Marc Pouzet 1 Page web http://www-verimag.imag.fr/synchrone/alidecs/

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

Évaluation de la sûreté de fonctionnement d applications basées sur le Web

Évaluation de la sûreté de fonctionnement d applications basées sur le Web Évaluation de la sûreté de fonctionnement d applications basées sur le Web Mohamed Kaâniche, Karama Kanoun {Mohamed.Kaaniche; Karama.Kanoun}@laas.fr Journée SEE «Sûreté de fonctionnement des réseaux de

Plus en détail

Tamago: Une plateforme pour des comportements

Tamago: Une plateforme pour des comportements Tamago: Une plateforme pour des comportements d agent sûre Séminaire DESIR Hakim Belhaouari Encadrant: Frederic Peschanski Laboratoire d Informatique de Paris 6 & UMPC Paris Universitas Equipe SMA 18 février

Plus en détail

Sémantique formelle et synthèse de client pour services Web

Sémantique formelle et synthèse de client pour services Web Sémantique formelle et synthèse de client pour services Web Séminaire «Services Web» 24 Janvier 2006 sylvain.rampacek@univ-reims.fr CReSTIC LAMSADE Plan Introduction Services Web Description de la plate-forme

Plus en détail

Modélisation: outillage et intégration

Modélisation: outillage et intégration Modélisation: outillage et intégration Emmanuel Gaudin emmanuel.gaudin@pragmadev.com Un réel besoin Le logiciel double tous les deux ans. Le volume final rend extrêmement difficile de garantir le niveau

Plus en détail

FACULTE DE L'INFORMATIQUE

FACULTE DE L'INFORMATIQUE FACULTE DE L'INFORMATIQUE Présentation : La faculté a créé en 1992, au nom de l institut lis pour les sciences informatiques, ou la création de l institut est lie à l association lit de bienfaisance qui

Plus en détail

Détection d'intrusions en environnement haute performance

Détection d'intrusions en environnement haute performance Symposium sur la Sécurité des Technologies de l'information et des Communications '05 Détection d'intrusions en environnement haute performance Clusters HPC Fabrice Gadaud (fabrice.gadaud@cea.fr) 1 Sommaire

Plus en détail

Chapitre 2 : Abstraction et Virtualisation

Chapitre 2 : Abstraction et Virtualisation Virtualisation et Cloud Computing Chapitre 2 : Abstraction et Virtualisation Objectifs Présenter la notion de niveaux d abstraction séparés par des interfaces bien définies Description des avantages et

Plus en détail

SEO 200. Banc d étude du positionnement angulaire d une éolienne face au vent DESCRIPTIF APPLICATIONS PEDAGOGIQUES

SEO 200. Banc d étude du positionnement angulaire d une éolienne face au vent DESCRIPTIF APPLICATIONS PEDAGOGIQUES Banc d étude du positionnement angulaire d une éolienne face au vent DESCRIPTIF Le banc SEO 200 permet d étudier et de paramétrer les boucles d asservissement de vitesse et position d une nacelle d éolienne

Plus en détail

Aide à la conception de Système d Information Collaboratif, support de l interopérabilité des entreprises

Aide à la conception de Système d Information Collaboratif, support de l interopérabilité des entreprises Aide à la conception de Système d Information Collaboratif, support de l interopérabilité des entreprises Jihed Touzi, Frédérick Bénaben, Hervé Pingaud Thèse soutenue au Centre de Génie Industriel - 9

Plus en détail

0- Le langage C++ 1- Du langage C au langage C++ 2- Quelques éléments sur le langage. 3- Organisation du cours

0- Le langage C++ 1- Du langage C au langage C++ 2- Quelques éléments sur le langage. 3- Organisation du cours 0- Le langage C++ 1- Du langage C au langage C++ 2- Quelques éléments sur le langage 3- Organisation du cours Le présent cours constitue une introduction pour situer le langage C++, beaucoup des concepts

Plus en détail

AVATAR. Un profil SysML temps réel outillé

AVATAR. Un profil SysML temps réel outillé AVATAR Un profil SysML temps réel outillé Ludovic Apvrille, Pierre de Saqui-Sannes ludovic.apvrille@telecom-paristech.fr pdss@isae.fr SysML France, 6 décembre 2010 Agenda De TURTLE à AVATAR Le langage

Plus en détail

Plate-forme Alliances de modélisation et simulation des stockages et entreposages des déchets nucléaires

Plate-forme Alliances de modélisation et simulation des stockages et entreposages des déchets nucléaires Plate-forme Alliances de modélisation et simulation des stockages et entreposages des déchets nucléaires Atelier LogicieL d Intégration, d ANalyse et de Conception pour l Entreposage et le Stockage Estelle

Plus en détail

IFSTTAR 9 décembre 2015. PRl DROSOFILES «Partenariat ONERA-SNCF: des systèmes de drones pour la surveillance du réseau"

IFSTTAR 9 décembre 2015. PRl DROSOFILES «Partenariat ONERA-SNCF: des systèmes de drones pour la surveillance du réseau IFSTTAR 9 décembre 2015 PRl DROSOFILES «Partenariat ONERA-SNCF: des systèmes de drones pour la surveillance du réseau" Florent Muller (ONERA) 1 PRI DROSOFILES: présentation générale DROSOFILES = DROnes:

Plus en détail

SDL: 20 ans de programmation basée modèle

SDL: 20 ans de programmation basée modèle SDL: 20 ans de programmation basée modèle Emmanuel Gaudin emmanuel.gaudin @ pragmadev.com Principes MDE, MDA et MDD: Approche orienté modèle PIM: Platform Independant Model PDM: Platform Definition Model

Plus en détail

Types et langages de programmation. Algorithmique et Programmation Unisciel/K.Zampieri

Types et langages de programmation. Algorithmique et Programmation Unisciel/K.Zampieri Types et langages de programmation Algorithmique et Programmation Unisciel/K.Zampieri 1 Généalogie partielle des langages de programmation FORTRAN BASIC PL/1 PROLOG ALGOL60 COBOL C PASCAL ADA MODULA-2

Plus en détail

Dossier d'étude technique

Dossier d'étude technique Centre national de la recherche scientifique Direction des systèmes d'information REFERENTIEL QUALITE Guide méthodologique Dossier d'étude technique Référence : CNRS/DSI/conduite-projet/developpement/technique/guide-etude-technique

Plus en détail

Management des Systèmes d information (SI) S1 - Gouvernance des SI

Management des Systèmes d information (SI) S1 - Gouvernance des SI 2015 / 2016 - Semestre 1&2 DSCG - UE5 Management des Systèmes d information (SI) S1 - Gouvernance des SI Module 5 - Gestion des Processus Métiers (BPM) Yves MEISTERMANN DSCG UE 5 - Bulletin officiel DSCG

Plus en détail

Organisation des études conduisant au DUT, spécialité «Génie Électrique et Informatique Industrielle»

Organisation des études conduisant au DUT, spécialité «Génie Électrique et Informatique Industrielle» Organisation des études conduisant au DUT, spécialité «Génie Électrique et Informatique Industrielle» Programme Pédagogique National s du Cœur de Compétence 3 Sommaire 1s de l 3 : Informatique des Systèmes

Plus en détail

Présentation du partenariat entre ImagingLab et Alliance Vision. Vision & Robotique : un marché en croissance

Présentation du partenariat entre ImagingLab et Alliance Vision. Vision & Robotique : un marché en croissance Présentation du partenariat entre ImagingLab et Alliance Vision Vision & Robotique : un marché en croissance Exemples d'applications industrielles Intégration vision & robotique : les points clés Bibliothèques

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

Étalonnage de la sûreté de fonctionnement de systèmes d'exploitation

Étalonnage de la sûreté de fonctionnement de systèmes d'exploitation Étalonnage de la sûreté de fonctionnement de systèmes d'exploitation Karama KANOUN LAAS-CNRS Club SEE Systèmes Informatiques de Confiance Atelier du 20 octobre 2005 Logiciels sur étagère (libres ou commerciaux)

Plus en détail

Rapport de certification

Rapport de certification Rapport de certification Forum Sentry v8.1.641 Préparé par : Le Centre de la sécurité des télécommunications à titre d organisme de certification dans le cadre du Schéma canadien d évaluation et de certification

Plus en détail

AL5L Architecture logicielle. Séance 3 Paradigmes de programmation

AL5L Architecture logicielle. Séance 3 Paradigmes de programmation AL5L Architecture logicielle Séance 3 Paradigmes de programmation Sébastien Combéfis mardi 3 février 2015 Ce(tte) œuvre est mise à disposition selon les termes de la Licence Creative Commons Attribution

Plus en détail

Modélisation d un réseau sociotechnique Application à la gestion de crise. Guillaume Philippe (UBS / CAMKA System) Christine Chauvin (UBS)

Modélisation d un réseau sociotechnique Application à la gestion de crise. Guillaume Philippe (UBS / CAMKA System) Christine Chauvin (UBS) Modélisation d un réseau sociotechnique Application à la gestion de crise Guillaume Philippe (UBS / CAMKA System) Christine Chauvin (UBS) 1 Sommaire I. La gestion de crise: quelles problématiques? II.

Plus en détail

Utilisation de l'outil GATeL pour l'évaluation des tests de logiciels critiques à l'irsn

Utilisation de l'outil GATeL pour l'évaluation des tests de logiciels critiques à l'irsn Journée SEE "Certification et méthodes formelles" Utilisation de l'outil GATeL pour l'évaluation des tests de logiciels critiques à l'irsn ONERA Toulouse, 3 février 2004 Jean Gassino (jean.gassino@irsn.fr).

Plus en détail

AMSI - Chapitre 3 Perspectives de modélisation et UML

AMSI - Chapitre 3 Perspectives de modélisation et UML AMSI - Chapitre 3 Perspectives de modélisation et UML Philippe Thiran Année académique 2010-2011 Notes de cours: Patrick Heymans, Isabelle Pollet & Philippe Thiran The University Of Namur Version du vendredi

Plus en détail

Exposé de M.C.O. Thème. La methode orientée objet OMT (Object Modeling Technic)

Exposé de M.C.O. Thème. La methode orientée objet OMT (Object Modeling Technic) Exposé de M.C.O Thème La methode orientée objet OMT (Object Modeling Technic) 1 Plan du travail Introduction Le cycle de vie Formalismes de représentation UML Les outils d assistance OMT et UML Conclusion

Plus en détail

Workflow/DataWarehouse/DataMining. 14-09-98 LORIA - Université d automne 1998 - Informatique décisionnelle - L. Mirtain 1

Workflow/DataWarehouse/DataMining. 14-09-98 LORIA - Université d automne 1998 - Informatique décisionnelle - L. Mirtain 1 Workflow/DataWarehouse/DataMining 14-09-98 LORIA - Université d automne 1998 - Informatique décisionnelle - L. Mirtain 1 plan Workflow DataWarehouse Aide à la décision DataMinig Conclusion 14-09-98 LORIA

Plus en détail

Cours 7: Conception des systèmes interactifs (partie 1)

Cours 7: Conception des systèmes interactifs (partie 1) Cours 7: Conception des systèmes interactifs (partie 1) Anastasia.Bezerianos@lri.fr (plusieurs slides sont basés sur des slides de T. Tsandilas, W. Mackay, M. Beaudouin Lafon, D. Vogel et S. Greenberg)

Plus en détail

Knowledge Enabled Real-Time Recommendation System

Knowledge Enabled Real-Time Recommendation System Knowledge Enabled Real-Time Recommendation System Syed Gillani, Jules Chevalier syed.gillani@univ-st-etienne.fr jules.chevalier@univ-st-etienne.fr Institut Henri Fayol, École des Mines de Saint-Étienne

Plus en détail

Console de supervision en temps réel du réseau de capteurs sans fil Beanair

Console de supervision en temps réel du réseau de capteurs sans fil Beanair Console de supervision en temps réel du réseau de capteurs sans fil Beanair Véritable console de supervision temps réel, le BeanScape permet de modéliser, de visualiser et d administrer en temps réel le

Plus en détail

Web et accessibilité, où en est on?

Web et accessibilité, où en est on? Web et accessibilité, où en est on? RMLL Nantes 2009 Thématique Accessibilité et handicap 08 juillet 2009 Armony ALTINIER armony@acs horizons.fr 06.68.89.77.51 Définition de l'accessibilité du Web Mettre

Plus en détail

Bus de terrain. Thèmes abordés 25.03.2015

Bus de terrain. Thèmes abordés 25.03.2015 Bus de terrain Un protocole répandu et facile à implémenter 1 Thèmes abordés Présentation Historique caractéristique de MODBUS MODBUS Implantation dans le marché Exemples d appareils, exemples de logiciels

Plus en détail

Chaire de Recherche du Canada Modélisation de la Qualité de l Eau

Chaire de Recherche du Canada Modélisation de la Qualité de l Eau modeleau Chaire de Recherche du Canada Modélisation de la Qualité de l Eau Cours en gestion des eaux pluviales Peter Vanrolleghem & Leiv Rieger 17 juin 08 Chaire de Recherche du Canada en Modélisation

Plus en détail

Cours architectures des ordinateurs

Cours architectures des ordinateurs Université KASDI MERBAH Ouargla Faculté des Nouvelles Technologies de l Information et de la Communication Département d Informatique et Technologie de l information Cours architectures des ordinateurs

Plus en détail

Architecture des systèmes d information

Architecture des systèmes d information Architecture des systèmes d information Table des matières 1 La décennie 70 1 2 Le modèle relationnel (les années 80) 1 3 Enrichissement du relationnel (les années 80/90) 2 4 Système d informations (les

Plus en détail

SGBDR. Systèmes de Gestion de Bases de Données (Relationnelles)

SGBDR. Systèmes de Gestion de Bases de Données (Relationnelles) SGBDR Systèmes de Gestion de Bases de Données (Relationnelles) Plan Approches Les tâches du SGBD Les transactions Approche 1 Systèmes traditionnels basés sur des fichiers Application 1 Gestion clients

Plus en détail

SEMIDE EMWIS. Proposition de métadonnées. Lylia ABROUK LIRMM EMWIS Technical Unit l.abrouk@semide.org. http://www.emwis.org. http://www.semide.

SEMIDE EMWIS. Proposition de métadonnées. Lylia ABROUK LIRMM EMWIS Technical Unit l.abrouk@semide.org. http://www.emwis.org. http://www.semide. SEMIDE EMWIS http://www.semide.org http://www.emwis.org Proposition de métadonnées communes Lylia ABROUK LIRMM EMWIS Technical Unit l.abrouk@semide.org Unité Technique du SEMIDE / EMWIS Technical EURO-MEDITERRANEAN

Plus en détail

La décision par algorithme

La décision par algorithme La décision par algorithme les effets de la transition numérique dans les sciences de l'ingénieur, le marketing et la médecine Nicolas Vayatis (CMLA - ENS Cachan & CNRS) La mort des experts Des métiers

Plus en détail

Lot 7 : Document Recette

Lot 7 : Document Recette Lot 7 : Document Recette Référence Document_Recette.pdf Version 2.0 Date 18/06/2009 Auteur Chef de projet Equipe INOVECO Lionel Croix Le présent document reprend le cahier des charges que l on s était

Plus en détail

LE TRAITEMENT ANALOGIQUE

LE TRAITEMENT ANALOGIQUE LES AUTOMATISMES LE TRAITEMENT ANALOGIQUE GJC Lycée L.RASCOL 10,Rue de la République BP 218. 81012 ALBI CEDEX SOMMAIRE BUT LES CAPTEURS LES ACTIONNEURS Commande proportionnelle Commande continue LA CONVERSION

Plus en détail

Filière de formation :

Filière de formation : Filière de formation : CONSULTANT TESTING HP FOR SAP DOSSIER PEDAGOGIQUE Renseignements et moyens pédagogiques Contenus de cours détaillés Durée : 26 jours (en centre FITEC) Sommaire Sommaire...1 Sommaire...2

Plus en détail

Unité de formation 1 : Structurer une application. Durée : 3 semaines

Unité de formation 1 : Structurer une application. Durée : 3 semaines PROGRAMME «DEVELOPPEUR LOGICIEL» Titre professionnel : «Développeur Logiciel» Inscrit au RNCP de niveau III (Bac+2) (JO du 23 Octobre 2007) (32 semaines) Unité de formation 1 : Structurer une application

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

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

Software Requirements. Cahier des Charges des Logiciels. LFI2, Automne 2008, Genie Logiciel

Software Requirements. Cahier des Charges des Logiciels. LFI2, Automne 2008, Genie Logiciel Software Requirements المتطلبات البرمجية Cahier des Charges des Logiciels LFI2, Automne 2008, Genie Logiciel Cahier des Charges Document qui stipule Services rendus par le systeme envisage. Contraintes

Plus en détail

CONVERTISSEUR BOOST AVEC MPPT POUR APPLICATION PHOTOVOLTAIQUE

CONVERTISSEUR BOOST AVEC MPPT POUR APPLICATION PHOTOVOLTAIQUE Written by: nicolas.cherix@imperix.ch Revision/release date: A, 2015.02.09 Tutoriel n 1 CONVERTISSEUR BOOST AVEC MPPT POUR APPLICATION PHOTOVOLTAIQUE Rédigé par : imperix SA, Rte. de l Industrie 17, 1950

Plus en détail

Conduite et Gestion de Projet Professionnel Cahier des charges Projet: Robot

Conduite et Gestion de Projet Professionnel Cahier des charges Projet: Robot Conduite et Gestion de Projet Professionnel Cahier des charges Projet: Robot Makhlouf OUBACHA Salima OUZZMAN Stevens RABEHAJA Armelle HOUNDJO Mercredi 04 février 2015 1 Table des matières 1 But du projet

Plus en détail

Equipe Business Intelligence!

Equipe Business Intelligence! Equipe Business Intelligence! Laboratoire MAS ü MAS : un laboratoire de recherche où les mathématiques et l informatique sont appliquées aux systèmes http://www.mas.ecp.fr ü Analyse, modélisation, simulation

Plus en détail

Caractéristiques. Version 8.5

Caractéristiques. Version 8.5 Version 8.5 Cette page fournit des informations destinées à vous aider à sélectionner le logiciel de sauvegarde le mieux adapté à vos besoins et inclut les procédures pour installer et utiliser ce logiciel

Plus en détail

ENSE3 - API/CSPI et Master Automatique - 2008/2009

ENSE3 - API/CSPI et Master Automatique - 2008/2009 ENSE3 - API/CSPI et Master Automatique - 28/29 DS Commande robuste - - 19 janvier 29 Nom Prénom Signature ATTENTION: Mettre votre nom et répondre directement sur les feuilles de l énoncé. Justifiez vos

Plus en détail