IFT6251 : Sujets spéciaux en génie logiciel

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

Download "IFT6251 : Sujets spéciaux en génie logiciel"

Transcription

1 IFT6251 : Sujets spéciaux en génie logiciel Yann-Gaël Guéhéneuc Département d informatique et de recherche opérationnelle Université de Montréal, Québec, Canada Automne Introduction De la programmation orientée-objet à l architecture en passant par les patrons de conception, la programmation par aspects et le typage dynamique, ce cours gradué est l occasion de trouver des réponses à vos questions en génie logiciel et de poser de nouvelles questions. Ce cours est destiné aux étudiants que le génie logiciel sous toutes ses formes intéresse et qui veulent approfondir leurs connaissances et toucher à des domaines recherche pointus. Il s adresse à des étudiants motivés 1, connaissant déjà bien la programmation 2 et ayant de bonnes bases en génie logiciel (IFT2251) et, si possible, dans des domaines connexes (IFT390X). Le professeur souhaite que les étudiants qui s inscrivent au cours viennent à toutes les séances (y compris la première), soient ponctuels et fassent preuve d esprit critique et d ouverture. 2 Objectif Ce cours remplit plusieurs objectifs, comme approfondir certains sous-domaines du génie logiciel ou comme faire découvrir de nouveaux domaines de recherche, mais son objectif principal est de donner aux étudiants une carte pour se diriger dans le (vaste) domaine du génie logiciel en partant du point de vue de la maintenance des programmes. Ainsi, on essaie d aborder différents sujets mettant en lumière les enjeux, les problèmes, les réalisations, les techniques liés à la maintenance des programmes, puis à élargir ces connaissances en repoussant l horizon dans différentes directions. Nous espérons qu après ce cours les étudiants possèdent des connaissances suffisantes pour se situer dans le domaine du génie logiciel 3. Suivant la motivation des étudiants, il serait possible de rédiger un article scientifique en commun présentant une carte du domaine du génie logiciel (les sous-domaines bien connus, actifs en recherche ou nécessitant plus de travaux...). 1 Une bonne capacité à lire l anglais est un plus... 2 Une bonne connaissance de la programmation par objets typés (Java, C++) est nécessaire... 3 Un bon exercice serait d assister à toutes les sessions d une conférence internationale en génie logiciel et d évaluer son niveau de compréhension... 1

2 3 Déroulement Ce cours est principalement basé sur des lectures d articles, de revues ou de livres scientifiques touchant au domaine du génie logiciel et sur leurs présentations en classe par le professeur et pour certaines par les étudiants à tour de rôle. Les présentations sont suivies de discussions modérées. Le cours comporte deux parties. La première partie a pour sujet la maintenance des programmes, la ré-ingénierie et la rétro-conception. Elle inclut les analyses statiques et dynamiques, la métamodélisation... Elle est donnée principalement par le professeur mais des étudiants peuvent présenter des articles. La seconde partie porte sur le génie logiciel en général et donne lieu à des présentations des étudiants. Des démonstrations d outils ont également lieu pour démontrer certaines techniques ou limitations. Le cours comporte un projet (possiblement par groupe suivant le nombre d étudiants inscrits) dont les sujets sont définis lors de la première classe. Des présentations par des invités sont planifiées. 4 Evaluation Pendant le cours, les étudiants doivent lire et analyser des articles scientifiques et présenter en classe d une façon synthétique les résultats de leur recherche individuelle, c est un cours exploratoire. Les étudiants font des démonstrations d outils et un projet pour toucher et maîtriser des sujets nouveaux. L évaluation se décompose en : préparation des classes (lectures des articles) et participation en classe pour 5% ; présentation d articles pour 25% ; projet (présentation intermédiaire et finale, rapport sous forme d article) pour 50% ; compréhension de la matière par un examen final pour 20%. Il est possible que l évaluation des présentations soit en partie réalisée sous forme d une évaluation par les pairs (l évaluation est réalisée en commun avec tous les étudiants et le professeur). Les projets sont individuels ou en petits groupes, suivant le nombre d étudiants inscrits. Les sujets des projets sont choisis en commun avec les étudiants et le professeur. L objectif est de réaliser un projet (y compris l implantation) en se focalisant sur un domaine du génie logiciel en général, et de la maintenance des programmes en particulier. 2

3 Références [1] Christopher Alexander. The origins of pattern theory : The future of the theory, and the generation of a living world. IEEE Software, 16(5) :71 82, September/October [2] Giuliano Antoniol, Bruno Caprile, Alessandra Potrich, and Paolo Tonella. Design-code traceability recovery : Selecting the basic linkage properties. Science of Computer Programming, special issue on program comprehension, 40(2 3) : , July [3] Giuliano Antoniol, Roberto Fiutem, and Lucas Cristoforetti. Design pattern recovery in objectoriented software. In Scott Tilley and Giuseppe Visaggio, editors, proceedings of the 6 th International Workshop on Program Comprehension, pages IEEE Computer Society Press, June [4] Sarita Bassil and Rudolf K. Keller. Software visualization tools : Survey and analysis. In Andrea De Lucia and Kostas Kontogiannis, editors, proceedings of the 9 th International Workshop on Program Comprehension, pages IEEE Computer Society Press, May [5] Gerald Baumgartner, Konstantin Läufer, and Vincent F. Russo. On the interaction of objectoriented design patterns and programming languages. Technical Report CSD-TR , Department of Computer Science, University of Purdue, Feburary [6] Kent Beck and Ralph E. Johnson. Patterns generate architectures. In Mario Tokoro and Remo Pareschi, editors, proceedings of 8 th European Conference for Object-Oriented Programming, pages Springer-Verlag, July [7] Berndt Bellay and Harald Gall. A comparison of four reverse engineering tools. In Ira Baxter and Alex Quilici, editors, proceedings of the 4 th Working Conference on Reverse Engineering, pages IEEE Computer Society Press, October [8] Federico Bergenti and Agostino Poggi. IDEA : A design assistant based on automatic design pattern detection. In Dan Cooke and Joseph Urban, editors, proceedings of the 12 th international conference on Software Engineering and Knowledge Engineering, pages Springer-Verlag, July [9] James Bieman, Greg Straw, Huxia Wang, P. Willard Munger, and Roger T. Alexander. Design patterns and change proneness : An examination of five evolving systems. In Michael Berry and Warren Harrison, editors, proceedings of the 9 th international Software Metrics Symposium, pages IEEE Computer Society Press, September [10] Ted J. Biggerstaff, Bharat G. Mitbander, and Dallas E. Webster. The concept assignment problem in program understanding. In Victor R. Basili, Richard A. DeMillo, and Takuya Katayama, editors, proceedings of the 15 th International Conference on Software Engineering, pages IEEE Computer Society Press / ACM Press, May [11] Craig Chambers, Bill Harrison, and John Vlissides. A debate on language and tool support for design patterns. In Tom Reps, editor, proceeding of the 27 th conference on Principles of Programming Languages, pages ACM Press, January [12] M. Ajmal Chaumun, Hind Kabaili, Rudolf K. Keller, François Lustman, and Guy Saint-Denis. Design properties and object-oriented software changeability. In Jürgen Ebert and Chris Verhoef, editors, proceedings of the 4 th Conference on Software Maintenance and Reengineering, pages IEEE Computer Society Press, February

