BRILLANT modèle de développement libre et recherche scientifique : une dynamique autour de B?

Save this PDF as:
 WORD  PNG  TXT  JPG

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

Download "BRILLANT modèle de développement libre et recherche scientifique : une dynamique autour de B?"

Transcription

1 BRILLANT modèle de développement libre et recherche scientifique : une dynamique autour de B? Georges Mariano and Jean-Louis Boulanger INRETS ESTAS Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.1/??

2 Plan global La méthode B Vue d avion...ouf! Le contexte de la proposition BRILLANT La recherche autour de B Le libre, une autre approche Problématique "Outils" Quels outils? Quels résultats? Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.2/??

3 B method Formalisme basé sur le modèle (...Z, V DM) théories des ensembles, logique 1er ordre, sémantique pré/post Processus prouvé de raffinement incrémental Génération automatique de code (C, ADA) Réussites industrielles Systèmes ferroviaires critiques SmartCard (R&D)... Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.3/??

4 B formal process B Module Proofs Machine Refinement Implementation Code Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.4/??

5 Contexte Outils commerciaux Modèle de développement fermé Communauté scientifique Besoins en outils de "démonstration" Aucune dynamique Verrouillage propriétaire Transfert technologique improbable Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.5/??

6 Objectifs Proposer une alternative aux architectures propriétaires des ateliers commerciaux disponibles pour B Spécifier de manière ouverte les mécanismes fondamentaux du langage B Proposer des implémentations à base de logiciels libres et de formats d échange ouverts Permettre l expérimentation de propositions scientifiques pour l amélioration et l extension de la méthodologie B. Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.6/??

7 Outils libres : Exigences Ouverture Aucun format propriétaire Adéquation «The right tool language at the right place» Documentation Traçabilité spécification/outil Portabilité Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.7/??

8 Technologie privilégiée : OCaml Langage multi-paradigmes de haut niveau (INRIA) Fonctionnel & efficace Modules / Objets Portabilité / byte-code Motivation Développement modulaire Implémentation de traitements symboliques Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.8/??

9 Techniques de développement Dérivation de la syntaxe abstraite procédures de manipulation de termes (constructeur, destructeur, observateur, iterateur). calcul des variables libres,... syntaxe XML : DTD, générateur de XML conforme et parser XML. Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.9/??

10 Technologie d ouverture : XML Motivation Langage/format ouvert et normalisé (W3C) Utilisation BXML : Abstract Machine Notation Stockage des arbres abstraits Stockage des informations de typage Stockage des obligations de preuves Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.10/??

11 Technologie de conversion : XSL(T) Description Langage de spécification de transformation XML Motivation Élimination de code «non-spécifique» Mise en place de feuilles de styles (txt,html,l A T E X,...) Mécanique de «décompilation générique» Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.11/??

12 Analyseur Vérificateur de types (1) Motivation Expérimenter des évolutions syntaxiques Spécification(s) BBook Produit Documentation Atelier B Bparser Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.12/??

13 Analyseur Vérificateur de types (2) Génération de B B + augmentation des informations de typage Les «new B» Restrictions! B système B événementiel autres? Les définitions ne s(er)ont pas «intégrées» dans leur définition actuelle Les ambiguités du langages doivent être éliminées Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.13/??

14 Générateur d obligations de preuves (1) Motivation Spécification(s) Expérimenter des techniques de preuves alternatives à large échelle BBook Produit Document Atelier B Bgop Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.14/??

15 Générateur d obligations de preuves (2) Génération «à la B-Book» Les obligations de preuves ne sont pas réduites en prédicats Intégration facile des E.D.S. Transposition directe de la «spécification» (Thèse Lilian Burdy) Première inter-opérabilité Conversion XML/XSLT des POs vers Phox (cf BPhox) Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.15/??

16 BCG : Générateur de code (1) Motivation Revisiter la génération automatique de code afin de l étendre Démarche Algorithme de dépliage des spécifications en un seul «composant» B Spécification BBook Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.16/??

17 BCG : Générateur de code (2) Implémentation Interopérabilité Algorithme de dépliage (Thèse INRETS-LAAS / Salimeh Behnia) Transformation BXML/XSL pour obtenir le code cible Génération de code annoté (contrat) Spark-ADA Eiffel (contact initié avec Bertrand Meyer) Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.17/??

18 BPhox : Démonstrateur HOL pour B (1) Motivation Revisiter la démonstration automatique pour B afin de l étendre Démarche Utilisation d un outil HOL : Phox (Univ. Chambéry) Spécification Bases théoriques du BBook Théorie HOL (analogue COQ) Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.18/??

19 BPhox : Démonstrateur HOL pour B (2) Implémentation Formalisation mécanique des premiers chapitres Bbook Interopérabilité Transformation XML/XSL pour obtenir les POs en Phox (et en COQ?) Problème Quel est l ensemble théorique des obligations de preuves? Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.19/??

20 Expérimentations E.D.S Dépliage Démonstrateurs externes Évolutions langage Temps-réel... BHDL Expérimenté mais non intégré Prototype générateur de code BPhox en cours ABTools (B évènementiel, B...) B et Duration Calculus (Thèse) ABTools + preuve HOL (BPhox) Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.20/??

21 Conclusions Positionnement BRILLANTest un objet (support) de recherches BRILLANTest plus une démarche qu un ensemble d outils Utilisation conjointe avec les outils commerciaux Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.21/??

