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

MI3/GL Cours de Génie Logiciel Programmation Orientée Objet (Avancée)

MI3/GL Cours de Génie Logiciel Programmation Orientée Objet (Avancée) MI3/GL Cours de Génie Logiciel Programmation Orientée Objet (Avancée) Daniel Le Berre CRIL-CNRS FRE 2499, Université d Artois, Lens, FRANCE {leberre}@cril.univ-artois.fr 4 novembre 2004 MI3GL 2004/2005

Plus en détail

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

MI3/GL Cours de Génie Logiciel Programmation Orientée Objet (Avancée)

MI3/GL Cours de Génie Logiciel Programmation Orientée Objet (Avancée) MI3/GL Cours de Génie Logiciel Programmation Orientée Objet (Avancée) Daniel Le Berre dans une classe CRIL-CNRS FRE 2499, Université d Artois, Lens, FRANCE {leberre@cril.univ-artois.fr 2 décembre 2004

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

Génie Logiciel. Reda Bendraou reda.bendraou{{@}}lip6.fr http://pagesperso-systeme.lip6.fr/reda.bendraou/

Génie Logiciel. Reda Bendraou reda.bendraou{{@}}lip6.fr http://pagesperso-systeme.lip6.fr/reda.bendraou/ Génie Logiciel Reda Bendraou reda.bendraou{{@}}lip6.fr http://pagesperso-systeme.lip6.fr/reda.bendraou/ Le contenu de ce support de cours a été influencé par les lectures citées à la fin de ce support.

Plus en détail

MOFAE Multi-objective Optimization Approach to Framework API Evolution

MOFAE Multi-objective Optimization Approach to Framework API Evolution MOFAE Multi-objective Optimization Approach to Framework API Evolution Wei Wu 1,2, Yann-Gaël Guéhéneuc 1, Giuliano Antoniol 2 Ptidej Team 1, SOCCER Lab 2 DGIGL, École Polytechnique de Montréal, Canada

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

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

Programmation par contraintes pour les technologies logicielles

Programmation par contraintes pour les technologies logicielles Colloque GEMSTIC 03 Programmation par contraintes pour les technologies logicielles Narendra Jussien École des Mines de Nantes 4, rue Alfred Kastler BP 20722 F-44307 Nantes Cedex 3 email: jussien@emn.fr

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

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

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

IFT2251 Introduction au génie logiciel Hiver 2006 (4 crédits) Prof. : Julie Vachon. Plan de cours

IFT2251 Introduction au génie logiciel Hiver 2006 (4 crédits) Prof. : Julie Vachon. Plan de cours IFT2251 Introduction au génie logiciel Hiver 2006 (4 crédits) Prof. : Julie Vachon ** Début des cours : le lundi 9 janvier 2006 ** Plan de cours 1. Introduction Les exigences et les attentes à l égard

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

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

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

INF 721 Mesures et indicateurs du génie logiciel Trimestre Été 2015 Professeur. Évariste Valéry BÉVO WANDJI

INF 721 Mesures et indicateurs du génie logiciel Trimestre Été 2015 Professeur. Évariste Valéry BÉVO WANDJI UNIVERSITÉ DE SHERBROOKE FACULTÉ DES SCIENCES CENTRE DE FORMATION EN TECHNOLOGIES DE L INFORMATION PLAN DE COURS Cours INF 721 Mesures et indicateurs du génie logiciel Trimestre Été 2015 Professeur Évariste

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 (Cours inspiré du cours du Pr. François

Plus en détail

Détection des préoccupations transversales au niveau architectural

Détection des préoccupations transversales au niveau architectural Détection des préoccupations transversales au niveau architectural Fairouz DAHI, Nora BOUNOUR Laboratoire LRI, Département d'informatique, Université Badji-Mokhtar BP. 12, 23000, Annaba, ALGÉRIE fairouz_dahi@yahoo.fr,

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

Vers l intégration automatique d une politique de sécurité Or-BAC

Vers l intégration automatique d une politique de sécurité Or-BAC 315 Prépublication n 48 Fascicule n 2 Vers l intégration automatique d une politique de sécurité Or-BAC Yliès Falcone, Mohamad Jaber Vérimag & Laboratoire d Informatique de Grenoble Ylies.Falcone@imag.fr,

Plus en détail

Les langages informatiques modernes orientés objet permettent la réutilisation Importance de la clarté de la documentation

Les langages informatiques modernes orientés objet permettent la réutilisation Importance de la clarté de la documentation Clues from other disciplines (from E. Gamma) Patrons de conception («Design Patterns») ESIR2, GL (LSI) Benoit Combemale Université de Rennes 1, ESIR & IRISA (Triskell team) Benoit.Combemale@irisa.fr Inspiré

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

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 2007-2008 ULB 1 1 Génie Logiciel et Gestion de Projets Organisation 2 2 Ragnhild Van Der Straeten VUB, 4K209 Campus Etterbeek rvdstrae@vub.ac.be

Plus en détail

PatternsBox Ptidej, intégration de deux outils de conception et de rétro-conception à Eclipse

PatternsBox Ptidej, intégration de deux outils de conception et de rétro-conception à Eclipse This paper has been accepted to the GDR-ALP OCM day (In French) Ce papier a été accepté pour la journée du GDR-ALP OCM PatternsBox Ptidej, intégration de deux outils de conception et de rétro-conception

Plus en détail

Journées autour des publications, LISyC, 2009. Les chercheurs et les publications

Journées autour des publications, LISyC, 2009. Les chercheurs et les publications Journées autour des publications, LISyC, 2009 Publier au Quoi? Comment? Ou? jean-philippe.babau@univ-brest.fr LISyC, UBO, UEB www.lisyc.univ-brest.fr/pages_perso/babau/ Les chercheurs et les publications

Plus en détail

Modélisation des Interfaces Multidisciplinaires pour la Conception de Systèmes Mécatroniques

Modélisation des Interfaces Multidisciplinaires pour la Conception de Systèmes Mécatroniques 20 èmes journées STP du GdR MACS Jeudi 5 et Vendredi 6 février 2015 Modélisation des Interfaces Multidisciplinaires pour la Conception de Systèmes Mécatroniques Chen Zheng, Julien Le Duigou, Matthieu Bricogne,

Plus en détail

Un méta-modèle pour coupler application et détection des design patterns

Un méta-modèle pour coupler application et détection des design patterns Un méta-modèle pour coupler application et détection des design patterns Hervé Albin-Amiot Pierre Cointe Yann-Gaël Guéhéneuc {albin, cointe, guehene}@emn.fr Soft-Maint S.A., France École des Mines de Nantes,

Plus en détail

Séminaire. de Cédric Graf Prof. Rolf Ingold Dr. Denis Lalanne Document, Image and Voice Analysis (DIVA) University of Fribourg

Séminaire. de Cédric Graf Prof. Rolf Ingold Dr. Denis Lalanne Document, Image and Voice Analysis (DIVA) University of Fribourg Séminaire de Cédric Graf Prof. Rolf Ingold Dr. Denis Lalanne Document, Image and Voice Analysis (DIVA) University of Fribourg 1 Y. Azoz, L. Devi, and R. Sharma. Reliable of human arm dynamics by multiple

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

Groupe de travail COSMAL 27 janvier 2009

Groupe de travail COSMAL 27 janvier 2009 Des modèles aux programmes à base de composants Besoin de langages à composants Luc Fabresse École des mines de Douai Unité de Recherche Informatique et Automatique http://vst.ensm-douai.fr/research/ Groupe

Plus en détail

The Current State and Future of Search Based Software Engineering

The Current State and Future of Search Based Software Engineering The Current State and Future of Search Based Software Engineering Mark Harman 1 IEEE International Conference on Software Engineering FoSE 07: Future of Software Engineering 1 King's College, LONDON, UK

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

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

Le Web 2.0 dans l entreprise

Le Web 2.0 dans l entreprise 1 sur 6 02/02/2011 23:33 Le Web 2.0 dans l entreprise May 30th, 2010 Les dernières années ont vu un développement croissant des outils du web 2.0 tels que le blogging, microblogging, réseaux sociaux, Ces

Plus en détail

Programmation avancée en java IFT-21133 Syllabus

Programmation avancée en java IFT-21133 Syllabus Programmation avancée en java IFT-21133 Syllabus http://www.ift.ulaval.ca/ marchand/ift21133 Professeur : Pierre MARCHAND tél : 656-2131 poste 7409 fax : 656-2324 courriel : marchand@ift.ulaval.ca Chargé

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

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

Design Patterns. Pourquoi utiliser des patterns? Pourquoi utiliser des patterns? Les patterns vue de loin. D où viennent les design patterns?

Design Patterns. Pourquoi utiliser des patterns? Pourquoi utiliser des patterns? Les patterns vue de loin. D où viennent les design patterns? Noël NOVELLI ; Université de la Méditerranée ; LIF et Département d Informatique Case 901 ; 163 avenue de Luminy 13 288 MARSEILLE cedex 9 Design Patterns D où viennent les design patterns? D où viennent

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

Gestion de la configuration et contrôle du code source

Gestion de la configuration et contrôle du code source MGL7460 Automne 2015 Gestion de la configuration et contrôle du code source Guy Tremblay Professeur Département d informatique UQAM http://www.labunix.uqam.ca/~tremblay 10 septembre 2015 Parmi les premières

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

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

Activité Intitulé de l'activité Volume horaire

Activité Intitulé de l'activité Volume horaire Informations de l'unité d'enseignement Implantation Cursus de Intitulé Code Institut Paul Lambin Bachelier en informatique de gestion Programmation Java : Questions Spéciales I3010 Cycle 1 Bloc 3 Quadrimestre

Plus en détail

Génie Logiciel. Reda Bendraou reda.bendraou{{@}}lip6.fr http://pagesperso-systeme.lip6.fr/reda.bendraou/

Génie Logiciel. Reda Bendraou reda.bendraou{{@}}lip6.fr http://pagesperso-systeme.lip6.fr/reda.bendraou/ Génie Logiciel Reda Bendraou reda.bendraou{{@}}lip6.fr http://pagesperso-systeme.lip6.fr/reda.bendraou/ Le contenu de ce support de cours a été influencé par les lectures citées à la fin de ce support.

Plus en détail

Génie logiciel avec UML. Notions sur le langage UML adapté pour les cours du programme Techniques de l informatique

Génie logiciel avec UML. Notions sur le langage UML adapté pour les cours du programme Techniques de l informatique Génie logiciel avec UML Notions sur le langage UML adapté pour les cours du programme Techniques de l informatique Claude Boutet Session hiver 2008 Modélisation de systèmes Table des matières TABLE DES

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

Université Montpellier-II UFR des Sciences - Département Informatique Master Informatique - UE GMIN30F. Réutilisation et Composants.

Université Montpellier-II UFR des Sciences - Département Informatique Master Informatique - UE GMIN30F. Réutilisation et Composants. Université Montpellier-II UFR des Sciences - Département Informatique Master Informatique - UE GMIN30F Réutilisation et Composants. Introduction Notes de cours - 2002-2014 Christophe Dony 1 Contenu du

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

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

IFT3903 Qualité du logiciel et métriques

IFT3903 Qualité du logiciel et métriques IFT3903 Qualité du logiciel et métriques Yann-Gaël Guéhéneuc Hiver 2006 Chapitre 2 Développement logiciel (Tiré du cours de Houari Sahraoui) GEODES Ptidej Team OO Programs Quality Evaluation and Enhancement

Plus en détail

PLAN DE COURS. Automne 2014 MGL835 : Interaction humain machine (3 crédits)

PLAN DE COURS. Automne 2014 MGL835 : Interaction humain machine (3 crédits) École de technologie supérieure Département de génie logiciel et des TI Responsable(s) de cours : Michael John McGuffin PLAN DE COURS Automne 2014 MGL835 : Interaction humain machine (3 crédits) Préalables

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

MI3/GL Cours de Génie Logiciel Programmation Orientée Objet (Avancée)

MI3/GL Cours de Génie Logiciel Programmation Orientée Objet (Avancée) Aperçu du cours Avant propos Définitions MI3/GL Cours de Génie Logiciel Programmation Orientée Objet (Avancée) Daniel Le Berre CRIL-CNRS FRE 2499, Université d Artois, Lens, FRANCE {leberre}@cril.univ-artois.fr

Plus en détail

Rappels. Génie logiciel. Broker. Problem: service location. Patterns. Philippe Dugerdil. Layer Batch sequential Publish subscribe MVC Proxy.

Rappels. Génie logiciel. Broker. Problem: service location. Patterns. Philippe Dugerdil. Layer Batch sequential Publish subscribe MVC Proxy. Rappels Génie logiciel Philippe Dugerdil 24..20 Patterns Layer Batch sequential Publish subscribe MVC Proxy Problem: service location Broker network Broker Implemented tactics Modifiability tactics Use

Plus en détail

Software Design (Guide to the SWEBOK)

Software Design (Guide to the SWEBOK) Software Design (Guide to the SWEBOK) Slide 1 Guy Tremblay Dépt. d informatique UQAM MIG8500 Hiver 2002 Aperçu 1. Qu est-ce que le Software Design? 2. Comme le SD Knowledge Area du guide est-il organisé?

Plus en détail

Un méta-modèle pour coupler application et détection des design patterns

Un méta-modèle pour coupler application et détection des design patterns This paper has been accepted at LMO 2002 (In French ). Ce papier a été accepté à LMO 2002. Un méta-modèle pour coupler application et détection des design patterns Hervé Albin-Amiot* Pierre Cointe Yann-Gaël

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

Generic Morpher: un design pattern adaptatif

Generic Morpher: un design pattern adaptatif Generic Morpher: un design pattern adaptatif David Lesage Séminaire du LRDE, 19 Septembre 2002 Table des matières Table des matières Contexte... 3 Problématique... 6 Rappel : Design

Plus en détail

Domaines Réutilisables Dirigés par les Modèles

Domaines Réutilisables Dirigés par les Modèles Publié à IDM05, Paris, les 30 Juin et 1 er Juillet 2005. Domaines Réutilisables Dirigés par les Modèles Anca Daniela Ionita, Jacky Estublier, German Vega LSR-IMAG, Grenoble, France Résumé Pour faciliter

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

Cas d étude appliqué à l ingénierie logicielle

Cas d étude appliqué à l ingénierie logicielle ypbl : une méthodologie pédagogique pour la professionnalisation d une formation Cas d étude appliqué à l ingénierie logicielle Ernesto Exposito 1,2, Anne Hernandez 2 1 CNRS ; LAAS ; 7 av. du Colonel Roche,

Plus en détail

Laboratoire de mathématiques financières ACT 3282

Laboratoire de mathématiques financières ACT 3282 Automne 2015 Département des mathématiques et statistiques Université de Montréal Laboratoire de mathématiques financières ACT 3282 1. Renseignements généraux: Horaire: Mardi 18h30-19h30 et Vendredi 11h30-13h30

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

les Design Patterns 11/02/2013 labsticc.univ-brest.fr/pages_perso/babau/ Département Informatique, UFR Sciences, UBO Laboratoire Lab-STICC

les Design Patterns 11/02/2013 labsticc.univ-brest.fr/pages_perso/babau/ Département Informatique, UFR Sciences, UBO Laboratoire Lab-STICC labsticc.univ-brest.fr/pages_perso/babau/ les Design Patterns Jean-Philippe Babau Département Informatique, UFR Sciences, Laboratoire Lab-STICC 2 1 Plan Introduction aux Design patterns Quelques Design

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

Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming

Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming THÈSE N O 5007 (2011) PRÉSENTÉE le 20 mai 2011 À LA FACULTÉ INFORMATIQUE ET COMMUNICATIONS LABORATOIRE DE MÉTHODES DE PROGRAMMATION

Plus en détail

Démystifier la mise en œuvre de la programmation orientée objet sous LabVIEW

Démystifier la mise en œuvre de la programmation orientée objet sous LabVIEW Démystifier la mise en œuvre de la programmation orientée objet sous LabVIEW Mathilde VINCENT - Olivier JOURDAN Paris - le 7/2/2012 france.ni.com Qui sommes-nous? Une PME du Grésivaudan Créée en 1989!

Plus en détail

Analyse statique de SCADE par interprétation abstraite

Analyse statique de SCADE par interprétation abstraite Analyse statique de SCADE par interprétation abstraite soutenance de stage Alex AUVOLAT ANSYS-Esterel Technologies sous l encadrement de Jean-Louis Colaço Juin-Juillet 2014 1/33 Introduction SCADE : programmation

Plus en détail

SimSE. A Software Engineering Simulation Environment

SimSE. A Software Engineering Simulation Environment 1 SimSE A Software Engineering Simulation Environment Salma Douiri-Kharraki 2 Sommaire La simulation Définitions Les lacunes dans l enseignement des modèles Rôle de la simulation SimSE C est quoi? Caractéristiques

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

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

Testing : A Roadmap. Mary Jean Harrold. Présentation de Olivier Tissot

Testing : A Roadmap. Mary Jean Harrold. Présentation de Olivier Tissot Testing : A Roadmap Mary Jean Harrold Présentation de Olivier Tissot Testing : A Roadmap I. L auteur II. Introduction sur les test : les enjeux, la problématique III. Les tests : roadmap IV. Conclusion

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

Université de Montréal. Analyse du comportement des programmes à l aide des matrices d adjacence. par Samah Rached

Université de Montréal. Analyse du comportement des programmes à l aide des matrices d adjacence. par Samah Rached Université de Montréal Analyse du comportement des programmes à l aide des matrices d adjacence par Samah Rached Département d informatique et de recherche opérationnelle Faculté des arts et des sciences

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

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

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

OPENSTREETMAP COMME SUJET DE

OPENSTREETMAP COMME SUJET DE OPENSTREETMAP COMME SUJET DE RECHERCHE À L'IGN ET AILLEURS Guillaume Touya COGIT IGN France Journée technique : Cartographie libre et citoyenne PLAN DE LA PRÉSENTATION La qualité des données OSM Etude

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

JavaScript Design Pattern. DIALLO Hady, BAH Alhassane, DIALLO Amadou, NGALEU Harold Fred

JavaScript Design Pattern. DIALLO Hady, BAH Alhassane, DIALLO Amadou, NGALEU Harold Fred JavaScript Design Pattern DIALLO Hady, BAH Alhassane, DIALLO Amadou, NGALEU Harold Fred Patterns & Catégories Moyen d accomplir un objectif Offre une solution à un problème Fondamentalement destiné à être

Plus en détail

Parcours Aigle, LMD4 Architecture et Ingénierie du logiciel et du web

Parcours Aigle, LMD4 Architecture et Ingénierie du logiciel et du web Parcours Aigle, LMD4 Architecture et Ingénierie du logiciel et du web Clémentine Nebut, Pierre Pompidor 9 avril 2015 Cette formation vise à former des cadres en informatique dans le domaine du développement

Plus en détail

CURRICULUM VITAE. Courriel : jaafar@ubitrak.com Page Web : research.cs.queensu.ca/~jaafar

CURRICULUM VITAE. Courriel : jaafar@ubitrak.com Page Web : research.cs.queensu.ca/~jaafar CURRICULUM VITAE Nom : Jaafar Prénom : Fehmi Courriel : jaafar@ubitrak.com Page Web : research.cs.queensu.ca/~jaafar Languages Parlées et écrites : Français, Anglais, Arabe Statut : Résident permanent

Plus en détail

Evaluation d un outil de planification de la préservation

Evaluation d un outil de planification de la préservation Evaluation d un outil de planification de la préservation Etudes et tests sur PLATO de Planets INTRODUCTION A PLATO-Preservation planning tool Outil pour la planification de la préservation (module OAIS)

Plus en détail

Langage dédié pour le pilotage de solveurs de contraintes

Langage dédié pour le pilotage de solveurs de contraintes LABORATOIRE D INFORMATIQUE DE NANTES-ATLANTIQUE UMR 6241 ÉCOLE DOCTORALE STIM, N. 503 «Sciences et technologies de l information et des mathématiques» Sujet de thèse pour 2010 Langage dédié pour le pilotage

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

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

Administration de composants logiciels : application aux systèmes sans fil

Administration de composants logiciels : application aux systèmes sans fil Administration de composants logiciels : application aux systèmes sans fil Fabien Romeo LIUPPA Université de Pau et des Pays de l Adour F-64000 Pau, France +33 5 59 40 76 52 fabien.romeo@univ-pau.fr RESUME

Plus en détail

Un Modèle de transformation des patrons de conception de l Orienté Objet vers l Orienté Aspect

Un Modèle de transformation des patrons de conception de l Orienté Objet vers l Orienté Aspect Un Modèle de transformation des patrons de conception de l Orienté Objet vers l Orienté Aspect Mohamed Lamine Berkane 1, Mahmoud Boufaida 2 Laboratoire LIRE, Université Mentouri de Constantine. 1 bmlamine3@yahoo.fr,

Plus en détail

Restructuration de composants logiciels

Restructuration de composants logiciels Restructuration de composants logiciels Une approche d adaptation structurelle pour les composants logiciels basée sur la refactorisation de code orientéobjet Gautier Bastide *,** * Ecole des Mines de

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

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

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

Plus en détail

Le développement des logiciels - les défis

Le développement des logiciels - les défis Le triangle de la qualité des logiciels: le personnel, le processus et le produit Claude Y Laporte Professeur Département de génie électrique Le développement des logiciels - les défis 2 1 Le triangle

Plus en détail

Évaluer les qualités d un système d information (SI); Contribuer au développement et à la maintenance d un SI;

Évaluer les qualités d un système d information (SI); Contribuer au développement et à la maintenance d un SI; Faculté des sciences Centre de formation en technologies de l information Cours : INF 755 Méthodes d analyse et conception Trimestre : Hiver 2016 Enseignant : Alain Cardinal 1. Mise en contexte L industrie,

Plus en détail

3D visualization techniques to support slicing-based. program comprehension. Présentation dans le cadre du cours ift6251 Guillaume Langelier

3D visualization techniques to support slicing-based. program comprehension. Présentation dans le cadre du cours ift6251 Guillaume Langelier 3D visualization techniques to support slicing-based program comprehension Par : J. Rilling et S.P. Mudur Présentation dans le cadre du cours ift6251 Guillaume Langelier 1 Préambule Visualisation en génie

Plus en détail

Méthode de Test. Pour WIKIROUTE. Rapport concernant les méthodes de tests à mettre en place pour assurer la fiabilité de notre projet annuel.

Méthode de Test. Pour WIKIROUTE. Rapport concernant les méthodes de tests à mettre en place pour assurer la fiabilité de notre projet annuel. Méthode de Test Pour WIKIROUTE Rapport concernant les méthodes de tests à mettre en place pour assurer la fiabilité de notre projet annuel. [Tapez le nom de l'auteur] 10/06/2009 Sommaire I. Introduction...

Plus en détail

Détection d anomalies utilisant un langage de description de règle de qualité

Détection d anomalies utilisant un langage de description de règle de qualité Détection d anomalies utilisant un langage de description de règle de qualité El Hachemi Alikacem* Houari A. Sahraoui** * CRIM : Centre de recherche informatique de Montréal 550, rue Sherbrooke Ouest,

Plus en détail

Refactoring. des applications Java/J2EE. Jean-Philippe Retaillé. Olivier Salvatori Thierry Templier Michel Hue. avec la contribution de

Refactoring. des applications Java/J2EE. Jean-Philippe Retaillé. Olivier Salvatori Thierry Templier Michel Hue. avec la contribution de Refactoring des applications Java/J2EE Jean-Philippe Retaillé avec la contribution de Olivier Salvatori Thierry Templier Michel Hue Groupe Eyrolles, 2005 ISBN : 2-212-11577-6 Table des matières Remerciements..............................................

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