4 [13] Elliot.J. Chikofsky and James H. Cross II. Reverse engineering and design recovery A taxonomy. IEEE Software, 7(1) :13 17, January [14] Oliver Ciupke. Automatic detection of design problems in object-oriented reengineering. In Donald Firesmith, editor, proceeding of 30 th conference on Technology of Object-Oriented Languages and Systems, pages IEEE Computer Society Press, August [15] James O. Coplien. Idioms and patterns as architectural literature. IEEE Software Special Issue on Objects, Patterns, and Architectures, 14(1) :36 42, January [16] James Cross. Reengineering and reverse engineering terminology, November [17] Serge Demeyer, Stéphane Ducasse, and Oscar Nierstrasz. Finding refactorings via change metrics. In Doug Lea, editor, proceedings of 15 th conference on Object-Oriented Programming Systems, Languages and Applications, pages ACM Press, October [18] Serge Demeyer, Stéphane Ducasse, and Sander Tichelaar. Why unified is not universal. In Bernhard Rumpe, editor, proceedings of the 2 nd UML conference, pages Springer- Verlag, October [19] Edsger W. Dijkstra. Go to statement considered harmful. Communications of the ACM, 11(3) : , March [20] Stéphane Ducasse, Matthias Rieger, and Serge Demeyer. A language independent approach for detecting duplicated code. Proceedings of ICSM, pages 10 19, [21] Amnon H. Eden and Rick Kazman. Architecture, design, implementation. In Laurie Dillon and Walter Tichy, editors, proceedings of the 25 th International Conference on Software Engineering, pages ACM Press, May [22] Holger Eichelberger. Nice class diagrams admit good design? In John T. Stasko, editor, proceedings of the 1 st symposium on Software Visualization, pages ACM Press, June [23] Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns Elements of Reusable Object-Oriented Software. Addison-Wesley, 1 st edition, [24] Gerald C. Gannod and Betty H. C. Cheng. A framework for classifying and comparing software reverse engineering and design recovery techniques. In Francoise Balmas, Michael Blaha, and Spencer Rugaber, editors, proceedings of the 6 th Working Conference on Reverse Engineering, pages IEEE Computer Society Press, October [25] Mohammad Ghoniem, Jean-Daniel Fekete, and Philippe Castagliola. A comparison of the readability of graphs using node-link and matrix-based representations. In Matt Ward and Tamara Munzner, editors, proceedings of the 10 th symposium on Information Visualisation, pages IEEE Computer Society Press, October [26] Andreas Gustavsson and Mattias Ersson. Formalizing the intent of design patterns an approach towards a solution to the indexing problem. Technical Report , Uppsala Universitet, July [27] William Harrison, Charles Barton, and Mukund Raghavachari. Mapping UML designs to Java. In Doug Lea, editor, proceedings of the 15 th conference on Object-Oriented Programming, Systems, Languages, and Applications, pages ACM Press, October [28] Daniel Jackson and Allison Waingold. Lightweight extraction of object models from bytecode. In David Garlan and Jeff Kramer, editors, proceedings of the 21 st International Conference on Software Engineering, pages ACM Press, May

5 [29] Ralf Kollmann and Martin Gogolla. Application of UML associations and their adornments in design recovery. In Elizabeth Burd and Peter Aiken, editors, proceedings of the 8 th Working Conference on Reverse Engineering, pages IEEE Computer Society Press, October [30] Ralf Kollmann, Petri Selonen, Eleni Stroulia, Tarja Systä, and Albert Zündorf. A study on the current state of the art in tool-supported UML-based static reverse engineering. In Liz Burd and Arie van Deursen, editors, proceedings of the 9 th Working Conference on Reverse Engineering, pages IEEE Computer Society Press, October [31] Christian Krämer and Lutz Prechelt. Design recovery by automated search for structural design patterns in object-oriented software. In Linda M. Wills and Ira Baxter, editors, proceedings of the 3 rd Working Conference on Reverse Engineering, pages IEEE Computer Society Press, November [32] Bernt Kullbach and Andreas Winter. Querying as an enabling technology in software reengineering. In Paolo Nesi and Chris Verhoef, editors, proceedings of the 3 rd Conference on Software Maintenance and Reengineering, pages IEEE Computer Society Press, March [33] Marek Leszak, Dewayne E. Perry, and Dieter Stoll. Classification and evaluation of defects in a project retrospective. Journal of Systems and Software, 61(3) : , May [34] Radu Marinescu. Using object-oriented metrics for automatic design flaws detection in large scale systems. Proceedings of the Object-Oriented Product Metrics for Software Quality Assessment Workshop, [35] Brian Keith Miller, Pei Hsia, and Chenho Kung. Object-oriented architecture measures. In proceedings of the Thirty-second Annual Hawaii International Conference on System Sciences, pages 1 18, [36] Gail C. Murphy, Mik Kersten, Martin P. Robillard, and Davor Čubraniś. The emergent structure of development tasks. In Andrew P. Black, editor, proceedings of the 19 th European Conference on Object-Oriented Programming, pages Springer-Verlag, July [37] Gail C. Murphy, David Notkin, and Kevin Sullivan. Software reflexion models : Bridging the gap between source and high-level models. In Gail E. Kaiser, editor, proceedings of the 3 rd symposium on Foundations of Software Engineering, pages ACM Press, October [38] Wilma M. Osborne and Elliot J. Chikofsky. Fitting pieces to the maintenance puzzle Guest editors introduction. IEEE Software, 7(1) :11 12, January [39] Partha Pratim Pal and Naftaly H. Minsky. Imposing the Law of Demeter and its variations. In Raimund Ege, editor, proceedings of the 20 th conference on the Technology of Object-Oriented Languages and Systems. Prentice-Hall, August [40] Louis Perrochon and Walter Mann. Inferred designs. Software, 16(5) :46 51, September October [41] Lutz Prechelt, Barbara Unger, Walter F. Tichy, Peter Brössler, and Lawrence G. Votta. A controlled experiment in maintenance comparing design patterns to simpler solutions. Transactions on Software Engineering, [42] Alex Quilici, Quing Yang, and Steven Woods. Applying plan recognition algorithms to program understanding. journal of Automated Software Engineering, 5(3) : , July [43] Charles Rich and Richard C. Waters. The programmer s apprentice : A research overview. IEEE Computer, 21(11) :10 25, November