22 Le libre, une dynamique pour B? Historique (1993/98) Atelier B / BToolkit (1999/01) BCaml, jbtools, ABTools, BOB (2002/...) initiative BRILLANT «Monter sur le site Savannah» De BCaml à BRILLANT Quelles chances de convergence/succès? Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.22/??

23 Petit inventaire JBtools BCaml ABtools BOB Parser Éditeur Type-check GOP Animateur XML/B XML/OP UML/B B/UML Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.23/??

24 L émergence Réponse à un besoin partagé Développement économique/rationnel de prototypes de recherches Qualité technique suffisante Utilisation des technologies état de l art Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.24/??

25 Modèle de développement Compétences techn./organis. du promoteur Peut mieux faire... ;-) Développement communautaire structuré Acquisition lente mais inévitable/inexorable Bénéfice des contributions Problème de la reconnaissance universitaire Partage d une culture Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.25/??

26 Le décollage, le véritable défi. Transparence Donner accès à l intégralité du projet Réactivité Intégration/réaction rapide aux contributions Vivacité Entretenir la vie du projet Motivation Acteurs/contributeurs du développement Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.26/??

27 Rendez-vous... Site de développement http ://savannah.nongnu.org/projects/brillant/ Listes de diffusions bcaml-dev brillant-abtools brillant-cvs brillant-bphox Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.27/??

28 Perspectives (1) TechnologieS XML XPath, XPointer... Architecture logicielle Fichiers vs. Protocoles «Meta-» validation COQ / Phox? Ouverture vers le co-développement Dépôt des sources sur Savannah.org Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.28/??

29 Perspectives (2) TechnologieS XML Architecture logicielle «Meta-» validation Ouverture vers le co-développement XPath, XPointer... Fichiers vs. Protocoles COQ / Phox? Dépôt des sources et documentation sur Savannah.org Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.29/??

30 The big picture Depliage B.TXT UML/XML Parseur Parseur HLL BLAST TONY XML CEDRIC DTD Convertisseur GOP Typeur B.XML DTD XSLT OP/XML BHLL Génération Code DTD MetaCode XML B.TXT B.HTML PO.TXT Journée SEE-SIC 19 juin 2003 Plateforme BRILLANT p.30/??

31 Ordre alphabétique Nom Institution Titre Boulanger Jean-Louis UTC-Heudiasyc Enseignant-Chercheur Colin Samuel INRETS-LAMIH Stagiaire/DEA Doniec Arnaud INRETS Stagiaire Dubois David INRETS-LAMIH Doctorant Duroux Stéphanie INRETS Stagiaire Leitao Stéphane LAMIH-INRETS Stagiaire Mamoun Filali IRIT Chargé de recherche Mariano Georges INRETS Chargé de recherche Petit Dorian INRETS-LAMIH Doctorant Picco Yann INRETS Stagiaire Taquet David INRETS Stagiaire Vincent Poirriez LAMIH-ROI Journée SEE-SIC 19Maître juin 2003 de Plateforme conférences BRILLANT p.31/??

Automatisation de la certification formelle de systèmes critiques par instrumentation d interpréteurs abstraits

Automatisation de la certification formelle de systèmes critiques par instrumentation d interpréteurs abstraits 1 d Automatisation de la certification formelle de systèmes critiques par instrumentation d sous la direction de Michaël Périn Soutenance de Thèse de Doctorat Université de Grenoble - Laboratoire Verimag

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

Langages de programmation: approche scientifique

Langages de programmation: approche scientifique IGE 2004 - ENS 29 juin 2004 Présentation au CGTI 1 Informatique théorique 2 3 Une science? Informatique théorique Chaque science repose un dogme fondamental. Les mathématiques Les raisonnements formels

Plus en détail

Table des matières. Chapitre 1. Introduction... 13 1.1. Objectif... 13 1.2. Rappel... 15 1.3. Synthèse... 16 1.4. Bibliographie...

Table des matières. Chapitre 1. Introduction... 13 1.1. Objectif... 13 1.2. Rappel... 15 1.3. Synthèse... 16 1.4. Bibliographie... Table des matières Chapitre 1. Introduction... 13 1.1. Objectif... 13 1.2. Rappel... 15 1.3. Synthèse... 16 1.4. Bibliographie... 17 Chapitre 2. Du système au logiciel... 19 2.1. Introduction... 19 2.2.

Plus en détail

Solutions Linux 2010. Industrialisation des développements à l'aide d'une forge logicielle open-source

Solutions Linux 2010. Industrialisation des développements à l'aide d'une forge logicielle open-source Solutions Linux 2010 Industrialisation des développements à l'aide d'une forge logicielle open-source Principes, bénéfices et actualités autour du projet Coclico Nicolas Guérin Xerox http://www.codendi.com

Plus en détail

FOCAL. Un atelier de construction modulaire de logiciels Tentant de répondre aux besoins de la Sûreté de Fonctionnement et de la Sécurité

FOCAL. Un atelier de construction modulaire de logiciels Tentant de répondre aux besoins de la Sûreté de Fonctionnement et de la Sécurité FOCAL Un atelier de construction modulaire de logiciels Tentant de répondre aux besoins de la Sûreté de Fonctionnement et de la Sécurité 1 Groupe FOCAL M. Jaume, T. Hardin, R. Rioboo - SPI, LIP6 D. Delahaye,

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

Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations

Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations Journées GDR GPL Transformations de modèles et de programmes 18 janvier 2008

Plus en détail

