Ingénierie Dirigée par les Modèles IDM

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

Download "Ingénierie Dirigée par les Modèles IDM"

Transcription

1 Ingénierie Dirigée par les Modèles Pierre Laforcade Master EIAH 2007

2 Présentation personnelle Statut Enseignements Lieu : IUT de Laval Matières : modélisation objet en UML, programmation objet, JavaEE/EJB,... Recherches Maître de conférences Laboratoire d'informatique LIUM Projet REDiM Thématiques de recherche Visual Instructional Design Languages (VIDL) & Domain-Specific Modeling (DSM) Scénarisation pédagogique &... 2

3 Sources du cours Cours 6 - et EIAH - de la 3ème école thématique sur les EIAH (juillet 2005), Nodenot, Lepallec, Marino Cours, Eric Cariou Rapport de synthèse, AS CNRS MDA Cours, Jean Bézivin Cours, Xavier Blanc Documents du TECFA Divers sites Web 3

4 Plan Introduction MDA Ingénierie Dirigée par les Modèles () Définitions Vers le DSM Bilan 4

5 Tendances en Génie Logiciel (1) Complexité croissante des logiciels Séparation des préoccupations (des métiers) Multiplicité des besoins (front office / back office) Multiplicité des plate-formes (JavaSE, JavaEE, Web Services, JavaME, PHP+SQL, ) Evolution des technologies sans fin Faut-il continuer à baser les développements sur le code des applications? 5

6 Tendances en Génie Logiciel (2) Conséquences pratiques de cette évolution permanente? Pour profiter des nouvelles technologies et de leurs avantages Nécessité d'adapter les applications à ces technologies Question : quel est le coût de cette adaptation? Généralement très élevé Nécessité de réécrire presque entièrement l'application Car mélange de code métier et de code technique Aucune capitalisation de la logique et des règles métiers 6

7 Tendances en Génie Logiciel (3) Partant de tous ces constats Nécessité de découpler clairement la logique métier de la mise en oeuvre technologique C'est un des principes fondamentaux de l'ingénierie des modèles Séparation des préoccupations (separation of concerns) Besoin de modéliser/spécifier La partie métier à un niveau abstrait La plate-forme de mise en oeuvre De projeter ce niveau abstrait sur une plate-forme 7

8 Plan Introduction Ingénierie Dirigée par les Modèles () 8

9 Évolution des technologies/paradigmes 9

10 MDA Approche Model-Driven Architecture (MDA) de l'omg (Object Management Group) Origine de l'ingénierie des modèles Date de fin 2000 Le MDA est né à partir des constatations liées à l'évolution continue des technologies But du MDA Abstraire les parties métiers de leur mise en oeuvre Basé sur des technologies et standards de l'omg UML, MOF, OCL, CWM... 10

11 Normes OMG de modélisation MOF : Meta-Object Facilities Langage de définition de méta-modèles UML : Unified Modelling Language Langage de modélisation CWM : Common Warehouse Metamodel Modélisation ressources, données, gestion d'une entreprise OCL : Object Constraint Language Langage de contraintes sur modèles XMI : XML Metadata Interchange Standard pour échanges de modèles et méta-modèles 11

12 MDA Le MDA définit 3 niveaux de modèles CIM : Computer Independent Model Recense les besoins des utilisateurs, le vocabulaire employé est celui du praticien PIM : Platform Independent Model Modèle du domaine (domain/business model) indépendant de toute implémentation informatique Modèle spécifiant une application indépendamment de la technologie de mise en oeuvre Uniquement spécification de la partie métier d'une application PSM : Platform Specific Model Modèle spécifiant une application après projection sur une plateforme technologique donnée 12

13 MDA Relations entre les différents niveaux Transcription informatique CIM Requirements Analysis Conception Métier Fonctionnel Technique Implementation 13

14 Transformations PIM>PSM 14

15 MDA Cycle de développement d'un logiciel selon le MDA Cycle en Y (ou en «épi») Plus complexe en pratique PDM PSM 15

16 MDA 16

17 Perspective globale CIM/PIM/PSM 17

18 MDA Outils de mise en oeuvre du MDA Standards de l'omg Spécification des modèles aux différents niveaux Langage de modélisation UML Profils UML : profil EJB, profil Corba, etc. Langage de contraintes OCL Spécification des méta-modèles Sur la base du MOF (Meta Object Facilities) 18

19 MDA 19

20 MDA et Limites du MDA Technologies OMG principalement Ingénierie des modèles MDE : Model Driven Engineering : Ingénierie Dirigée par les Modèles Approche plus globale et générale que le MDA Appliquer les mêmes principes à tout espace technologique et les généraliser UML, XML, les grammaires de langages,... Le MDA est un processus de type MDE 20

21 Principes de l' Capitalisation Approche objets/composants MDE Capitalisation, réutilisation d'éléments logiciels/code Capitalisation, réutilisation de logique métier Abstraction Des technologies de mise en oeuvre Permet d'adapter une logique métier à un contexte Permet d'évoluer bien plus facilement vers de nouvelles technologies 21