6 [44] Tamar Richner and Stéphane Ducasse. Recovering high-level views of object-oriented applications from static and dynamic information. In Hongji Yang and Lee White, editors, proceedings of 7 th International Conference on Software Maintenance, pages IEEE Computer Society Press, August [45] Jean E. Sammet. Programming languages : History and future. Communications of the ACM, 15(7) : , July [46] Pamela Samuelson. Reverse-engineering someone else s software : Is it legal? Software, 7(1) :90 96, January/February [47] Pamela Samuelson. Reverse engineering under siege. Communications of the ACM, 45(10) :15 20, October [48] Forrest Shull, Walcélio Melo, and Victor R. Basili. An inductive method for discovering design patterns from object-oriented software systems. Technical Report CS-TR-3597, Computer Science Department, University of Maryland, January [49] Susan Elliott Sim and Margaret-Anne D. Storey. A structured demonstration of program comprehension tools. In Kostas Kontogiannis and Françoise Balmas, editors, proceedings of the 7 th Working Conference on Reverse Engineering, pages IEEE Computer Society Press, November [50] Gregor Snelting and Frank Tip. Understanding class hierarchies using concept analysis. ACM Transactions on Programming Languages and Systems, 22 : , [51] Elliot Soloway. Learning to program = Learning to construct mechanisms and explanations. Communications of the ACM, 29(9) : , September [52] Lance Tokuda and Don S. Batory. Evolving object-oriented designs with refactorings. In Robert J. Hall and Ernst Tyugu, editors, proceedings of the 15 th conference on Automated Software Engineering, pages IEEE Computer Society Press, October [53] Paolo Tonella and Alessandra Potrich. Reverse engineering of the UML class diagram from C++ code in presence of weakly typed containers. In Gerardo Canfora and Anneliese Amschler Andrews-Von Maryhauser, editors, proceedings of the 9 st International Conference on Software Maintenance, pages IEEE Computer Society Press, November [54] Anneliese von Mayrhauser. Program comprehension during software maintenance and evolution. IEEE Computer, 28(8) :44 55, August [55] Peter Wendorff. Assessment of design patterns during software reengineering : Lessons learned from a large commercial project. In Pedro Sousa and Jürgen Ebert, editors, proceedings of 5 th Conference on Software Maintenance and Reengineering, pages IEEE Computer Society Press, March [56] Roel Wuyts. Declarative reasoning about the structure of object-oriented systems. In Joseph Gil, editor, proceedings of the 26 th conference on the Technology of Object-Oriented Languages and Systems, pages IEEE Computer Society Press, August Contenu (provisoire) Les tableaux suivant contiennent une liste possible de sujets de lecture avec des pointeurs vers des références intéressantes. Cependant, cette liste n est ni exhaustive ni obligatoire! L accent sera mis sur le paradigme objets (les autres paradigmes seront abordés si besoin est.) 6

7 5.1 Perspective historique Naissance Enfance Adolescence Création du genie logiciel, la crise du genie logiciel, pourquoi le genie logiciel? Des gotos aux objets en passant par les procédures. La programmation par objets : Simula, Smalltalk, C++, Java ; les autres paradigmes de programmation : prototypes, fonctionnels, logiques, agents, sujets, scripts Langages de programmation Concepts Implantation des langages objets non-typés, des langages objets typés, comparaisons des langages objets Méthodes de première classe Mécanismes de protection Interfaces natives Traits et Classboxes Classes internes Mixins Wrappers Chargeurs de classes Multi-méthodes Héritage multiple Généricité Exceptions Contrats Polymorphisme, co- et contravariance Miroirs Machine virtuelle Machine virtuelle Ramasse-miettes Utilisation et Convention de code, choix des langages, idiomes double indirection Interfaces Rapports de l OTAN Dijkstra Dahl, Nygaard Panel 3 à OOPSLA 94 Driesen à OOPSLA Ortigosa, Campo, Salomon à OOPSLA Ducournau à LMO Beugnard à LMO D Hont et De Meuter à LMO Crescenzo à LMO Cointe et Ducasse à LMO Igarashi et Pierce à ECOOP Buchi à ECOOP Liang et Bracha à OOPSLA Chambers à OOPSLA Bracha, Odersky à OOPSLA Ancona, Lagorio et Zucca à OOPSLA Arnout, Meyer à LMO Bracha et Unger à OOPLSA Deleray à LMO Gosser, Sahraoui à LMO 7

8 5.3 Conception et architecture 5.4 Réflexion, métaprogrammation et métamodélisation Spécifications formelles Réflexion Réflextion et Java Tanter à LMO MOP Kigzalès et des Rivières à??? Métaclasses Bouraqadi à OOPSLA MétamodélisationCohérence entre modèles Simmonds, Staeten et... à OOPSLA OCL Briand, Labiche, Yan et Di Penta à ICSM MOF Riehle et Fraleigh à OOPSLA Transformation de modèles Revault, Blanc et Perrot à LMO Traçabilité/mapping Harrison, Barton et Raghavachari à OOPLSA Restructurations Interclassement Rapicault et Blay-Fornarino à LMO Automatisation Moore à OOPLSA Identification Demeyer, Ducasse et Nierstrazs à OOPSLA Défaut de Duplication de code Ducasse Marcus Et Maletic à ASE conception Cordy et Dean à CASCON Définitions et identification Travassos à OOPSLA Demsky à OOPSLA Guéhéneuc et Albin- Amiot à TOOLS USA Mantyla, Vanhanen, Lassenius à ICSM Patrons de Définition [23] conception Utilisation, représentation et outillage Albin-Amiot, Cointe et Guéhéneuc à LMO Sunye à ECOOP Agerbo à OOPSLA Génération Macdonald, Szafron à ASE Beck à??? Architecture Framework, évolution Evans et Dickman à OOPSLA Langages de description Garlan et Allen à ICSE Représentation des connaissances Métaprogrammation déclarative MDA Relation entre classes Définition, application Mens à??? Bézivin et Gerbé à ASE Civello à OOPSLA Guéhéneuc et Albin-Amiot à OOPSLA 8

9 5.5 Séparation des préoccupations Tissage Statique Atkinson à APSEC Dynamique Segura-Devillechaise à LMO Implantation Filtres de composition Akçit à LMO Discussions Limitations, application Kienzle et Guerraoui à ECOOP Hannemann et Kiczales à OOPSLA 5.6 Re-conception Analyses Lexicales et statiques Dynamiques Sémantiques Application Correction Rugaber, Shikano et Stirewalt à ASE Evaluation Girba, Ducasse et Lanza à ICSM Fonctionnalités Salah et Mancoridis à ICSM Antoniol et Guéhéneuc à ICSM Migration Ward, Zedan et Hardcastle à ICSM Compréhension Difficultés, théories des programmes 5.7 Divers Visualisation Lanza à LMO Langellier à LMO Lanza et Ducasse à OOPLSA Wu, Sahraoui et Valtchev à APSEC Concurrence Distribution, concurrence et persistance Attali, Caromel et Russo à LMO Composants Composants et middleware (EJB, Beugnard à LMO Jonas) Qualité Définition, métriques, modèles, limitations Test Generation automatique Marinov et Khurshid à ASE Techniques appliquées Analyse formelle de concepts Arévalo à LMO Slicing Krinke à ICSM Lignes de produits Définition, mise en œvre Ziadi, Helouët et Jezequel à LMO Batory, Lopez et Martin à ASE Philosophie Patterns as signs Noble à ECOOP Paradigme orienté-objet Rayside et Campbell à OOPSLA Besoins Process Divers Atkinson à APSEC Grossman et Bergin à CASCON Projet avec Mise en œvre Michlmayr et Senyard à APSEC code source libre 9

10 [33] [2] [53] [1] [28] [35] [15] [5] [48] [45] [36] [25] [9] [21] [22] [16] [30] [47] [46] [4] [29] [53] [55] [8] [11] [12] [17] [27] [41] [49] [50] [14] [18] [20] [24] [26] [32] [40] [44] [52] [3] [34] [56] [7] [42] [31] [39] [37] [6] [10] [13] [38] [43] [51] [54] [19] 10

IFT2251 Introduction au génie logiciel Plan de cours. 2. Description du cours et objectifs généraux