Résultats des projets CARROLL. Bilan et perspectives. Validation et Vérification

Résultats des projets CARROLL. Bilan et perspectives. Validation et Vérification Résultats des projets CARROLL Bilan et perspectives Validation et Vérification Paul Le Guernic, INRIA Workshop CARROLL 23 septembre 2005 Contexte Validation & Vérification dans CARROLL Perspectives Contexte

Plus en détail

ACADiE : Assistance à la Certification d Applications Distribuées et Embarquées

ACADiE : Assistance à la Certification d Applications Distribuées et Embarquées ACADiE : Assistance à la Certification d Applications Distribuées et Embarquées Permanents (11) Doctorants (10) Permanents Doctorants Jean-Paul Bodeveix Julien Brunel Xavier Crégut Benoît Combemale Mamoun

Plus en détail

Production de documents auto-explicatifs en annotant les passages ambigus avec le sens choisi par leur auteur

Production de documents auto-explicatifs en annotant les passages ambigus avec le sens choisi par leur auteur Production de documents auto-explicatifs en annotant les passages ambigus avec le sens choisi par leur auteur Hervé Blanchon herve.blanchon@imag.fr Plan Introduction LIDIA-3 : démonstration LIDIA-3 : implémentation

Plus en détail

FILIÈRE METHODOLOGIE & PROJET

FILIÈRE METHODOLOGIE & PROJET FILIÈRE METHODOLOGIE & PROJET 109 Gestion de projet METHODOLOGIE ET PROJET Durée 3 jours Conduite de projet COND-PRO s Intégrer les conditions de réussite d une démarche de management par projet. Impliquer

Plus en détail

Rapprocher les méthodes formelles, l analyse statique et les tests. 29 mai 2013

Rapprocher les méthodes formelles, l analyse statique et les tests. 29 mai 2013 Rapprocher les méthodes formelles, l analyse statique et les tests 29 mai 2013 Présentation du projet Déroulement du projet Réalisations Démonstrations Perspectives Présentation du projet Déroulement du

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

UE 8 Systèmes d information de gestion Le programme

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

Plus en détail

INTRODUCTION. méta-langage

INTRODUCTION. méta-langage INTRODUCTION renault twingo Bic 1999 etc.. XML : extensible

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

Les formations. Développeur Logiciel. ENI Ecole Informatique

Les formations. Développeur Logiciel. ENI Ecole Informatique page 1/5 Titre professionnel : Reconnu par l Etat de niveau III (Bac), inscrit au RNCP (arrêté du 12/10/07, J.O. n 246 du 23/10/07) (32 semaines) Unité 1 : Structurer une application 6 semaines Module

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

B : Une méthode de développement de logiciels sûrs

B : Une méthode de développement de logiciels sûrs B : Une méthode de développement de logiciels sûrs Loïc PELHATE, Responsable de l Atelier des Logiciels de Sécurité de l Ingénierie du Transport Ferroviaire loic.pelhate@ratp.fr 9/11/01 1 1 Plan Contexte

Plus en détail

Projet RNRT ICare: Services évolués de signature et de contrôle d'accès basés sur de nouveaux concepts d certificats

Projet RNRT ICare: Services évolués de signature et de contrôle d'accès basés sur de nouveaux concepts d certificats Projet RNRT ICare: Services évolués de signature et de contrôle d'accès basés sur de nouveaux concepts d certificats Refik Molva Institut EURECOM Octobre 2002 Partenaires du Projet Thales Communications

Plus en détail

Introduction à la gestion de projets. Laurent Poinsot. Introduction. 26 janvier 2009

Introduction à la gestion de projets. Laurent Poinsot. Introduction. 26 janvier 2009 26 janvier 2009 Le modèle du est une méthodologie de développement logiciel qui est devenue un standard de l industrie logicielle. Ce modèle est constitué de deux phases : l une est dite descendante et

Plus en détail

Offre de formation de troisième cycle (LMD)

Offre de formation de troisième cycle (LMD) Offre de formation de troisième cycle (LMD) (Arrêté n 250 du 28 juillet 2009, fixant l organisation de la formation de troisième en vue de l obtention du diplôme de doctorat) Etablissement Faculté / Institut

Plus en détail

IN Tech - 12 janvier 2010 Open Source et innovation : le Libre comme méthodologie de développement

IN Tech - 12 janvier 2010 Open Source et innovation : le Libre comme méthodologie de développement IN Tech - 12 janvier 2010 Open Source et innovation : le Libre comme méthodologie de développement La forge logicielle Codendi Nicolas Guérin -Présentation de Codendi -Industrialiser les développements

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

MODESTE. Modélisation pour la sécurité : test et raffinement en vue d un processus de certification IMAG. MODESTE p.1/12

MODESTE. Modélisation pour la sécurité : test et raffinement en vue d un processus de certification IMAG. MODESTE p.1/12 MODESTE p.1/12 MODESTE Modélisation pour la sécurité : test et raffinement en vue d un processus de certification Marie-Laure Potet (LSR) Marie-Laure.Potet@imag.fr Yassine Lakhnech (Verimag) Yassine.Lakhnech@imag.fr

Plus en détail

Bertrand DAVID : Interaction Humain-Machine

Bertrand DAVID : Interaction Humain-Machine Interaction Humain-Machine Xml La transformation avec Xslt Les parseurs les outils pour Xml Transformation de documents dans les applications multimédia 1 XML extensible Markup Langage Un langage universel

