Séminaires MaREL 2016

Prochains séminaires

Précédents séminaires

  •  Philippe Reitz, «Enseigner les systèmes cyber-physiques à l'UM ?»
    LIRMM, MaREL
    vendredi 19 février 2016 à 14h00/ LIRMM Bât 4 salle E 3.23

    Après avoir rappelé les principaux concepts des systèmes cyber-physiques (automates hybrides) et leurs enjeux, nous tentons d'analyser les conditions dans lesquelles ce thème scientifique et technique pourrait être enseigné dans les formations d'informatique de l'université de Montpellier ; parmi les points abordés :
    - quels thèmes étudier, avec quels publics et quels niveaux de formation
    - quels objectifs pour nos étudiants
    - dispose-t-on des compétences pour assurer les enseignements
    - quels intérêts pour nos disciplines de recherche

  • David Delahaye, «Tout ce que vous avez toujours voulu savoir sur les sémantiques formelles (sans jamais oser le demander)»
    LIRMM, MaREL
    vendredi 12 février 2016 à 14h00/ LIRMM Bât 4 salle E 3.23

    Dans cet exposé, nous discuterons des sémantiques formelles pour les langages de programmation. En particulier, nous nous intéresserons aux sémantiques opérationnelles, plus proches de l'implantation, et nous introduirons notamment, pour l'exemple, un petit langage dont nous donnerons la sémantique opérationnelle naturelle (dite "à grands pas"). Enfin, nous évoquerons la mécanisation de la formalisation de ces sémantiques en utilisant l'outil d'aide à la preuve Coq, qui nous permettra non seulement de raisonner sur ces sémantiques, mais aussi d'en extraire des interprètes certifiés.

  • Anne-Lise Courbis, Thomas Lambolais, Thanh-Liem Phan, Hong-Viet Luong,
    «Incremental development of UML models»
    vendredi 05 février 2016 à 14h00 , LIRMM Bât 4 salle E 3.23

    Modelling component behaviour and system architectures of software intensive systems is widely recognised as a complex task during the specification and design phases, especially for critical and reactive systems. In order to tackle these issues, we propose an incremental development framework which helps designers to identify and to verify model development states and development steps. Development states are model observation points, while development steps define the type of development applied between two states which can be of two types: enrichment or refinement. A set of verification techniques is associated to the development of models in order to guarantee that the current model conforms to the model obtained during the previous step. Conformance relations are based on the analysis of liveness properties. They have been implemented in a tool named IDCM. The incremental development and verification of UML models is formalised by a UML profile (FINE) and is supported by a tool.

  • Zakarea M Al-Shara, LIRMM, MaREL
     «Migrating Large Object-oriented Applications into Component-based ones: Instantiation and Inheritance Transformation»
    vendredi 29 janvier 2016 à 14h00 , LIRMM-Bât 4-E 3.23

    Large object-oriented applications have complex and numerous dependencies, and usually do not have explicit architectures. Therefore they are hard to maintain, and parts of them are difficult to reuse. Component-based development paradigm emerged for improving these aspects and for supporting effective maintainability and reuse. It provides better understandability through a high-level architecture view. Thereby migrating object-oriented applications to component-based ones will contribute to improve these characteristics. In this paper, we propose an approach to automatically transform object-oriented applications to component-based ones. More particularly, the input of the approach is the result provided by software architecture recovery: a component-based architecture description. Then, our approach transforms the object-oriented source code in order to produce deployable components. We focus in this paper on the transformation of source code related to instantiation and inheritance dependencies between classes that are in different components. We experimented the proposed solution in the transformation of a collection of Java applications into the OSGi framework. The experimental results are discussed in this paper.

    More information about this paper can be found at:
    GPCE 2015

  • Benoit Rognier, dirigeant de la société edukera
    «edukera : une nouvelle façon de faire des maths»
    vendredi 15 janvier 2016 à 14h00 , LIRMM Bât 4 salle E 3.23

    edukera est une application en ligne permettant de résoudre des exercices de mathématiques. Sa réalisation a nécessité la mise en place d'une interface web ergonomique d'élaboration de raisonnements, ainsi que l'intégration du moteur de logique formelle COQ.
    La présentation abordera plusieurs aspects du sujet :
    démonstration de l'application
    architecture technique de l'application
    considérations pédagogiques (retours d'expérience en universités)

Dernière mise à jour le 07/09/2016