IFT2251 Introduction au génie logiciel Plan de cours. 2. Description du cours et objectifs généraux IFT2251 Introduction au génie logiciel Plan de cours Été 2008 Yann-Gaël Guéhéneuc 1. Introduction Les exigences et les attentes à l égard de la qualité logicielle sont de plus en plus grandes. La taille

Plus en détail

1 Introduction COOK. ANR 2005, 1

1 Introduction COOK. ANR 2005, 1 COOK. ANR 2005, 1 COOK: Réarchitecturisation des applications industrielles à objets Prof. Stéphane Ducasse (Porteur du projet), Ilham Alloui, Sorana Cimpan, Hervé Verjus et Marc-Philippe Huget Language

Plus en détail

Des signatures numériques pour améliorer la recherche structurelle de patrons

Des signatures numériques pour améliorer la recherche structurelle de patrons Des signatures numériques pour améliorer la recherche structurelle de patrons Yann-Gaël Guéhéneuc et Houari Sahraoui Université de Montréal CP 6128 succ. Centre Ville Montréal, Québec, H3C 3J7 Canada {guehene,

Plus en détail

Métamodèles, architecture et réingénierie

Métamodèles, architecture et réingénierie Métamodèles, architecture et réingénierie Damien Pollet Séminaire D OC LIRMM, 9 février 2007 Plan Passé (plus ou moins proche : DEA, thèse) Présent (un peu passé : post-doc) papier état de l art : reconstruction

Plus en détail

Solution A La Gestion Des Objets Java Pour Des Systèmes Embarqués

Solution A La Gestion Des Objets Java Pour Des Systèmes Embarqués International Journal of Engineering Research and Development e-issn: 2278-067X, p-issn: 2278-800X, www.ijerd.com Volume 7, Issue 5 (June 2013), PP.99-103 Solution A La Gestion Des Objets Java Pour Des

Plus en détail

Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration

Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration Pluquet Frédéric July, 3rd 2012 Etude de techniques efficaces de versionnement d objets pour les langages orientés

Plus en détail

CURRICULUM VITAE. Informations Personnelles

CURRICULUM VITAE. Informations Personnelles CURRICULUM VITAE Informations Personnelles NOM: BOURAS PRENOM : Zine-Eddine STRUCTURE DE RATTACHEMENT: Département de Mathématiques et d Informatique Ecole Préparatoire aux Sciences et Techniques Annaba

Plus en détail

Génie Logiciel et Gestion de Projets

Génie Logiciel et Gestion de Projets Génie Logiciel et Gestion de Projets INFO-F-407 Ragnhild Van Der Straeten 2008-2009 ULB 1 Génie Logiciel et Gestion de Projets Organisation 2 Ragnhild Van Der Straeten VUB, 4K209 Campus Etterbeek rvdstrae@vub.ac.be

Plus en détail

Plan de recherche. guehene@emn.fr

Plan de recherche. guehene@emn.fr Plan de recherche Yann-Gaël Guéhéneuc guehene@emn.fr Ma thématique de recherche se situe dans le domaine du génie logiciel à objets, en particulier dans l automatisation de la rétro-conception des programmes

Plus en détail

IFT3902 : (Gestion de projet pour le) développement, (et la) maintenance des logiciels

IFT3902 : (Gestion de projet pour le) développement, (et la) maintenance des logiciels IFT3902 : (Gestion de projet pour le) développement, (et la) maintenance des logiciels Yann-Gaël Guéhéneuc Professeur adjoint guehene@iro.umontreal.ca, local 2345 Département d informatique et de recherche

Plus en détail

Forthcoming Database

Forthcoming Database DISS.ETH NO. 15802 Forthcoming Database A Framework Approach for Data Visualization Applications A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of

Plus en détail

IFT6251 : Sujets spéciaux en génie logiciel

IFT6251 : Sujets spéciaux en génie logiciel IFT6251 : Sujets spéciaux en génie logiciel Yann-Gaël Guéhéneuc Professeur adjoint guehene@iro.umontreal.ca, local 2345 Département d informatique et de recherche opérationnelle Université de Montréal

Plus en détail

Liste de conférences et revues Thème Com A

Liste de conférences et revues Thème Com A Liste de conférences et revues Thème Com A April 11th, 2007 Ci-dessous, la synthèse des listes de publications fournies par les projets. Il faut noter que ACES/CEPAGE/OASIS/ n ont pas répondu et ne sont

Plus en détail

Introduction du test dans la modélisation par aspects

Introduction du test dans la modélisation par aspects Introduction du test dans la modélisation par aspects Jacques Klein 1 Benoit Baudry 1 Olivier Barais 1 Andrew Jackson 2 1 IRISA/INRIA Rennes Université de Rennes 1 Campus Universitaire de Beaulieu F-35042

Plus en détail

Visualiser des données.

Visualiser des données. Visualiser des données. Le point de vue du designer. Le design est une façon de penser. C est aussi une façon de se situer, d explorer un problème objectif, et de déterminer des approches pour concevoir

Plus en détail

Patrons de Conception (Design Patterns)

Patrons de Conception (Design Patterns) Patrons de Conception (Design Patterns) Introduction 1 Motivation Il est difficile de développer des logiciels efficaces, robustes, extensibles et réutilisables Il est essentiel de comprendre les techniques

Plus en détail

Architectures Ouvertes pour l Adaptation des Logiciels

Architectures Ouvertes pour l Adaptation des Logiciels Architectures Ouvertes pour l Adaptation des Logiciels Frédéric Duclos 1, Jacky Estublier 2, Rémy Sanlaville 1 Published in review Génie Logiciel And proceedings ICSSEA, Paris 2001 1 Dassault Systèmes

Plus en détail

Cours : INF 784 Systèmes à base de connaissances Trimestre : Automne 2015 Enseignant : Évariste Valéry BÉVO WANDJI

Cours : INF 784 Systèmes à base de connaissances Trimestre : Automne 2015 Enseignant : Évariste Valéry BÉVO WANDJI Faculté des sciences Centre de formation en technologies de l information Cours : INF 784 Systèmes à base de connaissances Trimestre : Automne 2015 Enseignant : Évariste Valéry BÉVO WANDJI 1. Mise en contexte

Plus en détail

UQÀM UNIVERSITÉ DU QUÉBEC À MONTRÉAL ÉCOLE DES SCIENCES DE LA GESTION DOCTORAT CONJOINT EN ADMINISTRATION MÉTHODES DE RECHERCHE EN GESTION ADM 9201

UQÀM UNIVERSITÉ DU QUÉBEC À MONTRÉAL ÉCOLE DES SCIENCES DE LA GESTION DOCTORAT CONJOINT EN ADMINISTRATION MÉTHODES DE RECHERCHE EN GESTION ADM 9201 UQÀM UNIVERSITÉ DU QUÉBEC À MONTRÉAL ÉCOLE DES SCIENCES DE LA GESTION DOCTORAT CONJOINT EN ADMINISTRATION MÉTHODES DE RECHERCHE EN GESTION ADM 9201 Plan de cours Cataldo Zuccaro, MBA, Ph.D. Département

Plus en détail

Plan de cours ADM 992C Page 1. École des sciences de la gestion Département de management et technologie Université du Québec à Montréal

Plan de cours ADM 992C Page 1. École des sciences de la gestion Département de management et technologie Université du Québec à Montréal Plan de cours ADM 992C Page 1 École des sciences de la gestion Département de management et technologie Université du Québec à Montréal ADM-992C LES TECHNOLOGIES D'AIDE À LA PRISE DE DÉCISION DANS LES

Plus en détail

Proposition d un système patron pour la conception de sites web

Proposition d un système patron pour la conception de sites web Proposition d un système patron pour la conception de sites web E. Cocquebert, D. Trentesaux, and C. Tahon LAMIH - Université de Valenciennes, le Mont Houy, 59313 Valenciennes cedex 9, France Résumé Les

Plus en détail

Principes. 2A-SI 3 Prog. réseau et systèmes distribués 3. 3 Programmation en CORBA. Programmation en Corba. Stéphane Vialle

Principes. 2A-SI 3 Prog. réseau et systèmes distribués 3. 3 Programmation en CORBA. Programmation en Corba. Stéphane Vialle 2A-SI 3 Prog. réseau et systèmes distribués 3. 3 Programmation en CORBA Stéphane Vialle Stephane.Vialle@supelec.fr http://www.metz.supelec.fr/~vialle 1 Principes 2 Architecture 3 4 Aperçu d utilisation

Plus en détail

REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION

REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION THÈSE N O 2388 (2001) PRÉSENTÉE AU DÉPARTEMENT D'INFORMATIQUE ÉCOLE POLYTECHNIQUE FÉDÉRALE

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

Supply chain management

Supply chain management áå ΩINSTITUT SUPERIEUR DU MANAGEMENT Supply chain management Les Rois de la Supply Chain 2010 Cabinet ISM Abidjan, Cocody,Bvd F. Mitterand, Riviera Bonoumin, Immeuble La Paix 22 BP 876 Abidjan 22 Tél:

Plus en détail

Cybernet : Utilisation de métaphores et des techniques de réalité virtuelle pour la représentation de données. Application à la gestion de réseau.

Cybernet : Utilisation de métaphores et des techniques de réalité virtuelle pour la représentation de données. Application à la gestion de réseau. Cybernet : Utilisation de métaphores et des techniques de réalité virtuelle pour la représentation de données. Application à la gestion de réseau. P. Abel*, P. Gros*, D. Loisel* & J.P. Paris** Institut

Plus en détail

Curriculum Vitae 1 er février 2008

Curriculum Vitae 1 er février 2008 Curriculum Vitae 1 er février 2008 Informations générales Cédric MEUTER Nationalité belge Né à La Louvière, le 16 novembre 1979 Adresse personnelle : Adresse professionnelle : Ave Général Bernheim, 57

Plus en détail

Capture et modélisation de l activité utilisateur pour l évaluation d applications d analyse visuelle de données

Capture et modélisation de l activité utilisateur pour l évaluation d applications d analyse visuelle de données Capture et modélisation de l activité utilisateur pour l évaluation d applications d analyse visuelle de données Romain Vuillemot Université de Lyon, CNRS INSA-Lyon, LIRIS, UMR5205 F-69621, France romain.vuillemot@insa-lyon.fr

Plus en détail

MARF : Modular Audio Recognition Framework

MARF : Modular Audio Recognition Framework : Modular Audio Recognition Framework Département d Informatique et Génie Logiciel Faculté de Génie et Informatique Université Concordia, Montréal, Québec, Canada mokhov@cse.concordia.ca ACFAS 2010 Introduction

Plus en détail

Must Today s Risk Be Tomorrow s Disaster? The Use of Knowledge in Disaster Risk Reduction

Must Today s Risk Be Tomorrow s Disaster? The Use of Knowledge in Disaster Risk Reduction Must Today s Risk Be Tomorrow s Disaster? The Use of Knowledge in Disaster Risk Reduction Website: https://dce.yorku.ca/crhn/ Submission information: 11th Annual Canadian Risk and Hazards Network Symposium

Plus en détail

Formalisation de bonnes pratiques dans les procédés de développement logiciels

Formalisation de bonnes pratiques dans les procédés de développement logiciels Formalisation de bonnes pratiques dans les procédés de développement logiciels Vincent Le Gloahec * Regis Fleurquin ** Salah Sadou *** * Alkante SAS, Rennes, France ** IRISA/Triskell, Campus Universitaire

Plus en détail

Mise en place d un système de cabotage maritime au sud ouest de l Ocean Indien. 10 Septembre 2012

Mise en place d un système de cabotage maritime au sud ouest de l Ocean Indien. 10 Septembre 2012 Mise en place d un système de cabotage maritime au sud ouest de l Ocean Indien 10 Septembre 2012 Les défis de la chaine de la logistique du transport maritime Danielle T.Y WONG Director Logistics Performance

Plus en détail

Vérification Formelle des Aspects de Cohérence d un Workflow net

Vérification Formelle des Aspects de Cohérence d un Workflow net Vérification Formelle des Aspects de Cohérence d un Workflow net Abdallah Missaoui Ecole Nationale d Ingénieurs de Tunis BP. 37 Le Belvédère, 1002 Tunis, Tunisia abdallah.missaoui@enit.rnu.tn Zohra Sbaï

Plus en détail

Les méthodes Agiles Introduction. Intervenant : Tremeur Balbous tremeur@agilegardener.com http://www.agilegardener.com/ 04/09/2008

Les méthodes Agiles Introduction. Intervenant : Tremeur Balbous tremeur@agilegardener.com http://www.agilegardener.com/ 04/09/2008 Les méthodes Agiles Introduction Intervenant : Tremeur Balbous tremeur@agilegardener.com http://www.agilegardener.com/ 04/09/2008 Les méthodes Agiles Le contexte Le Manifeste Agile Une tentative de définition

Plus en détail

Sécurisation du stockage de données sur le Cloud Michel Kheirallah

Sécurisation du stockage de données sur le Cloud Michel Kheirallah Sécurisation du stockage de données sur le Cloud Michel Kheirallah Introduction I Présentation du Cloud II Menaces III Exigences de sécurité IV Techniques de sécurisation 2 26/02/2015 Présentation du Cloud

Plus en détail

Accès personnalisé multicritères à de multiples sources d informations.

Accès personnalisé multicritères à de multiples sources d informations. Lyon - France Accès personnalisé multicritères à de multiples sources d informations. Samir kechid Université des Sciences et de la Technologie Houari Boumediene. USTHB BP 32 El Alia Bab Ezzouar Alger

Plus en détail

Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services

Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services 69 Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services M. Bakhouya, J. Gaber et A. Koukam Laboratoire Systèmes et Transports SeT Université de Technologie de Belfort-Montbéliard

Plus en détail

Résumé des activités de recherche

Résumé des activités de recherche Résumé des activités de recherche Philippe Lahire Préambule Ce résumé a pour objectif de relater les diverses propositions effectuées dans le cadre des thèmes de recherche abordés. Le fil conducteur de

Plus en détail

Objectif du cours. Outline. Complexité des systèmes modernes. La modélisation et UML dans les activités du Génie Logiciel...

Objectif du cours. Outline. Complexité des systèmes modernes. La modélisation et UML dans les activités du Génie Logiciel... Objectif du cours La modélisation et UML dans les activités du Génie Logiciel... ESIR2, GL (LSI) Benoit Combemale Université de Rennes 1, ESIR & IRISA (Triskell team) Benoit.Combemale@irisa.fr Identifier

Plus en détail

INGÉNIEUR LOGICIEL JAVAEE / GROOVY 8 ANS D EXPÉRIENCE

INGÉNIEUR LOGICIEL JAVAEE / GROOVY 8 ANS D EXPÉRIENCE INGÉNIEUR LOGICIEL JAVAEE / GROOVY 8 ANS D EXPÉRIENCE Igor Rosenberg 30 ans DEA «Image-Vision» de l Université de Nice Sophia-Antipolis POSTES PRECEDENTS MMA: Développement Web/Grails sur démonstrateur

Plus en détail

Ada Diaconescu INFRES / S3. Appellation de Maître de Conférences. Mars 2010. ada.diaconescu@telecom-paristech.fr 01/03/2010

Ada Diaconescu INFRES / S3. Appellation de Maître de Conférences. Mars 2010. ada.diaconescu@telecom-paristech.fr 01/03/2010 Ada Diaconescu INFRES / S3 Appellation de Maître de Conférences Mars 2010 Parcours Études - Université Polytechnique Timisoara (1995-2000 ) Diplôme d Ingénieur en Informatique (BAC+5) Ingénieur R&D à Teltec,

Plus en détail

Auto-explication des Chorégraphies de Services

Auto-explication des Chorégraphies de Services Mario Cortes Cornax Sophie Dupuy-Chessa Dominique Rieu Université de Grenoble, LIG Auto-explication des Chorégraphies de Services 1 Problématique Chorégraphie de services Vision globale des processus distribués

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

Une méthodologie de conception des systèmes distribués basée sur UML

Une méthodologie de conception des systèmes distribués basée sur UML Une méthodologie de conception des systèmes distribués basée sur UML Nouvelles Technologies de la Répartition (NOTERE 2005) 1 er septembre 2005 Ludovic Apvrille Pierre de Saqui-Sannes Axelle Apvrille Page

Plus en détail

Analyse,, Conception Objet

Analyse,, Conception Objet Analyse,, Conception Objet Design Patterns Introduction Sommaire Conception Réutilisabilité Bibliothèque de classe vs. Framework Design Pattern Historique Catégories de Patterns Bibliographie O. Boissier,

Plus en détail

UNIVERSITE SIDI MOHAMED BEN ABDELLAH ECOLE SUPERIEURE DE TECHNOLOGIE

UNIVERSITE SIDI MOHAMED BEN ABDELLAH ECOLE SUPERIEURE DE TECHNOLOGIE UNIVERSITE SIDI MOHAMED BEN ABDELLAH ECOLE SUPERIEURE DE TECHNOLOGIE Route d'imouzzer - BP 47 - FES Téléphone 05 35 60 05 84/85/86 Télécopie 05 35 60 05 88 BORDEREAU DES PRIX - DETAIL ESTIMATIF 0 DEPENSES

Plus en détail

IFT3902 : (Gestion de projet pour le) développement, (et la) maintenance des logiciels

IFT3902 : (Gestion de projet pour le) développement, (et la) maintenance des logiciels IFT3902 : (Gestion de projet pour le) développement, (et la) maintenance des logiciels Yann-Gaël Guéhéneuc Professeur adjoint guehene@iro.umontreal.ca, local 2345 Département d informatique et de recherche

Plus en détail

LOG4430 : Architecture logicielle et conception avancée

LOG4430 : Architecture logicielle et conception avancée LOG4430 : Architecture logicielle et conception avancée Yann-Gaël Guéhéneuc Applications de base de la conception orientée aspect : surveillance, traçage et profilage Partie 1/4 Histoire Département de

Plus en détail

Logiciels libres et enseignement supérieur : où en est-on?

Logiciels libres et enseignement supérieur : où en est-on? Logiciels libres et enseignement supérieur : où en est-on? Ivaylo Ganchev Université Paris 8 11 juillet 2011 But de cette présentation Récapituler 2 ans de recherche et de réflexions sur ce sujet Montrer

Plus en détail

Laboratoire 4 Développement d un système intelligent

Laboratoire 4 Développement d un système intelligent DÉPARTEMENT DE GÉNIE LOGICIEL ET DES TI LOG770 - SYSTÈMES INTELLIGENTS ÉTÉ 2012 Laboratoire 4 Développement d un système intelligent 1 Introduction Ce quatrième et dernier laboratoire porte sur le développement

Plus en détail

Les Bases de Données et l Objet Introduction

Les Bases de Données et l Objet Introduction Les Bases de Données et l Objet Introduction Didier DONSEZ Université de Valenciennes Institut des Sciences et Techniques de Valenciennes donsez@univ-valenciennes.fr Plan Définitions d un Objet Propriétés

Plus en détail

Artificial Intelligence AI

Artificial Intelligence AI Pedagogical Introduction Artificial Intelligence AI Lecture 0 Karim Bouzoubaa This Lecture General Information Examples Importance At the end Intelligent Systems Course Content, Other AI courses, Learning

Plus en détail

1993 Baccalauréat (S). Mention Assez Bien. FORMATION

1993 Baccalauréat (S). Mention Assez Bien. FORMATION Sana GUETAT Avenue Olivier Messiaen, 72085 Le Mans cedex 9 (33) 02 43 83 35 34- Fax : (33) 02 43 83 31 35 Sana.Guetat@univ-lemans.fr http://www.univ-lemans.fr FORMATION 2008 Doctorat en Sciences de Gestion,

Plus en détail

Département d'informatique, Université Laval, IFT-63677 SBC V&V : VÉRIFICATION ET VALIDATION DES SBC

Département d'informatique, Université Laval, IFT-63677 SBC V&V : VÉRIFICATION ET VALIDATION DES SBC Assurance qualité logicielle Logiciel conventionnel SBC Fiabilité Facilité d'entretien Facilité des modifications Principales causes d erreur Absence de spécification, manque de conformité (1) Erreurs

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

Gestion de la qualité des Modèles de Processus Métier: Méthode et Outil

Gestion de la qualité des Modèles de Processus Métier: Méthode et Outil Gestion de la qualité des Modèles de Processus Métier: Méthode et Outil Sarah Ayad CEDRIC-CNAM 292 rue Saint martin F-75141 Paris cedex 03, France ayad_sa1@auditeur.cnam.fr Directeurs de thèse Samira Si-said

Plus en détail

Modélisation de Lignes de Produits en UML *

Modélisation de Lignes de Produits en UML * Modélisation de Lignes de Produits en UML * Tewfik ZIADI, Loïc HELOUET, Jean-Marc JEZEQUEL 2 IRISA, Campus de Beaulieu 35042 RennesCedex, France Tewfik.Ziadi@irisa.fr Loic.Helouet@irisa.fr, Jezequel@irisa.fr

Plus en détail

Mesure et modélisation de l énergie logicielle

Mesure et modélisation de l énergie logicielle Mesure et modélisation de l énergie logicielle Adel Noureddine, Romain Rouvoy, Lionel Seinturier Green Days @ Lille 29 novembre 2013 Plan Contexte! Problèmes et limitations! Mesure énergétique des logiciels

Plus en détail

[Résumé: Intégration d un contrôle automatisé dans une station de test électrique]

[Résumé: Intégration d un contrôle automatisé dans une station de test électrique] SEPTEMBRE 2013 INSA de Strasbourg Génie électrique : Option énergie Par : Adnane BOUKHEFFA Tuteur Institutionnel : M. Guy STURTZER Réalisé au sein du Groupe Legrand 290 Avenue de Colmar, Strasbourg 67100

Plus en détail

Les méthodes Agile. Implication du client Développement itératif et incrémental

Les méthodes Agile. Implication du client Développement itératif et incrémental Les méthodes Agile Simon ALEXANDRE - CETIC Plan Overview Agile ne signifie pas Agile signifie Objectifs poursuivis Pourquoi les méthodes Agile apparaissent-elles? Principales causes des échecs de projets

Plus en détail

Ingénierie et gestion des connaissances

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

Plus en détail

Viser une démarche de recherche organisée

Viser une démarche de recherche organisée Etat de l art sur les travaux portant sur les audits en Management des connaissances Ecole Centrale Paris Le 2 décembre 2009 Audit KM - Rapport intermédaire d'avancement 1 Viser une démarche de recherche

Plus en détail

Analyse des logiciels d application spécialisée pour le courtage en épargne collective

Analyse des logiciels d application spécialisée pour le courtage en épargne collective Analyse des logiciels d application spécialisée pour le courtage en épargne collective Dép. de mathématiques et de génie industriel École Polytechnique de Montréal C.P. 6079, succ. Centre-ville Montréal

Plus en détail

Techniques de Développement

Techniques de Développement Techniques de Développement Quelques définitions relatives au développement de logiciel Sébastien Faucou Université de Nantes (IUT de Nantes, département Informatique) Licence Professionnelle Systèmes

Plus en détail

Anne-Sophie FERNANDEZ

Anne-Sophie FERNANDEZ Anne-Sophie FERNANDEZ Courriel : Anne-sophie.fernandez@umontpellier.fr Fonction : Maître de conférences Biographie Anne-Sophie FERNANDEZ est Maître de Conférences au sein de l Université de Montpellier.

Plus en détail

Le développement d'applications informatiques

Le développement d'applications informatiques Le développement d'applications informatiques Des bibliothèques de fonctions aux "design patterns" Copyright 2011-2015 Yves Marcoux 1 Sources bibliographiques Ramon, Jorge. "Preface". Ext JS 3.0 Cookbook:

Plus en détail

IFT3902 : (Gestion de projet pour le) développement, (et la) maintenance des logiciels

IFT3902 : (Gestion de projet pour le) développement, (et la) maintenance des logiciels IFT3902 : (Gestion de projet pour le) développement, (et la) maintenance des logiciels Yann-Gaël Guéhéneuc Professeur adjoint guehene@iro.umontreal.ca, local 2345 Département d informatique et de recherche

Plus en détail

Plan de cours. Département d informatique Faculté des sciences. 1 Introduction... 2. 2 Présentation... 5. 3 Contenu... 7 4 Organisation...

Plan de cours. Département d informatique Faculté des sciences. 1 Introduction... 2. 2 Présentation... 5. 3 Contenu... 7 4 Organisation... /informatique Plan de cours IGL 301 Spécification et vérification des exigences (hiver 2010 - Liban) Enseignant Luc LAVOIE Courriel :Luc.Lavoie@USherbrooke.ca Bureau : D4-1010- 12 Téléphone : (819) 821-8000

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

Intégration de l interface graphique de Ptidej dans Eclipse

Intégration de l interface graphique de Ptidej dans Eclipse Intégration de l interface graphique de Ptidej dans Eclipse Driton Salihu (salihudr@iro.umontreal.ca) Lulzim Laloshi (laloshil@iro.umontreal.ca) Département d informatique et de recherche opérationnelle

Plus en détail

Développement d une application web pour objets connectés MOHAMED SOUFIANE SOCIETE BEREXI 2015

Développement d une application web pour objets connectés MOHAMED SOUFIANE SOCIETE BEREXI 2015 1 Développement d une application web pour objets connectés MOHAMED SOUFIANE SOCIETE BEREXI 2015 Sommaire 2 1. Présentation de l entreprise et de l environnement de travail 2. Problématique et sujet de

Plus en détail

Qualité de la conception de tests logiciels : plate-forme de conception et processus de test

Qualité de la conception de tests logiciels : plate-forme de conception et processus de test Ecole Doctorale en Sciences de l Ingénieur de l ECP Formation doctorale en Génie Industriel Qualité de la conception de tests logiciels : plate-forme de conception et processus de test Quality of the design

Plus en détail

SHAREPOINT PORTAL SERVER 2013

SHAREPOINT PORTAL SERVER 2013 Powered by TCPDF (www.tcpdf.org) SHAREPOINT PORTAL SERVER 2013 Sharepoint portal server 2013 DEVELOPING MICROSOFT SHAREPOINT SERVER 2013 CORE SOLUTIONS Réf: MS20488 Durée : 5 jours (7 heures) OBJECTIFS

Plus en détail

Stage Ingénieur en développement logiciel/modélisation 3D

Stage Ingénieur en développement logiciel/modélisation 3D Ingénieur en développement logiciel/modélisation 3D Schlumberger recrute un(e) stagiaire ingénieur en modélisation 3D pour la plate-forme Petrel. Vous serez intégré(e) au sein d une équipe innovante, Petrel

Plus en détail

Rapport de Synthèse. Création d un Générateur de modèle PADL pour le langage C++ Sébastien Colladon

Rapport de Synthèse. Création d un Générateur de modèle PADL pour le langage C++ Sébastien Colladon L Y O N Département Informatique Année 2011/2012 Rapport de Synthèse Création d un Générateur de modèle PADL pour le langage C++ Sébastien Colladon Laboratoire Ptidej de L Ecole Polytechnique de Montréal

Plus en détail

Adaptation sémantique de documents SMIL

Adaptation sémantique de documents SMIL Adaptation sémantique de documents SMIL Sébastien Laborie Jérôme Euzenat Nabil Layaïda INRIA Rhône-Alpes - 655 Avenue de l Europe - 38334 St Ismier Cedex {Sebastien.Laborie;Jerome.Euzenat;Nabil.Layaida}@inrialpes.fr

Plus en détail

Le Futur de la Visualisation d Information. Jean-Daniel Fekete Projet in situ INRIA Futurs

Le Futur de la Visualisation d Information. Jean-Daniel Fekete Projet in situ INRIA Futurs Le Futur de la Visualisation d Information Jean-Daniel Fekete Projet in situ INRIA Futurs La visualisation d information 1.Présentation 2.Bilan 3.Perspectives Visualisation : 3 domaines Visualisation scientifique

Plus en détail

Professeur superviseur ALAIN APRIL

Professeur superviseur ALAIN APRIL RAPPORT TECHNIQUE PRÉSENTÉ À L ÉCOLE DE TECHNOLOGIE SUPÉRIEURE DANS LE CADRE DU COURS MGL 804 RÉALISATION ET MAINTENANCE DE LOGICIELS TRAVAIL DE SESSION INDIVIDUEL PAUL-OLIVIER TRUDEAU TRUP19018209 DÉPARTEMENT

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

Statement of Accomplishment

Statement of Accomplishment coursera.org MAY 13, 2015 Statement of Accomplishment WITH DISTINCTION A TERMINÉ AVEC SUCCÈS L OFFRE EN LIGNE DE L ECOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE DE Introduction à la programmation orientée objet

Plus en détail

ED STIC - Proposition de Sujets de Thèse. pour la campagne d'allocation de thèses 2013

ED STIC - Proposition de Sujets de Thèse. pour la campagne d'allocation de thèses 2013 ED STIC - Proposition de Sujets de Thèse pour la campagne d'allocation de thèses 2013 Axe Sophi@Stic : Titre du sujet : aucun Composition de systèmes d information dirigée par les modèles : une démarche

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

FOUNDATIONS OF SYSTEMS AND PROPERTIES: METHODOLOGICAL SUPPORT FOR MODELING PROPERTIES OF SOFTWARE-INTENSIVE SYSTEMS

FOUNDATIONS OF SYSTEMS AND PROPERTIES: METHODOLOGICAL SUPPORT FOR MODELING PROPERTIES OF SOFTWARE-INTENSIVE SYSTEMS FOUNDATIONS OF SYSTEMS AND PROPERTIES: METHODOLOGICAL SUPPORT FOR MODELING PROPERTIES OF SOFTWARE-INTENSIVE SYSTEMS THÈSE N O 3013 (2004) PRÉSENTÉE À LA FACULTÉ INFORMATIQUE ET COMMUNICATIONS Institut

Plus en détail

Rappels. Génie logiciel. Implemented tactics. Oldest architecture: Batch-Sequential

Rappels. Génie logiciel. Implemented tactics. Oldest architecture: Batch-Sequential Rappels Génie logiciel Philippe Dugerdil Composants, packages Couches & dépendances Principes de structuration Réutilisation / responsabilité Réutilisation & composants 09.12.2010 Oldest architecture:

Plus en détail

Cours en ligne Développement Java pour le web

Cours en ligne Développement Java pour le web Cours en ligne Développement Java pour le web We TrainFrance info@wetrainfrance Programme général du cours Développement Java pour le web Module 1 - Programmation J2ee A) Bases de programmation Java Unité