Plus en détail

Certifying an Automated Code Generator Using Formal Tools

Certifying an Automated Code Generator Using Formal Tools Certifying an Automated Code Generator Using Formal Tools Preliminary experiments in the GeneAuto Project N. Izerrouken, X. Thirioux, M. Pantel, M. Strecker IRIT-ACADIE Continental Automotive Toulouse,

Plus en détail

FORMATION HADOOP Développeur pour Hadoop (Apache)

FORMATION HADOOP Développeur pour Hadoop (Apache) FORMATION HADOOP Développeur pour Hadoop (Apache) Ce document reste la propriété du Groupe Cyrès. Toute copie, diffusion, exploitation même partielle doit faire l objet d une demande écrite auprès de Cyrès.

Plus en détail

Approche formelle pour la réalisation d un système sécuritaire de contrôle commande de façades de quais

Approche formelle pour la réalisation d un système sécuritaire de contrôle commande de façades de quais Approche formelle pour la réalisation d un système sécuritaire de contrôle commande de façades de quais Guilhem Pouzancre 03 mai 2006 C l e a r S y Contact@Clearsy.com 20 rue Joubert 75 009 Paris Téléphone

Plus en détail

Les Lignes de Produits Logiciels (Software Product Lines) Tewfik Ziadi UPMC/LIP6 tewfik.ziadi@lip6.fr

Les Lignes de Produits Logiciels (Software Product Lines) Tewfik Ziadi UPMC/LIP6 tewfik.ziadi@lip6.fr Les Lignes de Produits Logiciels (Software Product Lines) Tewfik Ziadi UPMC/LIP6 tewfik.ziadi@lip6.fr 1. Plusieurs modèles de téléphones. 2. Des utilisateurs à travers le monde Plusieurs versions de la

Plus en détail

Sécurité de la plate-forme d exécution Java : limites et proposition d améliorations

Sécurité de la plate-forme d exécution Java : limites et proposition d améliorations Sécurité de la plate-forme d exécution Java : limites et proposition d améliorations Guillaume Hiet, Frédéric Guihéry, Goulven Guiheux, David Pichardie, Christian Brunette AMOSSYS-INRIA-SILICOM 10 juin

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

Etude sur interopérabilité IS-SdF. Présentation Séminaire SdF de l X 28 Septembre 2012

Etude sur interopérabilité IS-SdF. Présentation Séminaire SdF de l X 28 Septembre 2012 Etude sur interopérabilité IS-SdF Présentation Séminaire SdF de l X 28 Septembre 22 Gilles Deleuze, EDF R&D Sommaire Cadre de l étude ravaux effectués à septembre 22 Cas test Choix d outil pour l Ingénierie

Plus en détail

CONCEPTS ET MISE EN PRATIQUE POUR LA VALIDATION DE GRANDS SYSTÈMES

CONCEPTS ET MISE EN PRATIQUE POUR LA VALIDATION DE GRANDS SYSTÈMES MODEL-BASED TESTING (MBT) CONCEPTS ET MISE EN PRATIQUE POUR LA VALIDATION DE GRANDS SYSTÈMES Le Model-Based Testing est une pratique de test en plein développement dans l'industrie pour accroitre l'efficacité

Plus en détail

Vers la certification des applications Java Card TM

Vers la certification des applications Java Card TM AS CNRS Sécurité logicielle : modèles et vérification Vers la certification des applications Java Card TM sauveron@labri.u-bordeaux.fr http://dept-info.labri.u-bordeaux.fr/~sauveron 20-21 février 2003

Plus en détail

SOA et Services Web. 23 octobre 2011. SOA: Concepts de base

SOA et Services Web. 23 octobre 2011. SOA: Concepts de base SOA et Services Web 23 octobre 2011 1 SOA: Concepts de base 2 Du client serveur à la SOA N est Nest pas une démarche entièrement nouvelle: années 1990 avec les solutions C/S Besoins d ouverture et d interopérabilité

Plus en détail

Résumé XML XML. XPATH SVG Schema XSL. VoiceXML. Figure 1 : évolution des langages à balises

Résumé XML XML. XPATH SVG Schema XSL. VoiceXML. Figure 1 : évolution des langages à balises XML, extensible Markup Language 1-Origine de XML On trouve l origine des langages à balises dans la nécessité d échanger des informations dont la structure est trop complexe pour être simplement mise sous

Plus en détail

Web et présentation d information spatiale

Web et présentation d information spatiale Université de La Rochelle LUP-SIG 2004-2005 Programmation SIG et Internet Cartographique Web et présentation d information spatiale Format XML Jean-Michel FOLLIN jmfollin@univ-lr.fr Limitations HTML Limitations

Plus en détail

Autres appellations du métier

Autres appellations du métier Le métier aujourd'hui Autres appellations du métier Chef de projet informatique Chef de projet fonctionnel Chef de projet maîtrise d œuvre Chef de projet maîtrise d ouvrage (ou AMOA) Description synthétique

Plus en détail

SECRETARIAT : INTEGRATION DE LOGICIELS BUREAUTIQUES

SECRETARIAT : INTEGRATION DE LOGICIELS BUREAUTIQUES MINISTERE DE LA COMMUNAUTE FRANCAISE ADMINISTRATION GENERALE DE L ENSEIGNEMENT ET DE LA RECHERCHE SCIENTIFIQUE ENSEIGNEMENT DE PROMOTION SOCIALE DE REGIME 1 DOSSIER PEDAGOGIQUE UNITE DE FORMATION SECRETARIAT

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