22 Principes de l' (2) Modélisation La modélisation n'est pas une discipline récente en génie logiciel Les processus de développement logiciel non plus RUP, Merise... C'est l'usage de ces modèles qui change Le but du MDE est De passer d'une vision contemplative des modèles A une vision productive A but de documentation, spécification, communication Pour générer le code final du logiciel pour une technologie de mise en oeuvre donnée 22

23 Principes de l' (3) Séparation des préoccupations 2 principales préoccupations Mais autres préoccupations possibles Métier Plate-forme de mise en oeuvre Exemple : ajouter de la sécurité sur un modèle de mise en oeuvre... Projection, fusion de modèles (composition, tissage) Conception orientée Aspect 23

24 Principes de l' (4) Pour passer à une vision productive, il faut Que les modèles soient bien définis Notion de méta-modèle Pour que l'on puisse les manipuler et les interpréter via des outils Avec traitement de méta-modèles différents simultanément Référentiels de modèles et de méta-modèles Outils, langages de transformations ou de projection Pour transformation/passage entre 2 espaces technologiques différents OMG est en train de normaliser un langage d'expression des transformations (QVT) 24

25 Définitions Concepts principaux de l' Modèles Méta-modèles Transformations Espace technologique Architecture en 4 couches 25

26 Modèles Un modèle est une description, une spécification partielle d'un système But d'un modèle Abstraction de ce qui est intéressant pour un contexte et dans un but donné Vue subjective et simplifiée d'un système Faciliter la compréhension d'un système Simuler le fonctionnement d'un système Exemples Modèle économique, Modèle démographique... 26

27 Modèles (2) Différence entre spécification et description Spécification d'un système à construire Description d'un système existant Relation entre un système et un modèle ReprésentationDe (notée μ) 27

28 Modèles (3) Un modèle représente un système modélisé De manière générale, pas que dans un contexte de génie logiciel ou d'informatique Un modèle peut aussi avoir le rôle de système modélisé dans une autre relation de représentation Modèle XML de la carte de la France administrative qui est un modèle de la France «réelle» 28

29 Modèles (4) Un modèle est écrit dans un langage qui peut être Non ou peu formalisé, la langue naturelle Formel et bien défini, non ambigu Le français, un dessin... Syntaxe, grammaire, sémantique On parle de méta-modèle pour ce type de langage de modèle Pour les modèles définis dans un langage bien précis Relation de conformité Un modèle est conforme à son méta-modèle Relation EstConformeA (notée c ) 29

30 Méta-modèle Un modèle est conforme à son méta-modèle On ne parle pas de relation d'instanciation Un modèle n'est pas une instance d'un méta-modèle Instanciation est un concept venant de l'approche objet Approche objet qui ne se retrouve pas dans tous les domaines Un méta-modèle n'est pas non plus un modèle de modèle 30

31 Méta-modèles (2) Cette relation de conformité est essentielle Base de l' pour développer les outils capables de manipuler des modèles Un méta-modèle est une entité de première classe Mais pas nouvelle Un texte écrit est conforme à une orthographe et une grammaire Un programme Java est conforme à la syntaxe et la grammaire du langage Java Un fichier XML est conforme à sa DTD Une carte doit être conforme à une légende Un modèle UML est conforme au méta-modèle UML 31

32 Méta-modèles et langages Lien entre méta-modèle et langage Un méta-modèle est un modèle qui définit le langage pour définir un modèle Langage Méta-modèle Système abstrait Définition explicite et concrète d'un langage Un méta-modèle modélise donc un langage Un méta-modèle n'est donc pas un langage 32

33 Méta-modèles et langages (2) En linguistique Un langage est défini par l'ensemble des phrases valides écrites dans ce langage Une grammaire est un modèle de langage Une grammaire est un méta-modèle Relation entre langage et modèle Un modèle est un élément valide de ce langage Une phrase valide du langage en linguistique Relation d'appartenance AppartientA, notée Є 33

34 Relations générales Exemple de la carte Une carte modélise un pays selon un point de vue Le méta-modèle de la carte est sa légende La légende définit un ensemble de cartes valides Une carte conforme à une légende appartient à cet ensemble 34

35 Relations générales Exemple avec un langage de programmation Un programme Java modélise (simule) un système Un programme Java est conforme à la grammaire du langage Java La grammaire de Java modélise le langage Java Exemple avec UML Un diagramme UML modélise un système Un diagramme UML est conforme au méta-modèle UML Le méta-modèle UML définit l'ensemble des modèles UML valides Un modèle UML appartient à cet ensemble 35

36 Transformations Une transformation est une opération qui Prend un modèle source en entrée Fournit un modèle cible en sortie Transformation endogène Dans le même espace technologique Les modèles source et cible sont conformes au même méta-modèle Transformation d'un modèle UML en un autre modèle UML Transformation exogène Entre 2 espaces technologique différents Les modèles source et cible sont conformes à des méta-modèles différents Transformation d'un modèle UML en programme Java Transformation d'un fichier XML en schéma de BDD 36

37 Transformations : illustration 37

38 Transformation selon l'omg 38

39 Espaces technologiques Un espace technologique correspond à : Un contexte de travail Un ensemble de concepts Un ensemble de méthodes Un ensemble d'outils Un savoir et un savoir-faire partagés Un ET est en général associé à une certaine communauté possédant une expertise commune, des pratiques communes et éventuellement des problématiques de recherche partagées 39