Plus en détail

Évaluation des logiciels et autres réalisations

Évaluation des logiciels et autres réalisations DOCUMENT D ANALYSE DE LA COMMISSION D ÉVALUATION DE L INRIA Évaluation des logiciels et autres réalisations Préparé par David Margery, Jean-Pierre Merlet, Cordelia Schmid, Agnès Sulem, Paul Zimmermann

Plus en détail

Le Guide du corpus de connaissances en génie g logiciel. Pierre Bourque R. Dupuis, A. Abran,, J. W. Moore, L. Tripp. senté à.

Le Guide du corpus de connaissances en génie g logiciel. Pierre Bourque R. Dupuis, A. Abran,, J. W. Moore, L. Tripp. senté à. SWEBOK ÉTS Le Guide du corpus de connaissances en génie g logiciel Pierre Bourque R. Dupuis, A. Abran,, J. W. Moore, L. Tripp Présent senté à Section régionale r de l Outaouaisl Ordre des ingénieurs nieurs

Plus en détail

Equilibrage de charge (Load

Equilibrage de charge (Load Equilibrage de charge (Load balancing) dans les MPSoCs Présenté Le : 02 Décembre 2013 Par : A. AROUI Encadreur : A.E. BENYAMINA 01/12/2013 1 Problématique Comportement dynamique des applications et la

Plus en détail

Empreintes conceptuelles et spatiales pour la caractérisation des réseaux sociaux

Empreintes conceptuelles et spatiales pour la caractérisation des réseaux sociaux Empreintes conceptuelles et spatiales pour la caractérisation des réseaux sociaux Bénédicte Le Grand*, Marie-Aude Aufaure** and Michel Soto* *Laboratoire d Informatique de Paris 6 UPMC {Benedicte.Le-Grand,

Plus en détail

PRODUCTS LIST (updated 11th January 2010)

PRODUCTS LIST (updated 11th January 2010) PRODUCTS LIST (updated 11th January 2010) OPERATING SYSTEMS SUN SOLARIS 10, 9, 10 B OP Application and database servers Red Hat Enterprise Linux Server 4.x and 5.x B OP Single Application Host Windows

Plus en détail

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

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

Plus en détail

Note. Membres de la collectivité canadienne de la physique subatomique. Chef d équipe, physique et astronomie

Note. Membres de la collectivité canadienne de la physique subatomique. Chef d équipe, physique et astronomie Natural Sciences and Engineering Research Council of Canada Conseil de recherches en sciences naturelles et en génie du Canada Note Date : Le 21 avril 2010 Destinataires : Expéditeur : Objet : Membres

Plus en détail

L hypertexte, le multimédia, c est quoi?

L hypertexte, le multimédia, c est quoi? L hypertexte, le multimédia, c est quoi? Hervé Platteaux Centre NTE et Département de pédagogie Université de Fribourg Cours de pédagogie - Second cycle Session du 29 octobre 2001 Selon vous, l hypertexte

Plus en détail

Projet ANR-06-SETI-015 RIMEL (Raffinement Incrémental de Modèles événementiels) Rapport intermédiaire annuel

Projet ANR-06-SETI-015 RIMEL (Raffinement Incrémental de Modèles événementiels) Rapport intermédiaire annuel Projet ANR-06-SETI-015 RIMEL (Raffinement Incrémental de Modèles événementiels) Rapport intermédiaire annuel Coordonnateur Dominique Méry LORIA,Université Henri Poincaré Nancy 1 Partenaire 3 Mohamed Mosbah

Plus en détail

Editing and managing Systems engineering processes at Snecma

Editing and managing Systems engineering processes at Snecma Editing and managing Systems engineering processes at Snecma Atego workshop 2014-04-03 Ce document et les informations qu il contient sont la propriété de Ils ne doivent pas être copiés ni communiqués

Plus en détail

sont appliquées à des fonds documentaires, sont destinées à fournir des informations pertinentes sur la structure globale plutôt que sur le contenu.

sont appliquées à des fonds documentaires, sont destinées à fournir des informations pertinentes sur la structure globale plutôt que sur le contenu. Introduction Les techniques informatiques permettent de stocker et d accéder à des quantités sans cesse croissantes de données, disponibles en ligne ou via des centres documentaires fermés. Cette profusion

Plus en détail

Etat de l art sur l utilisation des techniques Web Sémantique en ECD

Etat de l art sur l utilisation des techniques Web Sémantique en ECD Etat de l art sur l utilisation des techniques Web Sémantique en ECD Hicham Behja ENSAM Meknès(1,2,3) Brigitte Trousse Projet AxIS INRIA Sophia Antipolis (2) Abdelaziz Marzak Faculté des sciences Casablanca

Plus en détail

Programme scientifique MUST

Programme scientifique MUST Programme scientifique MUST Management of Urban Smart Territories 03/06/2014 Claude Rochet - Florence Pinot 1 Qu est-ce qui fait qu une ville est «smart»? Ce n est pas une addition de «smarties»: smart

Plus en détail

DES SYSTÈMES D INFORMATION

DES SYSTÈMES D INFORMATION URBANISATION & CONCEPTION DES SYSTÈMES D INFORMATION Le concept d urbanisation repose sur une analogie connue entre le Système d Information (SI) et la ville, dans lesquels interviennent tour à tour urbanistes

Plus en détail

Figure 1 - Notice bibliographique d un livre avec auteur unique.

Figure 1 - Notice bibliographique d un livre avec auteur unique. Nom, Prénom. Année de publication. Titre du livre : sous-titre, Numéro d édition. «Collection», Volume. Lieu de publication : Nom de l éditeur, Nombre de pages. Fourez, Gérard. 2002. La Construction des

Plus en détail