Table des Matières. Table des Figures 7. Introduction Générale 9. Chapitre 1 - Langages de description d architectures matérielles hybrides 23

Table des Matières. Table des Figures 7. Introduction Générale 9. Chapitre 1 - Langages de description d architectures matérielles hybrides 23 Table des Figures 7 Introduction Générale 9 1. Outils et plate-formes de construction d application 9 2. Intégration de paradigmes de conception dans le cycle de vie 10 2.1. Equilibrage de charge et équilibrage

Plus en détail

Programme Luminy 2014!

Programme Luminy 2014! Programme Luminy 2014 Lundi 21 Avril Lundi 10h45 Richard Lassaigne Université Paris Diderot Introduction à la théorie de la complexité. Lundi 14h Thierry Dumont Math-Info Paris 10 Utilisation de logiciels

Plus en détail

LDS A ASTRIUM SAS. Eric Conquet Division Produits et Intégration Avionique

LDS A ASTRIUM SAS. Eric Conquet Division Produits et Intégration Avionique LDS A ASTRIUM SAS Eric Conquet Division Produits et Intégration Avionique Sommaire 1 Introduction Problématique 2 Les expériences opérationnelles DDV, COF-VTC, SRI Ariane5 3 Projet SPACES Génération automatique

Plus en détail

Typage et Analyse Statique

Typage et Analyse Statique Typage et Analyse Statique Cours 1 Emmanuel Chailloux Spécialité Science et Technologie du Logiciel Master mention Informatique Université Pierre et Marie Curie année 2015-2016 Cours 1 - Typage et Analyse

Plus en détail

A-t-on encore besoin de génie logiciel?

A-t-on encore besoin de génie logiciel? A-t-on encore besoin de génie logiciel? Guy.Ferran@inria.fr Nantes, mai 2000 1 Nantes, mai 2000 2 Web: vite fait, bien fait? Plus de problème d interface Navigateur et protocole HTTP, et XML Plus de problème

Plus en détail

DEVELOPPEMENT ET MAINTENANCE DE LOGICIEL: OUTIL DE PILOTAGE

DEVELOPPEMENT ET MAINTENANCE DE LOGICIEL: OUTIL DE PILOTAGE DEVELOPPEMENT ET MAINTENANCE DE LOGICIEL: OUTIL DE PILOTAGE Développement et maintenance de logiciel Automne 2006 François-Xavier RIU Thomas POUPART Seng LAO Zhe WU SOMMAIRE Introduction Introduction INTRODUCTION

Plus en détail

Concepteur Développeur Informatique Option Nomade

Concepteur Développeur Informatique Option Nomade Concepteur Développeur Informatique Option Nomade Module : Espace ouvert de formation (2 semaines) Ce module est composée de plusieurs parties : - le module développement durable (14 heures), qui traite

Plus en détail

Correction de programmes : Logique de Hoare

Correction de programmes : Logique de Hoare 16 juillet 2009 Logique et informatique Vis-à-vis de l informatique la logique a au moins 2 rôles : 1 Externe et théorique (fondements de l informatique - Électif en S4) : Logique comme méta-informatique

Plus en détail

IAFACTORY. sommaire MATERIALIZE YOUR NEXT SUCCESS. étude marketing, expérience utilisateur, ergonomie étude des bonnes pratiques. principes.

IAFACTORY. sommaire MATERIALIZE YOUR NEXT SUCCESS. étude marketing, expérience utilisateur, ergonomie étude des bonnes pratiques. principes. sommaire principes p objectifs méthode prestation, livrable, tarif aperçu visuel à propos d MATERIALIZE YOUR NEXT SUCCESS conseil en architecture de l information www.iafactory.fr contact@iafactory.fr

Plus en détail

Base de données. Objectifs du cours 2014-05-20 COURS 01 INTRODUCTION AUX BASES DE DONNÉES

Base de données. Objectifs du cours 2014-05-20 COURS 01 INTRODUCTION AUX BASES DE DONNÉES 1 Base de données COURS 01 INTRODUCTION AUX BASES DE DONNÉES Objectifs du cours 2 Introduction aux bases de données relationnelles (BDR). Trois volets seront couverts : la modélisation; le langage d exploitation;

Plus en détail

Informations de l'unité d'enseignement Implantation. Cursus de. Intitulé. Code. Cycle 1. Bloc 2. Quadrimestre 2. Pondération 4. Nombre de crédits 4

Informations de l'unité d'enseignement Implantation. Cursus de. Intitulé. Code. Cycle 1. Bloc 2. Quadrimestre 2. Pondération 4. Nombre de crédits 4 Informations de l'unité d'enseignement Implantation Cursus de Intitulé Code Institut Paul Lambin Bachelier en informatique de gestion Programmation Avancée en Java I2020 Cycle 1 Bloc 2 Quadrimestre 2 Pondération

Plus en détail

Ecole Nationale Supérieure des Télécommunications Les outils XML

Ecole Nationale Supérieure des Télécommunications Les outils XML Ecole Nationale Supérieure des Télécommunications Les outils XML Page 1 sur 13 SOMMAIRE 1 Introduction 3 2 Parseur XML et processeur XSLT 4 2.1 Le Parseur XML v2 4 2.1.1 Les API DOM et SAX 4 2.1.2 Le parseur

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