40 Espaces technologiques [Mireille Blay-Fornarino] 40

41 Architecture en 4 couches 41

42 Architecture en 4 couches de l'omg 42

43 Architecture en 4 couches de l'omg 43

44 Hiérarchie en 4 niveaux Existe en dehors de la vision OMG pour les autres espaces technologiques 44

45 Comparaison des espaces technologiques 45

46 Outils de l' Outils pour La définition de méta-modèles La définition de transformations et leur exécution La génération de code La génération d'environnement graphique de modélisation La vérification de conformité de modèles La spécification de contraintes etc. 46

47 Outils open source 47

48 suite... 48

49 Outils commerciaux 49

50 Outils Peu d outils MOF compliant pour expérimenter la création de nouveaux metamodèles Développement de profils UML est consommateur de temps et d argent mais surtout les constructeurs de profils sont encore très chers et propriétaires (exemple : Objecteering, Rationale Rose) Pas de portabilité des profils UML entre outils UML! Peu de formalismes pour exprimer les MDA transformations OMG QVT Différents mondes : OMG : MDA / UML / MOF / SPEM / CWM / UML Profile Microsoft : DSL / Software Factory Eclipse : Ecore / EMOF / nombreux plug-ins 50

51 DSL et DSM 51

52 DSL et DSM Domain Specific Modeling (DSM) way of designing and developing systems, most often IT systems such as computer software. It involves the systematic use of a graphical Domain Specific Language (DSL) to represent the various facets of a system. DSM languages tend to support higherlevel abstractions than General-Purpose Modeling languages, meaning that they require less effort and fewer low-level details to specify a given system. 52

53 DSL et DSM Vision Microsoft 53

54 DSL et DSM Vision GMF (Eclipse) 54

55 Bilan Le MDE est une nouvelle approche pour concevoir des applications En s'abstrayant des technologies de mise en oeuvre En plaçant les modèles et surtout les méta-modèles au centre du processus de développement dans un but productif Pour pouvoir s'y adapter plus facilement sans en être dépendant Les modèles sont depuis longtemps utilisés mais ne couvraient pas l'ensemble du cycle de vie du logiciel Les méta-modèles existent aussi depuis longtemps (grammaires, DTD XML,...) Nouvelle vision autour de notions déjà connues Les grands éditeurs de logiciel suivent ce mouvement IBM, Microsoft... 55

56 Liens web PlanetMDE Projets Eclipse Wikipédia MDA OMG AS MDA 56

57 Ouvrages 57

58 This is the end!! 58

Ingénierie des Modèles. Introduction Générale

Ingénierie des Modèles. Introduction Générale Ingénierie des Modèles Introduction Générale Eric Cariou Master Technologies de l'internet 2 ème année Université de Pau et des Pays de l'adour UFR Sciences Pau Département Informatique Eric.Cariou@univ-pau.fr

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

Ingénierie des Modèles. Méta-modélisation

Ingénierie des Modèles. Méta-modélisation Ingénierie des Modèles Méta-modélisation Eric Cariou Master Technologies de l'internet 2 ème année Université de Pau et des Pays de l'adour UFR Sciences Pau Département Informatique Eric.Cariou@univ-pau.fr

Plus en détail

Méthodologie de Développement Objet

Méthodologie de Développement Objet 1/47 Méthodologie de Développement Objet Troisième partie : Ingénierie des Modèles Christine Solnon INSA de Lyon - 4IF 2014-2015 2/47 Introduction Automatiser la production de logiciels? Saint Graal du

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

Ingénierie des modèles

Ingénierie des modèles 14 Janvier 2008 Ecole Centrale Plan Mise en bouche... Un modèle? 1 Mise en bouche... Un modèle? 2 MDA? 3 UML Eclipse 4 Plan Mise en bouche... Un modèle? 1 Mise en bouche... Un modèle? 2 MDA? 3 UML Eclipse

Plus en détail

Ingénierie des Modèles. Transformations de Modèles

Ingénierie des Modèles. Transformations de Modèles Ingénierie des Modèles Transformations de Modèles Eric Cariou Université de Pau et des Pays de l'adour Département Informatique Eric.Cariou@univ-pau.fr 1 Plan Types de transformation Raffinement Projection

Plus en détail

Architects Community. Augmenter la productivité de vos développements JEE grâce à l approche orientée modèles DSM. Bertrand Florat Architecte JEE

Architects Community. Augmenter la productivité de vos développements JEE grâce à l approche orientée modèles DSM. Bertrand Florat Architecte JEE Architects Community Augmenter la productivité de vos développements JEE grâce à l approche orientée modèles DSM Bertrand Florat Architecte JEE 29 janvier 2008 Déroulement de la discussion L inertie du

Plus en détail

Introduction pratique au Développement orienté Modèle Pierre Parrend, Mars 2005

Introduction pratique au Développement orienté Modèle Pierre Parrend, Mars 2005 MDA : Un Tutoriel Introduction pratique au Développement orienté Modèle Pierre Parrend, Mars 2005 1 Sommaire Table des matières 1 Sommaire 1 2 Introduction 2 2.1 A qui s adresse ce tutoriel......................

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

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

Représentation graphique de scénarios pédagogiques abstraits : expérimentation entre IMS-LD et UML

Représentation graphique de scénarios pédagogiques abstraits : expérimentation entre IMS-LD et UML Session 3. Système de production et de gestion de contenu Représentation graphique de scénarios pédagogiques abstraits : expérimentation entre IMS-LD et UML Pierre Laforcade MCF 27 pierre.laforcade@lium.univ-lemans.fr

Plus en détail

openarchitectureware & transformation de modèle Yannick Lizzi Architecte Logiciel itemis France Mail: lizzi@itemis.de

openarchitectureware & transformation de modèle Yannick Lizzi Architecte Logiciel itemis France Mail: lizzi@itemis.de openarchitectureware & transformation de modèle Yannick Lizzi Architecte Logiciel itemis France Mail: lizzi@itemis.de itemis France 2009 All rights reserved 1 Itemis en quelques mots Spécialisé dans l

Plus en détail

La démarche MDA. Auteur : Projet ACCORD (Assemblage de composants par contrats en environnement ouvert et réparti)*

La démarche MDA. Auteur : Projet ACCORD (Assemblage de composants par contrats en environnement ouvert et réparti)* La démarche MDA Auteur : Projet ACCORD (Assemblage de composants par contrats en environnement ouvert et réparti)* Référence : Livrable 1.1-5 Date : Mai 2002 * : Les partenaires du projet ACCORD sont CNAM,

Plus en détail

Examen CAR 2 Heures Tout documents autorisés le 17 Novembre 2005

Examen CAR 2 Heures Tout documents autorisés le 17 Novembre 2005 Examen CAR 2 Heures Tout documents autorisés le 17 Novembre 2005 Rappel : Tout méta-modèle ou profil doit être commenté! 1 Question de compréhension du cours barème indicatif : 5 points Q : Lorsque l on

Plus en détail

En passant par les méta modèles Antoine Clave

En passant par les méta modèles Antoine Clave D UML à MDA En passant par les méta modèles Antoine Clave L impact d UML (Unified Modelling Language) sur l informatique a été décrit dans plusieurs articles de La Lettre, cités en page 7. Langage de modélisation,

Plus en détail

Les modèles pourquoi faire?

Les modèles pourquoi faire? Les modèles pourquoi faire? Equipe MACAO 1 L IDM : qu est-ce que c est? Principes fondateurs Motivations MDA 2 Approche Ingénierie Dirigée par les modèles (IDM/MDE) Evolution Programmation orientée objets

Plus en détail

OpenPaaS Le réseau social d entreprise. Tâche 3.2.2 : Métamodèle support à la caractérisation des utilisateurs et des collaborations

OpenPaaS Le réseau social d entreprise. Tâche 3.2.2 : Métamodèle support à la caractérisation des utilisateurs et des collaborations OpenPaaS Le réseau social d entreprise Tâche 3.2.2 : Métamodèle support à la caractérisation des utilisateurs et des collaborations Propriétés du Document Source du Document Titre du Document FSN OpenPaaS

Plus en détail

Customisation Rhapsody et Henri BOULOUET DITV/AEEV/EECH. approche méthodologique