Informations de l'unité d'enseignement Implantation. Cursus de. Intitulé. Code. Cycle 1. Bloc 2. Quadrimestre 1. Pondération 6. Nombre de crédits 6

Informations de l'unité d'enseignement Implantation. Cursus de. Intitulé. Code. Cycle 1. Bloc 2. Quadrimestre 1. Pondération 6. Nombre de crédits 6 Informations de l'unité d'enseignement Implantation Institut Paul Lambin Cursus de Intitulé Code Bachelier en informatique de gestion Programmation Web : Avancé I2050 Cycle 1 Bloc 2 Quadrimestre 1 Pondération

Plus en détail

xaltarica documents Intégration du langage XML Java Data Bnding JAXB, XML spy

xaltarica documents Intégration du langage XML Java Data Bnding JAXB, XML spy Le monde XML xaltarica Christophe de Charentenay, ENSAE, Toulouse, octobre 2003 xaltarica consiste en une spécification du langage altarica en langage XML. Altarica rejoint alors le monde des langages

Plus en détail

Toute personne souhaitant maîtriser les techniques liées à la conception de produits multimédia et à la création de sites Web.

Toute personne souhaitant maîtriser les techniques liées à la conception de produits multimédia et à la création de sites Web. Web Designer Durée 90 jours (630 h) Public Toute personne souhaitant maîtriser les techniques liées à la conception de produits multimédia et à la création de sites Web. Objectifs La formation Web designer

Plus en détail

Quelques applications de la technologie XML dans le domaine de la Simulation Numérique

Quelques applications de la technologie XML dans le domaine de la Simulation Numérique Quelques applications de la technologie XML dans le domaine de la Simulation Numérique G. Dejonghe CEA /DAM Ile-de-France /DCS A Gerard.Dejonghe@cea.fr 1 Plan m Le Contexte DCSA () m Le langage XML comme

Plus en détail

Qualité et archivage pérenne

Qualité et archivage pérenne Qualité et archivage pérenne Olivier Rouchon CINES olivier.rouchon@cines.fr Journée d'étude BnF / AFNOR CG46 7 Juin 2010 Sommaire Rappel : qu est-ce que l archivage pérenne? Pourquoi la qualité? Qualité

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

AADL. un langage pour la modélisation et la génération d applications. Thomas Vergnaud, thomas.vergnaud@enst.fr

AADL. un langage pour la modélisation et la génération d applications. Thomas Vergnaud, thomas.vergnaud@enst.fr AADL un langage pour la modélisation et la génération d applications, thomas.vergnaud@enst.fr Les langages de description d architecture la conception des systèmes devient complexe difficulté de compréhension

Plus en détail

1 Introduction... 17. 2 Ma première page PHP... 25. 3 Les clefs du PHP... 53

1 Introduction... 17. 2 Ma première page PHP... 25. 3 Les clefs du PHP... 53 1 Introduction... 17 1.1. Naissance de ce langage... 18 1.2. Evolution du langage... 18 1.3. Intérêt de ce langage... 19 La liberté... 19 La portabilité... 20 La facilité... 21 Un peu d histoire... 21

Plus en détail

Bertrand Meyer. UConception et programmation orientées objet. T r a d u i t d e l a n g l a i s p a r P i e r r e J o u v e l o t

Bertrand Meyer. UConception et programmation orientées objet. T r a d u i t d e l a n g l a i s p a r P i e r r e J o u v e l o t UConception et programmation orientées objet Bertrand Meyer T r a d u i t d e l a n g l a i s p a r P i e r r e J o u v e l o t Groupe Eyrolles, 2000, pour le texte de la présente édition en langue française.

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

Application industrielle de la Méthode formelle B

Application industrielle de la Méthode formelle B Application industrielle de la Méthode formelle B Guilhem Pouzancre Thierry Servat C novembre l e a r S 2005 y Contact@Clearsy.com EUROPARC de Pichaury Bâtiment C1 1330, av. Guillibert de la Lauzière 13

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

Systèmes d Information Avancés (et répartis)

Systèmes d Information Avancés (et répartis) Systèmes d Information Avancés (et répartis) Université Lyon 1 MIAGE L. Médini, mars 2005 Plan des cours Protocole HTTP et programmation serveur Architectures réparties Objets distribués Introduction aux

Plus en détail

Le cycle de développement des produits à la Société GRICS : une nouvelle approche

Le cycle de développement des produits à la Société GRICS : une nouvelle approche Le cycle de développement des produits à la Société GRICS : une nouvelle approche Par : Denis Bessette Développement des systèmes Société GRICS Plan de la présentation 1. Agile et la planification stratégique

Plus en détail

ECONTROLE LOGICIEL D INSPECTIONS TECHNIQUES. Gestion des contrôles. Appareils de levage Engins de chantier. Version 16.02a

ECONTROLE LOGICIEL D INSPECTIONS TECHNIQUES. Gestion des contrôles. Appareils de levage Engins de chantier. Version 16.02a ECONTROLE LOGICIEL D INSPECTIONS TECHNIQUES Gestion des contrôles Appareils de levage Engins de chantier Version 16.02a Page 2 sur 30 Présentation Assist Développement Informatique, éditeur de logiciel,

Plus en détail

Jérémy Renard. en collaboration avec J. Gaffuri, C. Duchêne et G. Touya. CartAGen. Une nouvelle plate-forme de recherche en généralisation automatique

Jérémy Renard. en collaboration avec J. Gaffuri, C. Duchêne et G. Touya. CartAGen. Une nouvelle plate-forme de recherche en généralisation automatique Jérémy Renard en collaboration avec J. Gaffuri, C. Duchêne et G. Touya CartAGen Une nouvelle plate-forme de recherche en généralisation automatique 1 Journées de la Recherche IGN - 11 mars 2011 CartAGen

Plus en détail

La standardisation EPAS

La standardisation EPAS La standardisation EPAS Club CSA du 13 janvier 2012 1 William VANOBBERGHEN Secrétaire Général d EPASOrg Responsable des Projets Internationaux 2 L acquisition en France et en Europe Les Challenges Environnement

Plus en détail

XML, PMML, SOAP. Rapport. EPITA SCIA Promo 2004 16 janvier 2003. Julien Lemoine Alexandre Thibault Nicolas Wiest-Million

XML, PMML, SOAP. Rapport. EPITA SCIA Promo 2004 16 janvier 2003. Julien Lemoine Alexandre Thibault Nicolas Wiest-Million XML, PMML, SOAP Rapport EPITA SCIA Promo 2004 16 janvier 2003 Julien Lemoine Alexandre Thibault Nicolas Wiest-Million i TABLE DES MATIÈRES Table des matières 1 XML 1 1.1 Présentation de XML.................................

Plus en détail

UFR d Informatique. FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018

UFR d Informatique. FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018 UFR d Informatique FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018 Objectif L UFR d informatique propose au niveau du master, deux spécialités sous la mention informatique

Plus en détail

Sujet de thèse CIFRE RESULIS / LGI2P

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

Plus en détail

Sommaire. Boulanger Jean-Louis CERTIFER. Création de CERTIFER CERTIFER. CERTIFER: Organisme de Certification. Principales références

Sommaire. Boulanger Jean-Louis CERTIFER. Création de CERTIFER CERTIFER. CERTIFER: Organisme de Certification. Principales références Sommaire Certification d Application Ferroviaire développée formellement ou non Boulanger Jean-Louis CERTIFER CERTIFER; Historique du ferroviaire; Contexte Normatif; Certification ferroviaire; Impact des

Plus en détail

Note de cadrage du PEPI MACS Mathématiques Appliquées & Calcul Scientifique

Note de cadrage du PEPI MACS Mathématiques Appliquées & Calcul Scientifique Note de cadrage du PEPI MACS Mathématiques Appliquées & Calcul Scientifique Périmètre Le périmètre du PEPI concerne les méthodes et outils utilisés pour le traitement informatisé des données scientifiques.

Plus en détail

Semarchy Convergence for MDM La Plate-Forme MDM Évolutionnaire

Semarchy Convergence for MDM La Plate-Forme MDM Évolutionnaire FICHE PRODUIT Semarchy Convergence for MDM La Plate-Forme MDM Évolutionnaire BENEFICES POUR LES DSI Réussir les projets de gouvernance dans les délais et les budgets Démarrer de manière tactique tout en

Plus en détail

CONCOURS. Intitulé réglementaire :