Customisation Rhapsody et Henri BOULOUET DITV/AEEV/EECH. approche méthodologique Customisation Rhapsody et approche méthodologique Retour d expérience sur l implémentation d un langage et profil UML associé 1 Sommaire Principe d un développement méthodologique Evocation d ISR (Ingénierie

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

Spécifications et développement des VIDL de bas niveau D5-1

Spécifications et développement des VIDL de bas niveau D5-1 Rédacteurs Aymen Abedmouleh Pierre Laforcade Relecteurs Esteban Loiseau Date 30/08/14 Référence GRAPHIT-D5.1 Version 0.2 Spécifications et développement des VIDL de bas niveau D5-1 1/23 Historique du document

Plus en détail

IFT2255 : Génie logiciel

IFT2255 : Génie logiciel IFT2255 : Génie logiciel Chapitre 6 - Analyse orientée objets Section 1. Introduction à UML Julie Vachon et Houari Sahraoui 6.1. Introduction à UML 1. Vers une approche orientée objet 2. Introduction ti

Plus en détail

Extensions à la formation. Laurent Pérochon, 28-30 avril 2008, RMT Modelia, modélisation conceptuelle, formation UML, INRA Castanet Tolosan

Extensions à la formation. Laurent Pérochon, 28-30 avril 2008, RMT Modelia, modélisation conceptuelle, formation UML, INRA Castanet Tolosan Extensions à la formation Diagramme de timing FinEpreuve SautBarrière CourseAvantBarrière SautMur {>2 et 10 et 2 et 10 et

Plus en détail

DSL. Domain Specific Language. À l'aide des technologies Eclipse Modeling. Goulwen Le Fur goulwen.lefur@obeo.fr. Le 23 novembre 2012

DSL. Domain Specific Language. À l'aide des technologies Eclipse Modeling. Goulwen Le Fur goulwen.lefur@obeo.fr. Le 23 novembre 2012 DSL Domain Specific Language À l'aide des technologies Eclipse Modeling Le 23 novembre 2012 Goulwen Le Fur goulwen.lefur@obeo.fr Le but de cette session Montrer : Ce qu'est-un DSL/DSM Comment implémenter

Plus en détail

2 TSI - 29/2009. Ingénierie Dirigée par les Modèles. 1. Introduction

2 TSI - 29/2009. Ingénierie Dirigée par les Modèles. 1. Introduction Etat de l art sur le développement logiciel basé sur les transformations de modèles Samba Diaw* Redouane Lbath* Bernard Coulette* * Université de Toulouse Laboratoire IRIT-UTM, Université de Toulouse 2-Le

Plus en détail

Génie logiciel (Un aperçu)

Génie logiciel (Un aperçu) (Un aperçu) (sommerville 2010) Laurent Pérochon INRA URH 63122 St Genès Champanelle Laurent.perochon@clermont.inra.fr Ensemble d activités conduisant à la production d un logiciel Sur un échantillon de

Plus en détail

développement logiciel dirigé

développement logiciel dirigé Nouvelles technologies de développement logiciel dirigé par les modèles PauWare Research Group Netfective Technology Le développement logiciel, une industrie immature Première «industrie» dans le monde

Plus en détail

Ingénierie des modèles (b)

Ingénierie des modèles (b) Ingénierie des modèles b. Exploiter et produire Raphaël Marvie LIFL - IRCICA Université de Lille I marvie@lifl.fr http://www.lifl.fr/~marvie 1 Menu Introduction Model Driven Architecture PIM, PAM, POUM

Plus en détail

Modélisation Orientée Objet / UML

Modélisation Orientée Objet / UML Modélisation Orientée Objet / UML Laurent Henocque http://laurent.henocque.free.fr/ Enseignant Chercheur ESIL/INFO France http://laurent.henocque.perso.esil.univmed.fr/ mis à jour en Octobre 2006 Licence

Plus en détail

Introduction à la conception d'une base de données Walter RUDAMETKIN

Introduction à la conception d'une base de données Walter RUDAMETKIN Introduction à la conception d'une base de données Walter RUDAMETKIN Bureau F011 Walter.Rudametkin@polytech-lille.fr Étapes de la conception d'une base de données Analyse de la situation existante et des

Plus en détail

MDA (Model Driven Architecture) principes et états de l art.

MDA (Model Driven Architecture) principes et états de l art. CONSERVATOIRE NATIONAL DES ARTS ET MÉTIERS CENTRE D ENSEIGNEMENT DE LYON Examen probatoire du diplôme d ingénieur C.N.A.M. en INFORMATIQUE option ingénierie et intégration informatique : système de conduite

Plus en détail

Institut Francophone International. Sujet : Études de l approche d ingénierie dirigée par les modèles pour le développement des applications mobiles

Institut Francophone International. Sujet : Études de l approche d ingénierie dirigée par les modèles pour le développement des applications mobiles Institut Francophone International MÉMOIRE DE FIN D ÉTUDES MASTER D INFORMATIQUE Option : Réseaux et Systèmes Communicants Année académique : 2013-2014 Sujet : Études de l approche d ingénierie dirigée

Plus en détail

Ingénierie des Modèles. Méta-modélisation

Ingénierie des Modèles. Méta-modélisation Ingénierie des Modèles Méta-modélisation Eric Cariou Université de Pau et des Pays de l'adour Département Informatique Eric.Cariou@univ-pau.fr 1 Introduction/Plan But de la méta-modélisation Définir des

Plus en détail

Scénarisation Pédagogique et Ingénierie Dirigé par les Modèles

Scénarisation Pédagogique et Ingénierie Dirigé par les Modèles 1 Scénarisation Pédagogique et Ingénierie Dirigé par les Modèles Cadre d'étude pour la définition de langages et environnements-outils de scénarisation pédagogique spécifiques à des domaines Pierre Laforcade,

Plus en détail

Concepts et langages du cadre RM-ODP de l'iso pour analyser et articuler les pratiques de projets libres de système de formation

Concepts et langages du cadre RM-ODP de l'iso pour analyser et articuler les pratiques de projets libres de système de formation Concepts et langages du cadre RM-ODP de l'iso pour analyser et articuler les pratiques de projets libres de système de formation Système de formation fédérant trois projets du logiciel libre (Moodle, OpenGLM

Plus en détail

UML 1ère partie. Référence: http://uml.developpez.com/lp/cours/uml_free_fr_cours.html UML

UML 1ère partie. Référence: http://uml.developpez.com/lp/cours/uml_free_fr_cours.html UML UML UML 1ère partie Référence: http://uml.developpez.com/lp/cours/uml_free_fr_cours.html LOG2000 Éléments du génie logiciel 2002 Bayomock André-Claude PLAN Définition et historique Vue générale A quoi

Plus en détail

Conventions communes aux profils UML

Conventions communes aux profils UML Conventions communes aux profils UML Auteur : Projet ACCORD (Assemblage de composants par contrats en environnement ouvert et réparti)* Référence : Livrable 2.1 Date : Juin 2002 * : Les partenaires du

Plus en détail

Développement de logiciel

Développement de logiciel approche formelle et approche à objets Pascal ANDRE Université de Nantes Master Miage M1 Plan Introduction Développement formel du logiciel Développement du logiciel à objets Projection Développement du

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

Ingénierie dirigée par les modèles Model Driven Architecture

Ingénierie dirigée par les modèles Model Driven Architecture Ingénierie dirigée par les modèles Model Driven Architecture Laurent Pérochon INRA URH 63122 Saint Genès Champanelle perochon@clermont.inra.fr La conception d un programme classique Niveaux d abstraction

Plus en détail

Méthodologies de développement de logiciels de gestion

Méthodologies de développement de logiciels de gestion Méthodologies de développement de logiciels de gestion Chapitre 5 Traits caractéristiques des deux approches de méthodologie Présentation réalisée par P.-A. Sunier Professeur à la HE-Arc de Neuchâtel http://lgl.isnetne.ch

Plus en détail

Modélisation des processus métiers et standardisation

Modélisation des processus métiers et standardisation Modélisation des processus métiers et standardisation Octobre 2004 Table des matières Introduction... 3 Processus métier : un même mot, plusieurs domaines d application... 4 Les critères pour un standard

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

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

INTENTIONS DIDACTIQUES ET MISE EN ŒUVRE DANS DES APPLICATIONS WEB

INTENTIONS DIDACTIQUES ET MISE EN ŒUVRE DANS DES APPLICATIONS WEB Pierre-André Caron (pa.caron@ed.univ-lille1.fr) Xavier Le Pallec (xavier.le-pallec@univ-lille1.fr) Sébastien Sockeel (sebastien.sockeel@univ-lille1.fr) USTL, Laboratoire Trigone, équipe NOCE, 59655 Villeneuve

Plus en détail

IDM. Ingénierie Dirigée par les Modèles

IDM. Ingénierie Dirigée par les Modèles IDM Ingénierie Dirigée par les Modèles Plan du dossier p1. Titre ; Plan p2. Sources, références p3. Approches orientées modèles en ingénierie du logiciel, des systèmes et des données (Approches dirigées

Plus en détail

Visual Paradigm Contraintes inter-associations

Visual Paradigm Contraintes inter-associations Visual Paradigm Contraintes inter-associations Travail de Bachelor d'informaticien de gestion Partie C Présentation de Visual Paradigm 1 Présentation de Visual Paradigm For UML L objet du travail de Bachelor

Plus en détail

Rational Unified Process

Rational Unified Process Rational Unified Process Hafedh Mili Rational Unified Process 1. Principes de base 2. Les phases 3. Les activités (workflows) Copyright Hafedh Mili 2005 2 1 Rational Unified Process Processus de développement

Plus en détail

Langages de modélisation de situations d'apprentissage : l'approche Learning Design

Langages de modélisation de situations d'apprentissage : l'approche Learning Design Séminaire Grains Éducatifs Grenoble 16 mars 2005 Langages de modélisation de situations d'apprentissage : l'approche Learning Design INRP Jean-Philippe PERNIN (*,**) (*) Institut national de recherche

Plus en détail

L approche Model-Driven Architecture, crédible pour développer un progiciel de

L approche Model-Driven Architecture, crédible pour développer un progiciel de ÉCOLE DOCTORALE SYSTÈMES L approche Model-Driven Architecture, crédible pour développer un progiciel de gestion intégré Mémoire de DEA Systèmes Industriels Tuteur : Paul Gaborit Xavier Moghrabi Année universitaire

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

Etat de l art sur le développement logiciel dirigé par les modèles.

Etat de l art sur le développement logiciel dirigé par les modèles. Etat de l art sur le développement logiciel dirigé par les modèles. Samba Diaw* Rédouane Lbath* Bernard Coulette* * Université de Toulouse Laboratoire IRIT Université de Toulouse 2-Le Mirail 5, allées

Plus en détail

Architecture de déploiement d un système réparti. Kawtharany Mohamed Laboratoire d'informatique et Télécommunication ENST Bretagne

Architecture de déploiement d un système réparti. Kawtharany Mohamed Laboratoire d'informatique et Télécommunication ENST Bretagne Architecture de déploiement d un système réparti Kawtharany Mohamed Laboratoire d'informatique et Télécommunication ENST Bretagne I. Introduction Contexte du travail. Étude du déploiement. Modélisation

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

Modélisation sous Eclipse

Modélisation sous Eclipse Modélisation sous Eclipse Programmation / Edition textuelle / Edition graphique/ Modèle Lecture Modèle Traitement Présentation des résultats Solutions apportées par Eclipse? http://www.eclipse.org/ Introduction

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

Modélisation Principe Autre principe

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

Plus en détail

La plate-forme DotNet dans le contexte du MDA

La plate-forme DotNet dans le contexte du MDA La plate-forme DotNet dans le contexte du MDA Jean Bézivin Université de Nantes CRGNA Centre de Recherche en Gestion de Nantes-Atlantique Faculté des Sciences et Techniques 2, rue de la Houssinière BP

Plus en détail

Générer du code à partir d une description de haut niveau

Générer du code à partir d une description de haut niveau Cedric Dumoulin Générer du code à partir d une description de haut niveau Ce projet vise à fournir un environnement de développement permettant de modéliser des UI Android à un haut niveau d abstraction,

Plus en détail

MÉTAMODÉLISATION ET TRANSFORMATION AUTOMATIQUE DE PSM DANS UNE APPROCHE MDA

MÉTAMODÉLISATION ET TRANSFORMATION AUTOMATIQUE DE PSM DANS UNE APPROCHE MDA UNIVERSITÉ DU QUÉBEC EN OUTAOUAIS MÉTAMODÉLISATION ET TRANSFORMATION AUTOMATIQUE DE PSM DANS UNE APPROCHE MDA MÉMOIRE PRÉSENTÉ COMME EXIGENCE PARTIELLE DE LA MAÎTRISE EN INFORMATIQUE PAR JAMAL ABD-ALI

Plus en détail

G en om3: Building middleware-independent robotic components. Comparaison de middleware: YARP, MS Robotics Dev Studio, URBI, OpenRTM-aist, ROS

G en om3: Building middleware-independent robotic components. Comparaison de middleware: YARP, MS Robotics Dev Studio, URBI, OpenRTM-aist, ROS G en om3: Building middleware-independent robotic components Comparaison de middleware: YARP, MS Robotics Dev Studio, URBI, OpenRTM-aist, ROS Pablo Rauzy 15 février 2011 Table des matières 1 G en om3 :

Plus en détail

Projet ANR JCJC GRAPHIT

Projet ANR JCJC GRAPHIT 13/03/2012 1 Projet ANR JCJC GRAPHIT Présentation générale 13/03/2012 2 Informations administratives Accronyme GraphiT Titre Elaboration et instrumentation de langages pedagogiques graphiques centres sur

Plus en détail

Industrialisation des développements Spring dans Eclipse

Industrialisation des développements Spring dans Eclipse C Industrialisation des développements Spring dans Eclipse L objectif de cette annexe est de décrire comment mettre en œuvre une approche dirigée par les modèles afin d industrialiser les développements

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

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

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

INTRODUCTION AUX METHODES D INGENIERIE DES DONNEES DIRIGEE PAR LES MODELES

INTRODUCTION AUX METHODES D INGENIERIE DES DONNEES DIRIGEE PAR LES MODELES INTRODUCTION AUX METHODES D INGENIERIE DES DONNEES DIRIGEE PAR LES MODELES Les contenus de ce document sont la propriété exclusive de la société REVER. Ils ne sont transmis qu à titre d information et

Plus en détail

Supervision des réseaux et services pair à pair

Supervision des réseaux et services pair à pair Supervision des réseaux et services pair à pair Présentation des travaux de Thèse Guillaume Doyen LORIA - Université Henri Poincaré pour l obtention du Doctorat en Informatique de l université Henri Poincaré

Plus en détail

Intégration des middlewares dans la conception logicielle. Sujets spéciaux en génie logiciel

Intégration des middlewares dans la conception logicielle. Sujets spéciaux en génie logiciel Intégration des middlewares dans la conception logicielle Sujets spéciaux en génie logiciel Intégration des middlewares dans la conception logicielle Introduction UML Approche orientée composant Approche

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

Introduction aux Composants Logiciels

Introduction aux Composants Logiciels Introduction aux Composants Logiciels Christian Pérez LIP/INRIA Année 2010-11 Plan Introduction aux composants logiciels Pourquoi des composants logiciels Notions de composants logiciels Conclusion Survol

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

Ingénierie des Modèles

Ingénierie des Modèles Ingénierie des Modèles Eric Cariou Université de Pau et des Pays de l'adour France UFR Sciences Pau Département Informatique Eric.Cariou@univ-pau.fr 1 Contenu des enseignements Cours (4h) Introduction

Plus en détail

Résultats des projets CARROLL. Bilan et perspectives. Ingénierie logicielle orientée modèle MDD

Résultats des projets CARROLL. Bilan et perspectives. Ingénierie logicielle orientée modèle MDD Résultats des projets CARROLL Bilan et perspectives Ingénierie logicielle orientée modèle MDD Serge Salicki, THALES Workshop CARROLL 23 septembre 2005 THALES et le MDE Le MDE est dans la strategie de THALES

Plus en détail

Introduction aux objets

Introduction aux objets MAI NFE103 Année 2005-2006 Introduction aux objets F.-Y. Villemin, CNAM Plan! Définitions! Evolution de la programmation! Méthodes Classiques! Objet!! Méthodologies orientée-objet! Problèmes http://deptinfo.cnam.fr/enseignement/

Plus en détail

Nouvelles technologies pour automatiser le développement

Nouvelles technologies pour automatiser le développement Nouvelles technologies pour automatiser le développement Déductions J.M. Vanel - 2009-05 Appliquer l'intelligence artificielle au génie logiciel Modélisation, moteurs de règles Multi-modèles, multi-plateformes

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

MDA en action. Ingénierie logicielle guidée par les modèles

MDA en action. Ingénierie logicielle guidée par les modèles X a v i e r B l a n c MDA en action Ingénierie logicielle guidée par les modèles Sur le CD-Rom offert avec ce livre IBM Rational Software Modeler* Objecteering/MDA Modeler* Spécifications de l OMG * En

Plus en détail

Concevoir des applications Web avec UML

Concevoir des applications Web avec UML Concevoir des applications Web avec UML Jim Conallen Éditions Eyrolles ISBN : 2-212-09172-9 2000 1 Introduction Objectifs du livre Le sujet de ce livre est le développement des applications web. Ce n est

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

Qu est ce que l environnement Eclipse?

Qu est ce que l environnement Eclipse? Qu est ce que l environnement Eclipse? Bernard DAUTREVAUX Directeur formation et conseil Acsys www.ac6-formation.com Pour en savoir plus: nos formations Eclipse +33 (0)1 41 16 80 10 Page 0 assistance conseil

Plus en détail

Les nouveautés TOPCASED dans Indigo et MDT Papyrus. Tristan FAURE, Pierre Gaufillet

Les nouveautés TOPCASED dans Indigo et MDT Papyrus. Tristan FAURE, Pierre Gaufillet Les nouveautés TOPCASED dans Indigo et MDT Papyrus Tristan FAURE, Pierre Gaufillet Agenda Contexte TOPCASED 5.0 Changements techniques Nouveautés TOPCASED Indigo Conclusion 2 / 34 Agenda Contexte TOPCASED

Plus en détail

Digital Workplace et Gestion des connaissances Concepts et mise en oeuvre

Digital Workplace et Gestion des connaissances Concepts et mise en oeuvre Avant-propos 1. Objectif du livre 17 2. Illustrations des exemples de ce livre 18 2.1 Office 365 comme plateforme technologique pour une digital workplace 18 2.2 SharePoint et Yammer à l honneur 18 3.

Plus en détail

Outils d aide à la conception de bases de données une synthèse

Outils d aide à la conception de bases de données une synthèse Outils d aide à la conception de bases de données une synthèse Christian Soutou http://icare.iut-blagnac.fr/soutou Plan 1. Généralités 2. Quelques outils Designer, JDevelopper (Oracle) Rational Rose (IBM)

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

OFFRE DE FORMATION L.M.D.

OFFRE DE FORMATION L.M.D. REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE MINISTERE DE L ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE SCIENTIFIQUE OFFRE DE FORMATION L.M.D. MASTER PROFESSIONNEL ET ACADEMIQUE Systèmes d Information

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

Université de Bangui. Modélisons en UML

Université de Bangui. Modélisons en UML Université de Bangui CRM Modélisons en UML Ce cours a été possible grâce à l initiative d Apollinaire MOLAYE qui m a contacté pour vous faire bénéficier de mes connaissances en nouvelles technologies et

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

Architecture Reconfigurable Hétérogène à Gestion Hiérarchique Distribuée pour la Reconfiguration et la Prise de Décision

Architecture Reconfigurable Hétérogène à Gestion Hiérarchique Distribuée pour la Reconfiguration et la Prise de Décision INSTITUT D ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES Architecture Reconfigurable Hétérogène à Gestion Hiérarchique Distribuée pour la Reconfiguration et la Prise de Décision dans les systèmes de

Plus en détail

Mercredi 15 Janvier 2014

Mercredi 15 Janvier 2014 De la conception au site web Mercredi 15 Janvier 2014 Loïc THOMAS Géo-Hyd Responsable Informatique & Ingénierie des Systèmes d'information loic.thomas@anteagroup.com 02 38 64 26 41 Architecture Il est

Plus en détail

Vers une formalisation du métamodèle de composants Ugatze

Vers une formalisation du métamodèle de composants Ugatze Vers une formalisation du métamodèle de composants Ugatze Mourad Kmimech I,III, Mohamed Tahar Bhiri II, Philippe Aniorté I, Abdelmajid Ben Hamadou III I LIUPPA, IUT de Bayonne - Département Informatique

Plus en détail

Fiche descriptive d une unité d enseignement (UE) et de ses éléments constitutifs (ECUE)

Fiche descriptive d une unité d enseignement (UE) et de ses éléments constitutifs (ECUE) Fiche descriptive d une unité d enseignement (UE) et de ses éléments constitutifs (ECUE) Intitulé de l UE Système d informations Nombre de crédits 07 Code UE.UE12.. Université : Université de Manouba Etablissement

Plus en détail

rad-framework Software development plan document version 01 Oussama Boudyach April 20, 2011

rad-framework Software development plan document version 01 Oussama Boudyach April 20, 2011 rad-framework Software development plan document version 01 Oussama Boudyach April 20, 2011 1 Contents 1 Introduction 3 2 Documents et matériels 3 2.1 Document et matériel octroyé:....................................

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

Approche par transformation de modèles pour la conception d EIAH

Approche par transformation de modèles pour la conception d EIAH 213 Approche par transformation de modèles pour la conception d EIAH Illustration entre les langages CPM et IMS-LD Pierre Laforcade LIUPPA Université de Pau et des Pays de l'adour B.P. 1155 64013 Pau Cedex

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

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

Introduction au Génie Logiciel

Introduction au Génie Logiciel Introduction au Génie Logiciel Lydie du Bousquet Lydie.du-bousquet@imag.fr En collaboration avec J.-M. Favre, I. Parissis, Ph. Lalanda Qu est-ce que le logiciel? programme, ensemble d instructions Caractéristiques

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