CONCOURS. Intitulé réglementaire : NOTE DE CADRAGE QUESTIONNAIRE PORTANT SUR LA SPECIALITE CONCOURS EXTERNE, INTERNE ET TROISIEME VOIE D ASSISTANT TERRITORIAL QUALIFIE DE CONSERVATION DU PATRIMOINE ET DES BIBLIOTHEQUES (Durée : 3 heures

Plus en détail

DOCUMENT DE TRAVAIL. Plan d études en Informatique pour les sciences humaines (70 crédits ECTS) BACCALAURÉAT UNIVERSITAIRE ÈS LETTRES

DOCUMENT DE TRAVAIL. Plan d études en Informatique pour les sciences humaines (70 crédits ECTS) BACCALAURÉAT UNIVERSITAIRE ÈS LETTRES BACCALAURÉAT UNIVERSITAIRE ÈS LETTRES Plan d études en Informatique pour les sciences humaines (70 crédits ECTS) Version du 21.01.13 15:32 Approuvé par l Assemblée de section le 27 avril 2012 Approuvé

Plus en détail

Drive your success. «Un écosystème complexe implique une capacité de gestion temps réel des aléas» www.imagina-international.com

Drive your success. «Un écosystème complexe implique une capacité de gestion temps réel des aléas» www.imagina-international.com Drive your success «Un écosystème complexe implique une capacité de gestion temps réel des aléas» www.imagina-international.com ATEN, dix avantages au service de votre entreprise Qualité de mise en œuvre

Plus en détail

Sujet de thèse CIFRE RESULIS / LGI2P

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

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

les GDT dans le Système d Information informatisé Muriel Pinel Laurent Tabourot

les GDT dans le Système d Information informatisé Muriel Pinel Laurent Tabourot les GDT dans le Système d Information informatisé Muriel Pinel Laurent Tabourot Introduction Le Système d Information Les fonctions du SI Un système d information collecte diffuse, transforme et stocke

Plus en détail

Le langage XML. Sébastien Jean. IUT de Valence Département Informatique. v3.3, 10 novembre 2008

Le langage XML. Sébastien Jean. IUT de Valence Département Informatique. v3.3, 10 novembre 2008 Le langage XML Sébastien Jean IUT de Valence Département Informatique v3.3, 10 novembre 2008 Qu est ce que XML? Généralités XML = extensible Markup Language Spécification du W3C Version 1.0 (1998-2004)

Plus en détail

MINISTERE DES FINANCES ET DE LA PRIVATISATION. Principes du système

MINISTERE DES FINANCES ET DE LA PRIVATISATION. Principes du système MINISTERE DES FINANCES ET DE LA PRIVATISATION Principes du système ebudget : Sommaire ebudget Définition & objectifs clés Apports et atouts Pour un cadre amélioré de la gestion budgétaire En chiffre Technologie

Plus en détail

LES OUTILS D ALIMENTATION DU REFERENTIEL DE DB-MAIN

LES OUTILS D ALIMENTATION DU REFERENTIEL DE DB-MAIN LES OUTILS D ALIMENTATION DU REFERENTIEL DE DB-MAIN Les contenues de ce document sont la propriété exclusive de la société REVER. Ils ne sont transmis qu à titre d information et ne peuvent en aucun cas

Plus en détail

CSP & DÉMATÉRIALISATION DES FACTURES FOURNISSEURS : POUR UNE FONCTION FINANCE OPTIMISÉE À L INTERNATIONAL. Benoît DUPRE, Responsable CSP

CSP & DÉMATÉRIALISATION DES FACTURES FOURNISSEURS : POUR UNE FONCTION FINANCE OPTIMISÉE À L INTERNATIONAL. Benoît DUPRE, Responsable CSP CSP & DÉMATÉRIALISATION DES FACTURES FOURNISSEURS : POUR UNE FONCTION FINANCE OPTIMISÉE À L INTERNATIONAL Benoît DUPRE, Responsable CSP AGENDA I. LE GROUPE SOUFFLET Présentation du Groupe Métiers du groupe

Plus en détail

Institut d Informatique & d Initiative Sociale

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

Plus en détail

Conclusions et Perspectives

Conclusions et Perspectives 8 Conclusions et Perspectives Ce chapitre conclut la thèse en donnant un bilan du travail effectué et les perspectives envisageables au terme de cette recherche. Nous rappelons tout d abord les principales

Plus en détail

PBA-pro Qu est-ce que c est?

PBA-pro Qu est-ce que c est? 1 PBA-pro Qu est-ce que c est? C est le successeur des logiciels AIM suivants : PBA-2000 PBA-3910 PAA-429 ParaView fdxplorer PBA.pro c est aussi un outil logiciel de développement générique pour banc de

Plus en détail

Brique B.D.L : Gestion de Projet Logiciel. Editeur graphique d aide à la description d une architecture logicielle. Revue de Planification

Brique B.D.L : Gestion de Projet Logiciel. Editeur graphique d aide à la description d une architecture logicielle. Revue de Planification Brique B.D.L : Gestion de Projet Logiciel Editeur graphique d aide à la description d une architecture logicielle Revue de Planification Yann Barthélémy Audran Le Baron Olivier Jennes Pierrick Lerey Alexandre

Plus en détail

Stratégie projet pour valoriser l'apport des technologies mobiles. Fréderic FADDA. Mobility GBS Leader, IBM

Stratégie projet pour valoriser l'apport des technologies mobiles. Fréderic FADDA. Mobility GBS Leader, IBM Stratégie projet pour valoriser l'apport des technologies mobiles Fréderic FADDA Mobility GBS Leader, IBM L introduction des technologies Mobiles, un accélérateur Business, Opérationnel et IT L introduction

Plus en détail

Exposé: Web sémantique. Web 2.0: impact Sur les IHM, Plasticité. Présenté par: BEN AMOR Akram

Exposé: Web sémantique. Web 2.0: impact Sur les IHM, Plasticité. Présenté par: BEN AMOR Akram Exposé: Web sémantique. Web 2.0: impact Sur les IHM, Plasticité Présenté par: BEN AMOR Akram Plan Web Sémantique Définition et objectif Historique Principe général Quels sont les finalités et les objectifs

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

Cours de Génie Logiciel

Cours de Génie Logiciel Cours de Génie Logiciel Sciences-U Lyon MDE Model Driven Engineering http://www.rzo.free.fr Pierre PARREND 1 Mai 2005 Sommaire MDE : principe MDE et le génie logiciel MDE et UML MDE et les Design Patterns

Plus en détail

Objectifs. Maîtriser. Pratiquer

Objectifs. Maîtriser. Pratiquer 1 Bases de Données Objectifs Maîtriser les concepts d un SGBD relationnel Les modèles de représentations de données Les modèles de représentations de données La conception d une base de données Pratiquer

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

De la modélisation linguistique aux applications logicielles: le rôle des Entités Nommées en Traitement Automatique des Langues

De la modélisation linguistique aux applications logicielles: le rôle des Entités Nommées en Traitement Automatique des Langues De la modélisation linguistique aux applications logicielles: le rôle des Entités Nommées en Traitement Automatique des Langues Maud Ehrmann Joint Research Centre Ispra, Italie. Guillaume Jacquet Xerox

Plus en détail

Programme de la licence informatique, université de Caen http://www.info.unicaen.fr

Programme de la licence informatique, université de Caen http://www.info.unicaen.fr Programme de la licence informatique, université de Caen http://www.info.unicaen.fr Unité Systèmes d'information CM : 45h - TD : 60h - TP : 12h - Coeff 2 Systèmes de Gestion de Bases de Données Modéliser

Plus en détail