MAREL: Models And Reuse Engineering, Languages

Les travaux de MaREL s'insèrent dans le cadre du Génie Logiciel et s'intéressent à l'automatisation des étapes du cycle de vie du logiciel, de la conception à la maintenance en passant par la compilation et l'optimisation du code. Ces études couvrent la totalité de la démarche, de l'étude théorique aux expérimentations en vraie grandeur, en passant par le développement d'algorithmes et de programmes.

Membres

Permanents

Non permanents

Thématiques de recherche

L'activité de l'équipe se concentre sur trois axes :

  • l'ingénierie des modèles (IDM), par la conception d'une approche formelle originale (Analyse Relationnelle de Concepts, ARC), son expérimentation sur des données réelles de grande taille, et comme base pour l'apprentissage de transformations de modèles ;
  • l'ingénierie de la réutilisation et de la variabilité, par l'extraction de composants ou de lignes de produits à partir de systèmes OO existants en se basant sur des métriques adaptées et des algorithmes d'optimisation combinatoire ;
  • la sémantique et l'implémentation des langages de programmation, à objets ou à composants, pour concevoir un langage "pur composant", comme Smalltalk est "pur objet", ou pour expérimenter des techniques d'implémentation des langages à objets.

Ces trois axes sont à la fois bien identifiés et étroitement associés. Les notions d'objet ou de modèle constituent un socle commun, et les composants sont étudiés à la fois du point de vue des langages de programmation, des modèles et de leur extraction à partir du code. L'ARC est un objet d'étude, aussi bien qu'une base formelle pour le développement d'outils.

Collaborations externes

  • Partenaires industriels :
    • Acelys  (2013 à ce jour) : Méthodologies de développement du logiciel (ingénierie des modèles et variabilité)
    • Berger-Levrault (2013 à ce jour) : Accessibilité aux pages Web pour personnes malvoyantes et Analyse de traces logicielles
    • Cortus (2009 à ce jour) : Compilation efficace pour processeurs embarqués low-end
    • Pradeo (2013 à ce jour) : Analyse statique pour la sécurité des applications mobiles
  • Partenaires académiques :
    • Université de Montréal, co-encadrement avec Houari Sahraoui de deux thèses liées aux thèmes de l’IDM et de la réutilisation.
    • Ecoles des Mines d'Alès et de Douai : co-encadrement de thèses dans le domaine des composants logiciels, de l’IDM, avec application à la domotique.
    • LORIA, Nancy et LATECE, UQAM, classification de services web et projet PICS (ARC et ontologies).
    • RMOD, INRIA Lille (et équipe MAORE), projet ANR Cutter (remodularisation de logiciels).

Publications majeures récentes

  • Chouki Tibermacine, Salah Sadou, Tu Minh Ton That, Christophe Dony.
    Software Architecture Constraint Reuse-by-Composition.
    Future Generation Computer Systems, Elsevier, 2016
  • Pattaraporn Warintarawej, Anne Laurent, Marianne Huchard, Mathieu Lafourcade, Pierre Pompidor
    Software understanding: Automatic classification of software identifiers
    Intelligent Data Analysis (IDA Journal) 19(4) 2015
  • Anas Shatnawi, Abdelhak Seriai, Houari A. Sahraoui, Zakarea Al-Shara.
    Mining Software Components from Object-Oriented APIs. In Proceedings of the 14th International Conference on Software Reuse (ICSR'15), Miami, FL, USA, January 4-6, 2015, pp. 330-347
  • Hamzeh Eyal-Salman, Abdelhak Seriai and Christophe Dony.    
    Feature-Level Change Impact Analysis Using Formal Concept Analysis. In International Journal of Software Engineering and Knowledge Engineering 2015.
  • Petr Spacek, Christophe Dony and Chouki Tibermacine.
    A Component-based meta-level architecture and prototypical implementation of a reflective Component-oriented Programming and Modeling language. In proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE'14), Lille, France, June-July 2014. ACM Press.
  • Okba Tibermacine, Chouki Tibermacine and Foudil Cherif.
    A Process to Identify Relevant Substitutes for Healing Failed WS-* Orchestrations. In the Journal of Systems and Software, volume 104, Pages 1-16, June 2015. Elsevier.
  • Mohamed Rouane-Hacene, Marianne Huchard, Amedeo Napoli, Petko Valtchev
     Relational Concept Analysis: Mining Concept Lattices From Multi-Relational Data. Annals of Mathematics and Artificial Intelligence, 67(1): 81-108 (2013)
  • Hajer Saada, Marianne Huchard, Clémentine Nebut, Houari A. Sahraoui
    Recovering model transformation traces using multi-objective optimization.  In proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE'13), Silicon Valley, CA, USA, November 11-15, 2013, pp. 688-693
  • R. Ducournau
    Implementing statically typed object-oriented programming languages. ACM Comput. Surv. 43(3): 18 (2011).
  • R. Ducournau, F. Morandat
    Perfect class hashing and numbering for object-oriented implementation. Software Practice & Experience, 41(6) 661-694, John Wiley & Sons, 2011 doi: 10.1002/spe.1024.

Séminaires

Les séminaires ont lieu au LIRMM, Bâtiment 4, salle E 3.23

Sauf les jeudis 7 et 14 avril, où ils ont lieu au LIRMM, Bâtiment 4, salle E 2.23

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

  • 19 mars : David Delahaye, CNAM.Sémantique formelle du langage à composants COMPO (travail en commun avec C. Dony et C. Tibermacine)
    Dans cet exposé, nous présenterons nos premiers pas dans l'élaboration d'une sémantique opérationnelle (à grands pas) du langage à composants COMPO. Actuellement, cette sémantique modélise les descripteurs, les composants, les ports, les connexions, ainsi que l'invocation de service via un port requis. Nous présenterons également un certain nombre de questions qui se sont posées à nous lors de la conception de cette sémantique. En particulier, nous parlerons du passage de paramètres (des services), ainsi que de la modélisation de la couche réflexive du langage (qui permet d'exprimer les contraintes d'architecture), et qui nous apparaissent comme des défis significatifs au-delà du langage COMPO lui-même. Enfin, nous évoquerons la mécanisation de cette sémantique en utilisant le l'outil d'aide à la preuve Coq, qui nous permettra non seulement de raisonner sur cette sémantique, mais aussi d'en extraire un interprète certifié.
  • 26 mars, 11h : Gwen Salaün, INP Grenoble. Reliable Deployment, Reconfiguration, and Control of Cloud Applications
    Résumé : Cloud applications consist of a set of interconnected software components distributed over several virtual machines. Setting up, (re)configuring, and monitoring these applications are difficult tasks, and involve complex management protocols. In this talk, I will first present two protocols for deploying and dynamically reconfiguring cloud applications, respectively. I will also present synthesis techniques for generating controllers in charge of coordinating autonomic managers and cloud applications. These approaches have been devised with the support of formal techniques and tools.
  • 9 avril : Stéphane Ducasse. Titre et résumé à venir.
  • 23 avril : Karell Bertet (Laboratoire L3i, Université de La Rochelle ). Structure de Treillis: Panorama des aspects structurels et algorithmiques. Quelques usages en fouille de données et représentation des connaissances.
    Le premier ouvrage de référence de la théorie des treillis est la première édition du livre de Birkhoff en 1940. Cependant, la notion de treillis a été introduite dès la fin du 19ème siècle comme une structure algébrique munie de deux opérateurs appelés borne inférieure et borne supérieure. Depuis les années 2000, l'émergence de l'analyse de concepts formels (FCA) dans divers domaines de l'informatique, que ce soit en extraction et représentation des connaissances a mis en avant les structures de treillis des concepts et de treillis de fermés. L'émergence de cette structure de treillis s'explique à la fois par la part grandissante de l'informatique dans la plupart des champs disciplinaires, ce qui conduit à la production de données en quantité de plus en plus importante ; mais également par la montée en puissance des ordinateurs qui, bien que la taille du treillis puisse être exponentielle en fonction des données dans le pire des cas, rend possible le développement d'un grand nombre d'applications le concernant.
    La taille du treillis reste cependant raisonnable en pratique, et la nécessité d'algorithmes efficaces pour manipuler ces structures est un défi majeur. Dans un cadre applicatif, une exploitation efficace du jeu algorithmique existant pour manipuler ces structures nécessite cependant une bonne connaissance du formalisme et des propriétés structurelles de la théorie des treillis afin d'identifier les outils algorithmiques adaptés pour un problème donné.
    Ce séminaire a pour objectif de présenter un panorama des concepts de base de la théorie des treillis, ainsi que les principaux algorithmes de génération des objets qui la composent. Quelques exemples d'utilisation en classification et représentation des connaissances seront également présentés. 
  • Jeudi 04 juin 2015, 10H, salle E324, bât 4. Mountaz Hascoet (LIRMM) : Modélisation pour la programmation des IHM, de la théorie à la pratique et inversement.
    Un certain nombre de programmes permettent des interactions simples et/ou fluides comme on aimerait en voir plus souvent. Par ailleurs, un certain nombre de modèles et paradigmes existent dans le but de réaliser la programmation des interactions et ces modèles et paradigmes font l'objet de nombreuses discussions. Il reste néanmoins encore de nombreux décalages entre les deux mondes et à de nombreux égards la programmation d'interactions simples et fluides relève encore plus souvent plus de la haute voltige que de modèles discutés, recommandés et publiés. Dans cet exposé, je présenterai un ou deux cas d'étude en commençant par présenter les modèles publiés, ainsi que quelques exemples de programmes associés.
    Suggestions de (re)lecture:
    [1] Glenn E. Krasner and Stephen T. Pope. 1988. A cookbook for using the model-view controller user interface paradigm in Smalltalk-80. J. Object Oriented Program. 1, 3 (August 1988), 26-49.
    [2] Ed H. Chi. 2002. Expressiveness of the data flow and data state models in visualization systems. In Proceedings of the Working Conference on Advanced Visual Interfaces (AVI '02), Maria De Marsico, Stefano Levialdi, and Emanuele Panizzi (Eds.). ACM, New York, NY, USA, 375-378. http://www2.parc.com/istl/projects/uir/publications/items/UIR-2002-09-Chi-AVI-DataFlowState.pdf
    [3] Robert J. K. Jacob, Leonidas Deligiannidis, and Stephen Morrison. 1999. A software model and specification language for non-WIMP user interfaces. ACM Trans. Comput.-Hum. Interact. 6, 1 (March 1999), 1-46.
  • jeudi 25 juin 2015 à 10h00 , LIRMM - BAT4 - E3.24, Anas Shatnawi (LIRMM)
    «Support à la réutilisation par la rétro-ingénierie des architectures et des composants logiciels à partir du code source orienté objet des variantes de produits logiciels et d'APIs»
    La réutilisation est reconnue comme une démarche intéressante pour améliorer la qualité des produits et la productivité des projets logiciels. L'ingénierie des logiciels à base de composants (CBSE en anglais) et l'ingénierie des lignes de produits logiciels (SPLE en anglais) sont considérées parmi les approches les plus importantes permettant de faciliter et de soutenir la réutilisation systématique. L'ingénierie à base de composants permet de construire de nouveaux systèmes logiciels par composition de briques pré-construites appelées composants. L'ingénierie des lignes de produits logiciels permet de dériver (construire) de nouveaux produits par simple sélection de leurs caractéristiques (feature en anglais). Cette dérivation est rendue possible grâce à la représentation et à la gestion de la variabilité et de la similarité des produits d'une même famille. Cependant, une des difficultés vers une large adoption de l'ingénierie des logiciels à base de composants et des lignes de produits est le coût à investir pour construire, à partir de rien, les composants et les artefacts de SPL. Ainsi, les travaux de cette thèse se positionnent dans ce contexte et proposent de réduire ce coût par une démarche basée sur la rétro-ingénierie.

    La première contribution de cette thèse consiste à proposer une approche permettant d'identifier, par l'analyse d'un ensemble de variantes de produit logiciel orienté objet, les éléments du code source pouvant constituer l'implémentation de composants. Au contraire des approches existantes d'identification de composants, basées sur l'analyse d'un seul produit, l'originalité de notre approche consiste en l'analyse de plusieurs variantes de produuits en même temps. Notre objectif est l'amélioration de la réutilisabilité des composants extraits. L'évaluation expérimentale menée dans le cadre de cette thèse a montré la pertinence de cette démarche.

    La deuxième contribution consiste en la proposition d'une approche pour l'extraction d'une architecture à base de composants d'un ensemble de variantes de produit logiciel orienté objet. Il s'agit d'identifier la variabilité des composants architecturaux et de la configuration architecturale. L'identification de la configuration architecturale est principalement basée sur l'utilisation de l'analyse formelle de concepts pour identifier les dépendances entre les éléments architecturaux. L'expérimentation conduite pour l'évaluation de l'approche proposée confirme la pertinence des résultats obtenus grâce à cette approche.

    La troisième contribution de cette thèse permet de restructurer les APIs orientées objet en composants. Nous exploitons la spécificité des classes des APIs d'être conçues pour être utilisées par des applications clientes pour identifier ces composants. Le code source de ces APIs et celui de leurs applications clientes est analysé afin d'identifier des groupes de classes qui peuvent constituer l'implémentation de composants à extraire. L'identification de ces groupes de classes est basée sur l'analyse des liens structurels entre ces classes et sur la probabilité que ces classes soient utilisées ensembles par les applications clientes. Nous montrons à travers les résultats expérimentaux que la restructuration des API orientées objet en composants facilite la réutilisation et la compréhension des éléments de ces APIs.

  • Adel Ferdjoukh , MaREL, Dept Info, LIRMM
    «Génération de modèles»
    jeudi 08 octobre 2015 à 10h30 , LIRMM, B4 - E3.24

    The automated generation of models that conform to a given meta-model is an important challenge in Model Driven Engineering, as well for model transformation testing, as for designing and exploring new meta-models. Amongst the main issues, we are mainly concerned by scalability, flexibility and a reasonable computing time. This talk presents an approach for model generation, which relies on Constraint Programming.
    After the translation of a meta-model into a CSP, our software generates models that conform to this meta-model, using a Constraint Solver. Our model also includes the most frequent types of OCL constraints. Since we are concerned by the relevance of the produced models, we describe a first attempt to improve them. We outperform the existing approaches from the mentioned point of view, and propose a configurable, easy-to-use
    and free-access tool, together with an on-line demonstrator.

  • Chouki Tibermacine , LIRMM, MaREL
    «Regression-Based Bootstrapping of Web Service Reputation Measurement»
    vendredi 06 novembre 2015 à 14h30 , BAT4-E3.23

    In the literature, many solutions for measuring the reputation of web services have been proposed. These solutions help in building service recommendation systems. Nonetheless, there are still many challenges that need to be addressed in this context, such as the "cold start" problem, and the lack of estimation of the initial reputation values of newcomer web services. As reputation measurement depends on the previous reputation values, the lack of initial values can subvert the performance of the whole service recommendation system, making it vulnerable to different threats, like the Sybil attack. In this paper, we propose a new bootstrapping mechanism for evaluating the reputation of newcomer web services based on their initial Quality of Service (QoS) attributes, and their similarity with "long-standing" web services. Basically, the technique uses regression models for estimating the unknown reputation values of newcomer services from their known values of QoS attributes. The technique has been experimented on a large set of services, and its performance has been measured using some statistical metrics, such as the coefficient of determination (R2), Mean Absolute Error (MSE), and Percentage Error (PE).

  • Nicolas Fiorini , Ecole des Mines d'Alès LGI2P équipe KID
    «Les similarités sémantiques au cœur d’approches génériques d’indexation et de classification»
    vendredi 06 novembre 2015 à 16h00 , BAT4-E3.23

    Pour exploiter efficacement une masse toujours croissante de documents électroniques, une branche de l'Intelligence Artificielle s'est focalisée sur la création et l'utilisation de systèmes à base de connaissance. Ces approches ont prouvé leur efficacité, notamment en recherche d'information. Cependant elles imposent une indexation sémantique des ressources exploitées, i.e. que soit associé à chaque ressource un ensemble de termes qui caractérise son contenu. Ces termes peuvent être remplacés par des concepts issus d'une ontologie de domaine, on parle alors d'indexation conceptuelle. Ceci permet non seulement de s'affranchir de toute ambiguïté liée au langage naturel, mais également d’exploiter les liens existants entre ces concepts. Le plus souvent cette indexation est réalisée en procédant à l'extraction des concepts du contenu même des documents. On note, dans ce cas, une forte dépendance des méthodes d’indexation au type de document considéré. Pourtant une des forces des approches conceptuelles réside dans leur généricité. En effet, par l'exploitation d'indexation sémantique, ces approches permettent de traiter de la même manière un ensemble d'images, de gènes, de textes ou de personnes, pour peu que ceux-ci aient été correctement indexés. Les travaux de cette thèse proposent des solutions génériques pour indexer sémantiquement des documents ou des clusters de documents.

    Deux axes de recherche sont suivis dans cette thèse. Le premier est celui de l'indexation sémantique. L'approche proposée exploite l’indexation de documents proches en contenu pour annoter un document cible. Grâce à l'utilisation de similarités sémantiques entre les annotations des documents proches et d'une heuristique efficace, notre approche, USI (User-oriented Semantic Indexer), permet d'annoter des documents plus rapidement que les méthodes existantes tout en assurant une qualité d’indexation comparable. Une attention particulière a été portée dans ces travaux à l’interaction homme-machine et une approche interactive prenant en compte l’impact d’une imprécision humaine a également été proposée. Le second axe de cette thèse concerne la classification de documents en fonction de leurs contenus. Là encore, la méthode est indépendante du type des documents considérés puisqu’ils sont regroupés sur la base de leurs annotations sémantiques. Un autre avantage de cette approche est que les groupes formés sont automatiquement annotés sémantiquement par notre algorithme.

    L'ensemble des développements de cette thèse ont fait l’objet d’un soin particulier concernant leur optimisation algorithmique afin de permettre un passage à l’échelle, leur validation sur des benchmarks existants ou construits spécifiquement et leur mise à disposition pour des développeurs (via des librairies java) et des utilisateurs finaux (via des serveurs Web). Nos travaux ont montré que l'utilisation d’ontologies permet d'abstraire plusieurs processus et ainsi de proposer des approches génériques sans dégrader les performances. Cette généricité n'empêche en aucun cas d'être couplée à des approches plus spécifiques, mais constitue en soi une simplicité de mise en place dès lors que l'on dispose de documents annotés sémantiquement.

  • Pierre Halmagrand , CNAM, CEDRIC
    «Preuves certifiées pour la méthode B»
    lundi 09 novembre 2015 à 14h00 , LIRMM, B4 - E3.24

    Le développement de logiciels sûrs avec la méthode B repose entre autre sur la vérification d'un grand nombre de propriétés mathématiques exprimées dans une théorie des ensembles ad hoc. Pour améliorer la vérification automatique de ces propriétés, nous avons étendu le prouveur automatique de théorème Zenon à la déduction modulo, une extension de la logique du premier ordre qui permet de transformer un ensemble d'axiomes en un système de réécriture. De plus, cette extension, appelée Zenon Modulo, permet de générer des certificats de preuve vérifiable par le vérificateur de preuve Dedukti.

  • Guillaume Bury , CNAM, CEDRIC
    «Types and arithmetic in Zenon»
    lundi 09 novembre 2015 à 14h30 , LIRMM, B4 - E3.24

    Program analysis and verification often involve to verify arithmetic constraints involving different types such as integers, rationals and reals. In order to deal with these constraints, we will show an extension of the tableaux rules to handle typed proof search and linear arithmetic (also called Presburger arithmetic) as well as the associated proof search methods. We will then present the results of the implementation of this proof search method in the automated theorem prover Zenon.

  • Abderrahman MOKNI , LGI2P, Ecole des Mines d'Alès
    «A formal approach to automate the evolution management in component-based software development processes»
    vendredi 13 novembre 2015 à 14h30 , BAT4-E3.23

    Gérer l'évolution des logiciels est une tâche complexe mais nécessaire. Tout au long de son cycle de vie, un logiciel doit subir des changements, pour corriger des erreurs, améliorer ses performances et sa qualité, étendre ses fonctionnalités ou s’adapter à son environnement. A défaut d’évoluer, un logiciel se dégrade, devient obsolète ou inadapté et est remplacé. Cependant, sans évaluation de leurs impacts et contrôle de leur réalisation, les changements peuvent être sources d’incohérences et de dysfonctionnements, donc générateurs de dégradations du logiciel. Cette thèse propose une approche améliorant la gestion de l'évolution des logiciels dans les processus de développement orientés composants. Adoptant une démarche d’ingénierie dirigée par les modèles (IDM), cette approche s’appuie sur Dedal, un langage de description d’architecture (ADL) séparant explicitement trois niveaux d’abstraction dans la définition des architectures logicielles. Ces trois niveaux (spécification, configuration et assemblage) correspondent aux trois étapes principales du développement d’une architecture (conception, implémentation, déploiement) et gardent la trace des décisions architecturales prises au fil du développement. Ces informations sont un support efficace à la gestion de l’évolution : elles permettent de déterminer le niveau d’un changement, d’analyser son impact et de planifier sa réalisation afin d’éviter la survenue d’incohérences dans la définition de l’architecture (érosion, dérive, etc.). Une gestion rigoureuse de l’évolution nécessite la formalisation, d’une part, des relations
    intra-niveau liant les composants au sein des modèles correspondant aux différents niveaux de définition d’une architecture et, d’autre part, des relations inter-niveaux liant les modèles décrivant une même architecture aux différents niveaux d’abstraction. Ces relations permettent la définition des propriétés de consistance et de cohérence servant à vérifier la correction d’une architecture. Le processus d’évolution est ainsi décomposé en trois phases : initier le changement de la définition de l’architecture à un niveau d’abstraction donné ; vérifier et rétablir la consistance de cette définition en induisant des changements complémentaires ; vérifier et rétablir la cohérence globale de la définition de l’architecture en propageant éventuellement les changements aux autres niveaux d’abstraction. Ces relations et propriétés sont décrites en B, un langage de modélisation formel basé sur la théorie des ensembles et la logique du premier ordre. Elles s’appliquent à des architectures définies avec un ADL formel écrit en B dont le méta-modèle, aligné avec celui de Dedal, permet d’outiller la transformation de modèles entre les deux langages. Cette intégration permet de proposer un environnement de développement conjuguant les avantages des approches IDM et formelle : la conception d’architectures avec l’outillage de Dedal (modeleur graphique); la vérification des architectures et la gestion de l’évolution avec l’outillage de B (animateur, model-checker, solver). Nous proposons en particulier d’utiliser un solver B pour calculer automatiquement des plans d’évolution conformes à notre proposition et avons ainsi défini l’ensemble des règles d’évolution décrivant les opérations de modification applicables à la définition d’une architecture. Le solver recherche alors automatiquement une séquence de modifications permettant la réalisation d’un changement cible tout en préservant les propriétés de consistance et de cohérence de l’architecture. Nous avons validé la faisabilité de cette gestion de l’évolution par une implémentation mêlant optimisation et génie logiciel (searchbased software engineering), intégrant notre propre solver pourvu d’heuristiques spécifiques qui améliorent significativement les temps de calcul, pour expérimenter trois scénarios d’évolution permettant de tester la réalisation d’un changement à chacun des trois niveaux d’abstraction.

  • Yoann Bonavero, MaREL
    «Une approche basée sur les préférences et les méta-heuristiques pour améliorer l’accessibilité des pages Web pour les personnes déficientes visuelles»
    vendredi 20 novembre 2015 à 15h00 , BAT4-E3.23

    Lorsque la vue, qui est un important moyen de communication, est altérée, alors l'acquisition de l'information s'en trouve modifiée, dégradée ou limitée. A l'ère du monde numérique, le Web regorge d'informations réparties sur différents sites et mises en forme par les développeurs et designers. De nombreuses pathologies visuelles peuvent entraîner des difficultés dans l'accès à ces informations. Au-delà même de ces informations, l'accès aux outils et services est lui aussi limité. Des difficultés dans la perception des couleurs, des taches dans le champ visuel ou un champ visuel réduit sont tout autant de sources de difficultés. Chaque personne a une vision qui lui est propre. Chez les personnes qui ont une basse vision, les pathologies donnent des évolutions spécifiques chez chacune d'entre elles. De plus les méthodes de compensation acquises sont différentes d'une personne à l'autre. Des outils d'assistance existent depuis de nombreuses années et tentent de répondre aux besoins des personnes ayant une basse vision en proposant des adaptations visuelles. Les principales limites de ces outils résident notamment dans le fait qu'il ne sont pas en capacité de prendre en compte les besoins très spécifiques de chaque personne. Ces travaux de recherche se concentrent donc autour de l'analyse des besoins réels des utilisateurs et de l'élaboration d'une nouvelle approche qui se base sur les préférences personnelles de l'utilisateur. L'objectif final est d'automatiser la transformation des pages Web en fonction des préférences propres à un utilisateur pendant qu'il navigue sur le Web. Divers algorithmes ont été utilisés, notamment des algorithmes évolutionnaires, afin de réaliser des compromis entre les préférences de l'utilisateur et l'apparence originale de la page Web. La thèse développe de manière approfondie les principaux problèmes touchant les personnes en situation de basse vision et des éléments sur les modèles de couleurs et de contrastes. Puis elle présente un langage de modélisation des préférences basé sur la logique, une modélisation du problème comme un problème d'optimisation, des algorithmes de résolution, un démonstrateur, et des expérimentations sur des pages Web réelles.

  • Fethallah Hadjila , Université de Tlemcen
    «Sélection de Services Composés à base d’espérance-maximisation»
    vendredi 20 novembre 2015 à 16h00 , BAT4-E3.23

    Les services web, représentent une implémentation pratique des principes de l’architecture orientée service. La création de compositions de services, sollicite en général une phase de sélection, qui met en jeu des instances équivalentes d’un point de vue fonctionnel, et différentes d’un point de vue QOS. L’objectif de ce travail est de réaliser la sélection de services en prenant en compte des contraintes de QOS globales. Vu que le problème adressé est de nature NP Hard, nous adoptons deux heuristiques, qui ont comme objectif la réduction du nombre d’instances à parcourir.
    En premier lieu, nous réduisons l’espace de recherche en se focalisant sur les services skylines, en deuxième lieu, nous groupons les services similaires en clusters à l’aide de l’algorithme E.M, et la recherche se focalisera uniquement sur les représentants des clusters. En appliquant ces deux stratégies, nous pouvons atteindre des solutions quasi-optimales dans un délai acceptable. Les résultats obtenus sont très encourageants et peuvent être étendus pour d’autres types de workflows.

  • Jacques Malenfant , Université Pierre et Marie Curie, LIP6
    «Systèmes cyber-physiques : quels modèles ? quel processus de développement ? quel génie logiciel ?»
    mercredi 09 décembre 2015 à 14h00 , BAT4-E3.24

    La robotique et les systèmes autonomiques font partie d’un sous-ensemble des systèmes cyber-physiques où un contrôle au sens de l’automatique s’exerce sur un système formé d’éléments logiciels en interaction avec le monde physique. Apparu dans le domaine du temps réel, le terme cyber-physique traduit la nécessité d’une meilleure modélisation comportementale du logiciel, des phénomènes physiques et des interactions entre les deux pour arriver à construire des systèmes corrects et sûrs. Mais sur quels modèles peut-on s’appuyer ? En quoi ces modèles permettent-ils aux ingénieurs logiciel de conduire un processus de développement correct et sûr ? Quel sera le génie logiciel spécifique à ces systèmes ? L’action transversale ALROB entre les GDR Robotique et GPL s’intéresse à ces sujets sur lesquels nous développons dans cette présentation des pistes et défis de recherche.

  • Julien Pagès , MaREL, Dept Info, LIRMM
    «A virtual machine for testing compilation/recompilation protocols in multiple inheritance»
    vendredi 18 décembre 2015 à 14h30 , BAT4-E3.23

    We present a virtual machine with dynamic loading for a full multiple inheritance language in static typing: Nit. The virtual machine has been designed to be a platform for testing various protocols of compilation/recompilation. Indeed, the runtime efficiency of virtual machines are based on dynamic optimizations, and these protocols, which are generally hidden, are the key factor to their efficiency.

Dernière mise à jour le 23/12/2015

Pages des séminaires extraites de Collorg (en cours de test) :

2018

Vendredi 6 juillet 2018 à 15h00

Sélection des plantes pour la santé animale et végétale dans les pays du Sud au moyen de la navigation conceptuelle exploratoire

Amirouche Ouzerdine et Priscilla Keip

Résumé

Vendredi 6 juillet 2018 à 14h00

Migration d’application GWT vers Angular via les modèles

Benoît Verhaeghe
Berger-Levrault

Résumé

Vendredi 29 juin 2018 à 14h00

Implantation d'un animateur de SITPN (Synchronous Interpreted Time Petri Nets) certifié avec Coq

Mathieu Lasjaunias
LIRMM

Résumé

Vendredi 29 juin 2018 à 13h00

Acquisition automatique de contraintes cachées dans un méta-modèle

Pascal Zaragoza
LIRMM

Résumé

Vendredi 29 juin 2018 à 13h00

Déduction modulo théorie pour la géométrie

Clémence Mauger
LIRMM

Résumé

Vendredi 23 mars 2018 à 14h00

Développement sans rupture de systèmes complexes : une approche multi-exigences

Florian Galinier
IRIT - SM@RT Team

Résumé

Vendredi 9 mars 2018 à 14h00

Recovering Runtime Architecture Models and Managing their Complexity using Dynamic Information and Composite Structures

Soumia Zellagui
LIRMM, MaREL

Résumé

Vendredi 16 février 2018 à 15h00

Analyzing Inheritance Hierarchies Through Formal and Relational Concept Analysis

Marianne Huchard
LIRMM/MaREL

Résumé

Vendredi 26 janvier 2018 à 14h00

Client-Side Refactoring for Web Usability and Accessibility

Julián Grigera
LIFIA, University of La Plata, Argentina

Résumé

2017

Vendredi 8 décembre 2017 à 15h00

Conception et développement d’un environnement d’accessibilité des sites web pour les malvoyants

Meriem Zeboudj
USTO-MB Algérie

Résumé

Vendredi 8 décembre 2017 à 14h00

L'inférence de la Variabilité Logicielle

Tewfik Ziadi
LIP6, MoVe, Paris 6

Résumé

Lundi 4 décembre 2017 à 15h00

Conception d'un ORM adapté aux applications sur cloud

Frédéric Fondement
ENSISA, Mulhouse

Résumé

Vendredi 1 décembre 2017 à 14h00

Analyse Relationnelle de Concepts : Une approche pour fouiller des ensembles de données multi-relationnels

Marianne Huchard
LIRMM, MaREL

Résumé

Vendredi 10 novembre 2017 à 14h00

Software Evolution in the Large

Nicolas Anquetil
Équipe Inria RMoD, Université de Lille

Résumé

Vendredi 13 octobre 2017 à 14h00

Réutiliser des Modèles Spécifiques aux Plateformes dans l'Architecture Dirigée par les Modèles pour les Lignes de Produits Logicielles

Frédéric Verdier
LIRMM/MaREL

Résumé

Vendredi 6 octobre 2017 à 14h00

Extracting Variability Information from Software Descriptions

Jessie Carbonnel
LIRMM/MaREL

Résumé

Vendredi 22 septembre 2017 à 15h00

Proving Your Proof

Guillaume Bury
Inria/LSV/ENS Paris-Saclay, Cachan, France

Résumé

Vendredi 23 juin 2017 à 14h00

Preuve automatique en théorie des ensembles

Euvrard Pierre Louis
LIRMM/MAREL

Résumé

Vendredi 19 mai 2017 à 16h00

GIST, une nouvelle approche d'organisation de l'information

Eric Lacombe
consultant eGuilde

Résumé

Vendredi 3 mars 2017 à 14h00

Characterizing a software code base by analysing its commit log

Aurélien Regat-Barrel
Consultant - Klanik Montpellier

Résumé

Vendredi 24 février 2017 à 14h00

Recovering software architectures and analyzing architectural evolution (part 2/2)

Ghizlane El Boussaidi
Ecole de Technologie Supérieure de l'Université du Québec

Résumé

Vendredi 3 février 2017 à 15h00

Recovering software architectures and analyzing architectural evolution

Ghizlane El Boussaidi
Ecole de Technologie Supérieure de l'Université du Québec

Résumé

2016

Mercredi 9 novembre 2016 à 14h00

Contribution à une méthode outillée pour la conception de langages de modélisation métier interopérables, analysables et prouvables pour l'Ingénierie Système basée sur des Modèles

Blazo Nastov
EMA / LGI2P

Résumé

Vendredi 4 novembre 2016 à 14h00

Contributions au génie logiciel à base de composants – composition, réutilisation et évolution

Christelle Urtado
EMA / LGI2P

Résumé

Vendredi 30 septembre 2016 à 14h00

Modélisation exécutable et adaptation dynamique

Olivier Le Goaër
LIUPPA, Université de pau et des pays de l'Adour

Résumé

Vendredi 22 juillet 2016 à 14h00

Sémantique formelle et typage statique d'un langage orienté composant : COMPO

Julien Rixte
ENS Cachan

Résumé

Mardi 5 juillet 2016 à 15h00

An Introduction to Type Theory and Its Applications

Zhaohui LUO
Royal Holloway College, University of London

Résumé

Vendredi 1 juillet 2016 à 14h00

Orchestration automatisée de services

Frederi Scotto
BRICKS SAS

Résumé

Vendredi 24 juin 2016 à 14h00

Describing Dynamic and Variable Software Architecture Based on Identified Services From Object-Oriented Legacy Applications

Seza ADJOYAN
LIRMM, MaREL

Résumé

Mercredi 22 juin 2016 à 14h00

Composition de Services Web avec Prise en Charge de la QOS Incertaine

Fethallah Hadjila
Université de Tlemcen

Résumé

Vendredi 10 juin 2016 à 14h00

Modélisation discrète des applications affines en Coq

Nicolas Magaud
Icube, Strasbourg

Résumé

Vendredi 27 mai 2016 à 14h00

QoS-Aware Optimal and Automated Semantic Web Service Composition With User's Constraints

Amina Bekkouche
MaREL, LIRMM et UNIVERSITE DE TLEMCEN

Résumé

Jeudi 14 avril 2016 à 10h00

Interopérabilité sémantique des modèles

Gregory ZACHAREWICZ
IMS-LAPS, Groupe Productique (GRAI), Bordeaux

Résumé

Jeudi 7 avril 2016 à 10h00

Nunchaku: modular counter-model finding for all proof assistants

Simon Cruanes
LORIA, Nancy

Résumé

Vendredi 1 avril 2016 à 14h00

Assessing Web Service Quality of Experience by Text-Mining Users' Feedbacks

Jael Louis Zela Ruiz
LIRMM, MaREL

Résumé

Vendredi 25 mars 2016 à 14h00

Prouver un programme, ça veut dire quoi ?

David Delahaye

Résumé

Vendredi 11 mars 2016 à 14h00

Thèses Année 1 de MaREL

J. Carbonnel, A. Ferrand, A. Selmadji, F. Verdier, S. Zellagui
MaREL, LIRMM

Résumé

Vendredi 19 février 2016 à 14h00

Enseigner les systèmes cyber-physiques à l'UM ?

Philippe Reitz
LIRMM, MaREL

Résumé

Vendredi 12 février 2016 à 14h00

Tout ce que vous avez toujours voulu savoir sur les sémantiques formelles (sans jamais oser le demander)

David Delahaye
LIRMM, MaREL

Résumé

Vendredi 5 février 2016 à 14h00

Incremental development of UML models

Anne-Lise Courbis, Thomas Lambolais, Thanh-Liem Phan, Hong-Viet Luong
Ecole des Mines d'Alès, LGI2P, Equipe ISOE

Résumé

Vendredi 29 janvier 2016 à 14h00

Migrating Large Object-oriented Applications into Component-based ones: Instantiation and Inheritance Transformation

Zakarea M Al-Shara
MaREL, LIRMM

Résumé

Vendredi 15 janvier 2016 à 14h00

edukera : une nouvelle façon de faire des maths

Benoit Rognier
dirigeant de la société edukera

Résumé

2015

Vendredi 18 décembre 2015 à 14h00

A virtual machine for testing compilation/recompilation protocols in multiple inheritance

Julien Pagès
MaREL, Dept Info, LIRMM

Résumé

Mercredi 9 décembre 2015 à 14h00

Systèmes cyber-physiques : quels modèles ? quel processus de développement ? quel génie logiciel ?

Jacques Malenfant
Université Pierre et Marie Curie, LIP6

Résumé

Vendredi 20 novembre 2015 à 16h00

Sélection de Services Composés à base d’espérance-maximisation

Fethallah Hadjila
Université de Tlemcen

Résumé

Vendredi 20 novembre 2015 à 15h00

Une approche basée sur les préférences et les méta-heuristiques pour améliorer l’accessibilité des pages Web pour les personnes déficientes visuelles

Yoann Bonavero
MaREL

Résumé

Vendredi 13 novembre 2015 à 14h00

A formal approach to automate the evolution management in component-based software development processes

Abderrahman MOKNI
LGI2P, Ecole des Mines d'Alès

Résumé

Mardi 10 novembre 2015 à 11h00

Types and arithmetic in Zenon

Guillaume Bury
CNAM, CEDRIC

Résumé

Mardi 10 novembre 2015 à 11h00

Preuves certifiées pour la méthode B

Pierre Halmagrand
CNAM, CEDRIC

Résumé

Lundi 9 novembre 2015 à 14h00

Types and arithmetic in Zenon

Guillaume Bury
CNAM, CEDRIC

Résumé

Lundi 9 novembre 2015 à 14h00

Preuves certifiées pour la méthode B

Pierre Halmagrand
CNAM, CEDRIC

Résumé

Vendredi 6 novembre 2015 à 16h00

Les similarités sémantiques au cœur d’approches génériques d’indexation et de classification

Nicolas Fiorini
Ecole des Mines d'Alès LGI2P équipe KID

Résumé

Vendredi 6 novembre 2015 à 14h00

Regression-Based Bootstrapping of Web Service Reputation Measurement

Chouki Tibermacine
LIRMM, MaREL

Résumé

Jeudi 8 octobre 2015 à 10h00

Génération de modèles

Adel Ferdjoukh
MaREL, Dept Info, LIRMM

Résumé

Jeudi 25 juin 2015 à 10h00

Support à la réutilisation par la rétro-ingénierie des architectures et des composants logiciels à partir du code source orienté objet des variantes de produits logiciels et d'APIs

Anas Shatnawi
LIRMM

Résumé

Jeudi 4 juin 2015 à 10h00

Modélisation pour la programmation des IHM, de la théorie à la pratique et inversement.

Mountaz Hascoet
LIRMM

Résumé

Jeudi 23 avril 2015 à 10h00

Structure de Treillis: Panorama des aspects structurels et algorithmiques. Quelques usages en fouille de données et représentation des connaissances.

Karell Bertet
Laboratoire L3i, Université de La Rochelle

Résumé

Mercredi 22 avril 2015 à 14h00

Quelques enjeux du Web des objets : Interopérabilité, vie privée et architectures logicielles

Michaël Mrissa
Liris, Université Lyon 1

Résumé

Jeudi 9 avril 2015 à 10h00

De la valeur et du coût d'avoir des utilisateurs: l’expérience RMOD

Stéphane Ducasse
Inria Lille

Résumé

Jeudi 26 mars 2015 à 11h00

Reliable Deployment, Reconfiguration, and Control of Cloud Applications

Gwen Salaün
INP Grenoble

Résumé

Jeudi 19 mars 2015 à 10h00

Formalisation de langages basés sur les composants

David Delahaye
CNAM

Résumé

Publications depuis 2013 - Evaluation 2019

Articles de revues internationales

2017

  1. Generating Reusable, Searchable and Executable "Architecture Constraints as Services
    Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Kacem
    Journal of Systems and Software, Elsevier, 2017, 127, pp.91-108.
  2. QoS-aware optimal and automated semantic web service composition with user's constraints
    Amina Bekkouche, Sidi Mohamed Benslimane, Marianne Huchard, Chouki Tibermacine, Fethallah Hadjila, Mohammed Merzoug
    Service Oriented Computing and Applications, Springer, 2017, 11 (2), pp.183-201.

2016

  1. A formal approach for managing component-based architecture evolution
    Abderrahman Mokni, Christelle Urtado, Sylvain Vauttier, Marianne Huchard, Zhang Huaxi Yulin
    Science of Computer Programming, Elsevier, 2016, 127, pp.24--49.
  2. Recovering software product line architecture of a family of object-oriented product variants
    Anas Shatnawi, Abdelhak-Djamel Seriai, Houari Sahraoui
    Journal of Systems and Software, Elsevier, 2016, In press. <10.1016/j.jss.2016.07.039>
  3. Reverse engineering reusable software components from object-oriented APIs
    Anas Shatnawi, Abdelhak-Djamel Seriai, Houari Sahraoui, Zakarea Al-Shara
    Journal of Systems and Software, Elsevier, 2016, In press. <10.1016/j.jss.2016.06.101>
  4. Software Architecture Constraint Reuse-by-Composition
    Chouki Tibermacine, Salah Sadou, Tu Minh Ton That, Christophe Dony
    Future Generation Computer Systems, Elsevier, 2016.
  5. Opening Web Applications for Third Party Development: a Service-Oriented Solution
    Mohamed Lamine Kerdoudi, Chouki Tibermacine, Salah Sadou
    Service Oriented Computing and Applications, Springer, 2016.
  6. Quality-driven feature identification and documentation from source code
    Hamzeh Eyal Salman, Abdelhak-Djamel Seriai, Mustafa Hammad
    Journal of Theoretical and Applied Information Technology, JATIT, 2016, 84 (2), pp.183-195.
  7. Performance-friendly rule extraction in large water data-sets with AOC posets and relational concept analysis
    Xavier Dolques, Florence Le Ber, Marianne Huchard, Corinne Grac
    International Journal of General Systems, Taylor & Francis, 2016, SI, 45 (2), pp.187-210.

2015

  1. A Tooled Approach for Designing Executable and Verifiable Modeling Languages
    Blazo Nastov, Vincent Chapurlat, Christophe Dony, François Pfister
    INSIGHT - International Council on Systems Engineering (INCOSE), Wiley, 2015, 18 (4), pp.31-33.
  2. Integrating Quality Requirements in Engineering Web Service Orchestrations
    Tarek Zernadji, Chouki Tibermacine, Foudil Cherif, Amina Zouioueche
    Journal of Systems and Software, Elsevier, 2015, In press. <10.1016/j.jss.2015.11.009>
  3. A Process to Identify Relevant Substitutes for Healing Failed WS-* Orchestrations
    Okba Tibermacine, Chouki Tibermacine, Foudil Cherif
    Journal of Systems and Software, Elsevier, 2015, 104, pp.1-16.
  4. Software understanding: Automatic classification of software identifiers
    Pattaraporn Warintarawej, Anne Laurent, Marianne Huchard, Mathieu Lafourcade, Pierre Pompidor
    Intelligent Data Analysis, IOS Press, 2015, 19 (4), pp.761-778.
  5. Feature-Level Change Impact Analysis Using Formal Concept Analysis
    Hamzeh Eyal-Salman, Abdelhak-Djamel Seriai, Christophe Dony
    International Journal of Software Engineering and Knowledge Engineering, World Scientific Publishing, 2015, 25 (1), pp.69-92.

2014

  1. A Practical Approach to the Measurement of Similarity between WSDL-based Web Services
    Okba Tibermacine, Chouki Tibermacine, Foudil Cherif
    Revue des Nouvelles Technologies de l'Information, Hermann, 2014, CAL'2014: 6ème Conférence francophone sur les Architectures Logicielles, RNTI-L-7, pp.03-18.
  2. Improving Web Accessibility: Computing New Web Page Design with NSGA-II for People with Low Vision
    Yoann Bonavero, Marianne Huchard, Michel Meynard
    International Journal On Advances in Internet Technology, IARIA, 2014, issn 1942-2652, 7 (3-4), pp.243-261.
  3. Automatic Documentation of [Mined] Feature Implementations from Source Code Elements and Use-Case Diagrams with the REVPLINE Approach
    Ra'Fat Ahmad Al-Msie'Deen, Marianne Huchard, Abdelhak-Djamel Seriai, Christelle Urtado, Sylvain Vauttier
    International Journal of Software Engineering and Knowledge Engineering, World Scientific Publishing, 2014, 24 (10), pp.1413-1438.
  4. Hermes: a simple and efficient algorithm for building the AOC-poset of a binary relation
    Anne Berry, Alain Gutierrez, Marianne Huchard, Amedeo Napoli, Alain Sigayret
    Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2014, 72 (1), pp.45-71.

2013

  1. Guaranteeing the quality of multidimensional analysis in data warehouses of simulation results: application to pesticide transfer data produced by the MACRO Model
    Kamal Boulil, François Pinet, Sandro Bimonte, Nadia Carluer, Claire Lauvernet, Bruno Cheviron, André Miralles, Jean-Pierre Chanet
    Ecological Informatics, Elsevier, 2013, 16, pp.41-52.
  2. A Three-level Component Model in Component Based Software Development
    Huaxi Yulin Zhang, Lei Zhang, Christelle Urtado, Sylvain Vauttier, Marianne Huchard
    ACM SIGPLAN Notices, Association for Computing Machinery (ACM), 2013, 48 (3), pp.70-79.
  3. Relational Concept Analysis: Mining Concept Lattices From Multi-Relational Data
    Amine Mohamed Rouane Hacene, Marianne Huchard, Amedeo Napoli, Petko Valtchev
    Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2013, 67 (1), pp.81-108.

Communications internationales

2018

  1. Recovering Runtime Architecture Models and Managing their Complexity using Dynamic Information and Composite Structures
    Soumia Zellagui, Chouki Tibermacine, Ghizlane Boussaidi, Abdelhak Seriai, Hinde Bouziane, Christophe Dony
    SAC: Symposium on Applied Computing, Apr 2018, Pau, France. ACM Press, 33rd ACM/SIGAPP Symposium On Applied Computing, 2018. <10.1145/3167132.3167420>
  2. Multi-Paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models
    Sahar Kallel, Chouki Tibermacine, Ahmed Kacem, Christophe Dony
    SOFSEM 2018: Theory and Practice of Computer Science, Jan 2018, Krems an der Donau, Austria. 44th International Conference on Current Trends in Theory and Practice of Computer Science, LNCS (10706), pp.180-193, 2018.

2017

  1. Measuring Differences To Compare Sets Of Models And Improve Diversity In MDE
    Adel Ferdjoukh, Florian Galinier, Eric Bourreau, Annie Chateau, Clémentine Nebut
    ICSEA: International Conference on Software Engineering Advances, Oct 2017, Athenes, Greece. International Conference on Software Engineering Advances, 2017. <https://www.iaria.org/conferences2017/CfPICSEA17.html>
  2. Substitutability-Based Version Propagation to Manage the Evolution of Three-Level Component-Based Architectures
    Alexandre Le Borgne, David Delahaye, Marianne Huchard, Christelle Urtado, Sylvain Vauttier
    Xudong He. SEKE: Software Engineering and Knowledge Engineering, Jul 2017, Pittsburgh, PA, United States. KSI Research Inc. and Knowledge Systems Institute Graduate School, 29th International Conference on Software Engineering and Knowledge Engineering, 2017, pp.18-23, 2017.
  3. Refactoring Object-Oriented Applications towards a better Decoupling and Instantiation Unanticipation
    Soumia Zellagui, Chouki Tibermacine, Lilia Hinde Bouziane, Abdelhak-Djamel Seriai, Christophe Dony
    SEKE: Software Engineering and Knowledge Engineering, Jul 2017, Pittsburgh, United States. 29th International Conference on Software Engineering & Knowledge Engineering, 2017. <10.18293/SEKE2017-119>
  4. Analyzing Variability in Product Families through Canonical Feature Diagrams
    Jessie Carbonnel, Marianne Huchard, Clémentine Nebut
    Xudong He. SEKE: Software Engineering & Knowledge Engineering, Jul 2017, Pittsburgh, PA, United States. KSI research Inc., 29th International Conference on Software Engineering & Knowledge Engineering, 2017, pp.185-190, 2017.
  5. An Application of AOC-Posets: Indexing Large Corpuses for Text Generation Under Constraints
    Alain Gutierrez, Michel Chein, Marianne Huchard, Pierre Pompidor
    Annalisa Appice; Marzena Kryszkiewicz; Dominik Ślęzak. ISMIS: International Symposium Foundations of Intelligent Systems, Jun 2017, Warsaw, Poland. Springer, Lecture Notes in Computer Science, LNCS (10352), pp.642-652, 2017, Proceedings of 23rd International Symposium Foundations of Intelligent Systems (ISMIS) 2017.
  6. On-demand Generation of AOC-posets: Reducing the Complexity of Conceptual Navigation
    Alexandre Bazin, Jessie Carbonnel, Giacomo Kahn
    Marzena Kryszkiewicz; Annalisa Appice; Dominik Slezak; Henryk Rybinski; Andrzej Skowron; Zbigniew W. Ras. ISMIS: International Symposium on Foundations of Intelligent Systems, Jun 2017, Warsaw, Poland. Springer, 23rd International Symposium on Foundations of Intelligent Systems, LNCS (10352), pp.611-621, 2017.
  7. Preliminary study on predicting version propagation in three-level component-based architectures
    Alexandre Le Borgne, David Delahaye, Marianne Huchard, Christelle Urtado, Sylvain Vauttier
    Haidar Osman; Andrei Chis. SATToSE: Seminar Series on Advanced Techniques and Tools for Software Evolution, Jun 2017, Madrid, Spain. Proceedings of the Seminar Series on Advanced Techniques and Tools for Software Evolution SATToSE 2017, 5 p., 2017. <http://sattose.org/2017>
  8. Feature Model Composition Assisted by Formal Concept Analysis
    Jessie Carbonnel, Marianne Huchard, André Miralles, Clémentine Nebut
    Ernesto Damiani; George Spanoudakis; Leszek A. Maciaszek. ENASE: Evaluation of Novel Approaches to Software Engineering, Apr 2017, Porto, Portugal. SciTePress, pp.27-37, 2017, Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering.
  9. Reconfigurable Service-Based Architecture Based on Variability Description
    Seza Adjoyan, Abdelhak-Djamel Seriai
    SAC: Symposium On Applied Computing, Apr 2017, Marrakech, Morocco. 32nd ACM SIGAPP Symposium On Applied Computing, 2017. <10.1145/3019612.3019767>

2016

  1. Materializing Architecture Recovered from OO Source Code in Component-Based Languages
    Zakarea Al-Shara, Abdelhak-Djamel Seriai, Chouki Tibermacine, Hinde Lilia Bouziane, Christophe Dony, Anas Shatnawi
    ECSA: European Conference on Software Architecture, Nov 2016, Copenhagen, Denmark. 10th European Conference on Software Architecture, 2016. <http://ecsa2016.icmc.usp.br/>
  2. Inferring Architectural Evolution from Source Code Analysis A tool-supported approach for the detection of architectural tactics
    Christel Kapto, Ghizlane El Boussaidi, Sègla Kpodjedo, Chouki Tibermacine
    ECSA: European Conference on Software Architecture, Nov 2016, Copenhagen, Denmark. 10th European Conference on Software Architecture, 2016. <http://ecsa2016.icmc.usp.br/>
  3. Genetic Algorithm to Improve Diversity in MDE
    Florian Galinier, Eric Bourreau, Annie Château, Adel Ferdjoukh, Clémentine Nebut
    META: Metaheuristics and Nature Inspired Computing, Oct 2016, Marrakech, Morocco. 6th International Conference on Metaheuristics and Nature Inspired Computing, 2016. <https://meta2016.sciencesconf.org/>
  4. Full Application of the Extract Interface Refactoring: Conceptual Structures in the Hands of Master Students
    Marianne Huchard
    IWoR: International Workshop on Software Refactoring, Sep 2016, Singapore, Singapore. ACM DL, 1st ACM International Workshop on Software Refactoring in conjunction with the 31st IEEE/ACM Automated Software Engineering Conference (ASE 2016), pp.33-40, 2016.
  5. Preexistence and concrete type analysis in the context of multiple inheritance
    Roland Ducournau, Julien Pagès, Jean Privat
    PPPJ: Principles and Practices of Programming on the Java Platform, Aug 2016, Lugano, Switzerland. 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools 2016. <10.1145/2972206.2972207>
  6. Exploring Temporal Data Using Relational Concept Analysis: An Application to Hydroecology
    Cristina Nica, Agnès Braud, Xavier Dolques, Marianne Huchard, Florence Le Ber
    Marianne Huchard; Sergei Kuznetsov. 13th International Conference on Concept Lattices and Their Applications (CLA 2016), Jul 2016, Moscow, Russia. CEUR Workshop Proceedings, 1624, pp.299--311, 2016, Proceedings of the Thirteenth International Conference on Concept Lattices and Their Applications, Moscow, Russia, July 18-22, 2016.
  7. Towards V&V suitable Domain Specific Modeling Languages for MBSE: A tooled approach
    Blazo Nastov, Vincent Chapurlat, Christophe Dony, François Pfister
    INCOSE International Symposium, Jul 2016, Edinburgh, United Kingdom. John Wiley & Sons, Inc., 26th Annual INCOSE International Symposium 26 (1), pp.556-570, 2016, Achieving excellence through Systems Engineering.
  8. FCA for Software Product Lines Representation: Mixing Configuration and Feature Relationships in a Unique Canonical Representation
    Jessie Carbonnel, Karell Bertet, Marianne Huchard, Clémentine Nebut
    Marianne Huchard; Sergei Kuznetsov. CLA: Concept Lattices and their Applications, Jul 2016, Moscow, Russia. CEUR Workshop Proceedings, 13th International Conference on Concept Lattices and Their Applications, pp.109-122, 2016.
  9. Extracting Hierarchies of Closed Partially-Ordered Patterns Using Relational Concept Analysis
    Cristina Nica, Agnès Braud, Xavier Dolques, Marianne Huchard, Florence Le Ber
    Ollivier Haemmerlé; Gem Stapleton; Catherine Faron-Zucker. 22nd International Conference on Conceptual Structures, (ICCS 2016), Jul 2016, Annecy, France. Springer, 9717, pp.17 - 30, 2016, Graph-Based Representation and Reasoning -22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings.
  10. Toward Recovering Component-based Software Product Line Architecture from Object-Oriented Product Variants
    Hamzeh Eyal-Salman, Abdelhak-Djamel Seriai
    SEKE: Software Engineering and Knowledge Engineering, Jul 2016, San Francisco, United States. 28th International Conference on Software Engineering and Knowledge Engineering, 2016. <http://ksiresearchorg.ipage.com/seke/seke16.html>
  11. A Model-Driven Approach to Generate Relevant and Realistic Datasets
    Adel Ferdjoukh, Eric Bourreau, Annie Château, Clémentine Nebut
    SEKE: Software Engineering and Knowledge Engineering, Jul 2016, Redwood City, San Francisco Bay, United States. 28th International Conference on Software Engineering and Knowledge Engineering, pp.105-109, 2016.
  12. Towards Semantical DSMLs for Complex or Cyber-Physical Systems
    Blazo Nastov, Vincent Chapurlat, Christophe Dony, François Pfister
    ENASE: Evaluation of Novel Software Approaches to Software Engineering, Apr 2016, Rome, Italy. 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, pp.115-123, 2016.

2015

  1. Migrating Large Object-Oriented Applications into Component-Based Ones
    Zakarea Al-Shara, Abdelhak-Djamel Seriai, Chouki Tibermacine, Hinde Lilia Bouziane, Christophe Dony, Anas Shatnawi
    Instantiation and Inheritance Transformation. GPCE: Generative Programming: Concepts and Experiences, Oct 2015, Pittsburgh, United States. 14th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 51 (3), pp.55-64, 2016.
  2. Class Model Normalization Outperforming Formal Concept Analysis approaches with AOC-posets
    André Miralles, Guilhem Molla, Marianne Huchard, Clémentine Nebut, Laurent Deruelle, Mustapha Derras
    Sadok Ben Yahia; Jan Konecny. CLA: Concept Lattices and their Applications, Oct 2015, Clermont-Ferrand, France. 12th International Conference on Concept Lattices and Their Applications, 1466, pp.111-122, 2015.
  3. Towards An Architecture-Centric Approach to Manage Variability of Cloud Robotics
    Lei Zhang, Huaxi (yulin) Zhang, Zheng Fang, Xianbo Xiang, Marianne Huchard, René Zapata
    6th International Workshop on Domain-Speci c Languages and models for ROBotic systems (DSLROB2015), Sep 2015, Hamburg, Germany. 2015.
  4. Automatic Translation of Architecture Constraint Specifications into Components
    Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem
    ECSA: European Conference on Software Architecture, Sep 2015, Dubrovnik, Croatia. Springer, 9th European Conference on Software Architecture (ECSA'15), LNCS (9278), pp.322-338, 2015, Software Architecture.
  5. Preexistence revisited
    Roland Ducournau, Julien Pagès, Jean Privat, Colin Vidal
    ICOOOLPS, Jul 2015, Prague, Czech Republic. 2015. <10.1145/2843915.2843923>
  6. An Architecture Description Language for Dynamic Service-Oriented Product Lines
    Seza Adjoyan, Abdelhak-Djamel Seriai
    SEKE: Software Engineering and Knowledge Engineering, Jul 2015, Pittsburgh, United States. 27th International Conference on Software Engineering and Knowledge Engineering, SEKE 2015, 2015. <10.18293/SEKE2015-217>
  7. Analyzing inheritance hierarchies through Formal Concept Analysis A 22-years walk in a landscape of conceptual structures
    Marianne Huchard
    MASPEGHI: MechAnisms on SPEcialization, Generalization and inHerItance, Jul 2015, Prague, Czech Republic. ACM, pp.8-13, 2015.
  8. An evolution management model for multi-level component-based software architectures
    Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Yulin Zhang
    SEKE: Software Engineering and Knowledge Engineering, Jul 2015, Pittsburgh, United States. 27th International Conference on Software Engineering and Knowledge Engineering, 2015.
  9. Regression-Based Bootstrapping of Web Service Reputation Measurement
    Okba Tibermacine, Chouki Tibermacine, Foudil Cherif
    ICWS: International Conference on Web Services, Jun 2015, New York, United States. IEEE, pp.377-384, 2015, 13th IEEE International Conference on Web Services (ICWS'15).
  10. Variability representation in product lines using concept lattices: feasibility study with descriptions from Wikipedia's product comparison matrices
    Jessie Carbonnel, Marianne Huchard, Alain Gutierrez
    Manuel Ojeda-Aciego; Jaume Baixeries; Christian Sacarea. FCA&A 2015, co-located with 13th International Conference on Formal Concept Analysis (ICFCA 2015), Jun 2015, Nerja, Málaga, Spain. Proceedings of the International Workshop on Formal Concept Analysis and Applications, FCA&A 2015, co-located with 13th International Conference on Formal Concept Analysis (ICFCA 2015), 1434, 2015, CEUR Workshop Proceedings.
  11. Reconciling user and designer preferences in adapting web pages for people with low vision
    Yoann Bonavero, Marianne Huchard, Michel Meynard
    Comparing NSGA-II and NSGA-III evolutionary algorithms. Tiago Guerreiro; Peter Thiessen. W4A'2015: 12th Web for All Conference, May 2015, Florence, Italy. ACM DL, pp.10:1-10:10, 2015.
  12. Automatic Translation of OCL Meta-Level Constraints into Java Meta-Programs
    Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony
    SERA: Software Engineering Research, Management and Applications, May 2015, Hammamet, Tunisia. 13th International Conference on Software Engineering Research, Management and Applications (SERA 2015), Studies in Computational Intelligence (612), pp.213-226, 2015, Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015.
  13. An Operational Model of Variable Business Process
    Raoul Taffo Tiam, Abdelhak-Djamel Seriai, Raphaël Michel
    ICEIS: International Conference on Enterprise Information Systems, Apr 2015, Barcelona, Spain. SciTePress, Proceedings of the 17th International Conference on Enterprise Information Systems, pp.162-172, 2015.
  14. VASCO: Variability Specification in Business Process Models
    Raoul Taffo Tiam, Abdelhak-Djamel Seriai, Raphael Michel
    ICEIS: International Conference on Enterprise Information Systems, Apr 2015, Barcelone, France. Springer 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papers, Lecture Notes in Business Information Processing (241), pp.612-632, 2015, Enterprise Information Systems.
  15. Instantiation of meta-models constrained with OCL: A CSP approach
    Adel Ferdjoukh, Anne-Elisabeth Baert, Eric Bourreau, Annie Château, Remi Coletta, Clémentine Nebut
    MODELSWARD: Model-Driven Engineering and Software Development, Feb 2015, Angers, France. Proceedings of the third International Conference on Model Driven Engineering and Software Development, pp.213-222, 2015.
  16. Mining Software Components from Object-Oriented APIs
    Anas Shatnawi, Abdelhak-Djamel Seriai, Houari Sahraoui, Zakarea Al-Shara
    ICSR: International Conference on Software Reuse, Jan 2015, Miami, FL, United States. 14th International Conference on Software Reuse, LNCS (8919), pp.330-347, 2015, Software Reuse for Dynamic Systems in the Cloud and Beyond.
  17. Recovering Architectural Variability of a Family of Product Variants
    Anas Shatnawi, Abdelhak-Djamel Seriai, Houari Sahraoui
    ICSR: International Conference on Software Reuse, Jan 2015, Miami, FL, United States. 14th International Conference on Software Reuse, LNCS (8919), pp.17-33, 2015, Software Reuse for Dynamic Systems in the Cloud and Beyond.

2014

  1. A MDE verification approach applied to System Engineering: xeFFBD dynamic semantics
    Blazo Nastov, Vincent Chapurlat, Christophe Dony, François Pfister
    F. Boulanger, D. Krob, G. Morel, J-C. Roussel. CSD&M : Complex Systems Design & Management, Nov 2014, Paris, France. Springer-Verlag, Proceedings of CSD&M'2014 : Fifth International Conference on Complex Systems Design & Management, 2014. <http://www.csdm2014.csdm.fr/>
  2. Reverse Engineering Feature Models from Software Configurations using Formal Concept Analysis
    Ra'Fat Ahmad Al-Msie'Deen, Marianne Huchard, Abdelhak-Djamel Seriai, Christelle Urtado, Sylvain Vauttier
    Karell Bertet; Sebastian Rudolph. CLA: Concept Lattices and their Applications, Oct 2014, Košice, Slovakia. 11th International Conference on Concept Lattices and Their Applications, CEUR-Workshop, 1252, pp.95-106, 2014.
  3. Learning Model Transformation Patterns using Graph Generalization
    Hajer Saada, Marianne Huchard, Michel Liquière, Clémentine Nebut
    Karell Bertet; Sebastian Rudolph. CLA: Concept Lattices and their Applications, Oct 2014, Košice, Slovakia. 11th International Conference on Concept Lattices and Their Applications, 1252, pp.11-22, 2014.
  4. Fostering component reuse: automating the coherence verification of multi-level architecture descriptions
    Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Zhang Huaxi Yulin
    9th International Conference on Software Engineering Advances, Oct 2014, Nice, France. IARIA, pp.416-421.
  5. Formal rules for reliable component-based architecture evolution
    Abderrahman Mokni, Christelle Urtado, Marianne Huchard, Sylvain Vauttier, Zhang Huaxi Yulin
    Ivan Lanese and Eric Madelaine. 11th international symposium on Formal Aspects of Component Software, Sep 2014, Bertinoro, Italy. 8997, pp.127-142, Lecture Notes in Computer Science.
  6. Mining Epidemiological Dengue Fever Data from Brazil: A Gradual Pattern Based Geographical Information System
    Yogi Satrya Aryadinata, Yuan Lin, Christovam Barcellos, Anne Laurent, Thérèse Libourel Rouge
    IPMU: Information Processing and Management of Uncertainty in Knowledge-Based Systems, Jul 2014, Montpellier, France. 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Part II, Communications in Computer and Information Science (443), pp.414-423, 2014, Information Processing and Management of Uncertainty in Knowledge-Based Systems.
  7. Documenting the Mined Feature Implementations from the Object-oriented Source Code of a Collection of Software Product Variants
    Ra'Fat Ahmad Al-Msie'Deen, Abdelhak-Djamel Seriai, Marianne Huchard, Christelle Urtado, Sylvain Vauttier
    Claudia Werner; Kehan Gao; Marek Reformat; Haiping Xu. SEKE: Software Engineering and Knowledge Engineering, Jul 2014, Vancouver, Canada. 26th International Conference on Software Engineering and Knowledge Engineering, pp.138-143, 2014.
  8. Service Identification Based on Quality Metrics Object - Oriented Legacy System Migration Towards SOA
    Seza Adjoyan, Abdelhak-Djamel Seriai, Anas Shatnawi
    SEKE: Software Engineering and Knowledge Engineering, Jul 2014, Vancouver, Canada. Knowledge Systems Institute Graduate School, 26th International Conference on Software Engineering and Knowledge Engineering, pp.1-6, 2014.
  9. Feature-Level Change Impact Analysis Using Formal Concept Analysis
    Hamzeh Eyal-Salman, Abdelhak-Djamel Seriai, Christophe Dony
    SEKE: Software Engineering and Knowledge Engineering, Jul 2014, Vancouver, Canada. 26th International Conference on Software Engineering and Knowledge Engineering, 2014.
  10. Feature Location in a Collection of Product Variants: Combining Information Retrieval and Hierarchical Clustering
    Hamzeh Eyal-Salman, Abdelhak-Djamel Seriai, Christophe Dony
    SEKE: Software Engineering and Knowledge Engineering, Jul 2014, Vancouver, Canada. The 26th International Conference on Software Engineering and Knowledge Engineering, pp.426-430, 2014.
  11. A three-level formal model for software architecture evolution
    Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Zhang Huaxi Yulin
    7th Seminar on Advanced Techniques & Tools for Software Evolution, Jul 2014, L'Aquila, Italy.
  12. A Component-based meta-level architecture and prototypical implementation of a reflective Component-based Programming and Modeling language
    Petr Spacek, Christophe Dony, Chouki Tibermacine
    CBSE: Component-Based Software Engineering, Jun 2014, Lille, France. 17th international ACM Sigsoft symposium on Component-based software engineering, pp.13-22, 2014.
  13. RCA as a data transforming method: a comparison with propositionalisation
    Xavier Dolques, Kartick Chandra Mondal, Agnès Braud, Marianne Huchard, Florence Le Ber
    Cynthia Vera Glodeanu; Christian Sacarea; Mehdi Kaytoue. ICFCA: International Conference on Formal Concept Analysis, Jun 2014, Cluj-Napoca, Romania. Springer, 12th International Conference on Formal Concept Analysis, LNCS (8478), pp.112-127, 2014.
  14. A Framework for Concurrent Design of Metamodels and Diagrams: Towards an Agile Method for the Synthesis of Domain Specific Graphical Modeling Languages
    François Pfister, Marianne Huchard, Clémentine Nebut
    ICEIS: International Conference on Enterprise Information Systems, Apr 2014, Lisbon, Portugal. Proceedings of the 16th International Conference on Enterprise Information Systems, 2014.
  15. Web Page Personalization to Improve e-Accessibility for Visually Impaired People
    Yoann Bonavero, Marianne Huchard, Michel Meynard
    Irina Astrova. WEB'2014: The Second International Conference on Building and Exploring Web Based Environments, Apr 2014, Chamonix, France. pp.40-45, 2014.
  16. Processing the Evolution of Quality Requirements of Web Service Orchestrations: A Pattern-Based Approach
    Tarek Zernadji, Chouki Tibermacine, Foudil Cherif
    WICSA: Working International Conference on Software Architecture, Apr 2014, Sydney, Australia. IEEE/IFIP, 11th IEEE/IFIP Working Conference on Software Architecture, pp.139-142, 2014.
  17. Concept lattices: a representation space to structure software variability
    Ra'Fat Ahmad Al-Msie'Deen, Marianne Huchard, Abdelhak-Djamel Seriai, Christelle Urtado, Sylvain Vauttier
    ICICS: International Conference on Information and Communication Systems, Apr 2014, Irbid, Jordan. Information and Communication Systems (ICICS), 2014 5th International Conference on, 2014. <10.1109/IACS.2014.6841949>
  18. Model Matching for Model Transformation - A Meta-heuristic Approach
    Hajer Saada, Marianne Huchard, Clémentine Nebut, Houari Sahraoui
    Slimane Hammoudi and Luis Ferreira Pires. MODELSWARD'2014: 1st International Conference on Model-Driven Engineering and Software Development, Jan 2014, Lisbon, Portugal. SCITEPRESS Digital Library, pp.174-181, 2014.

2013

  1. Recovering Model Transformation Traces using Multi-Objective Optimization
    Hajer Saada, Marianne Huchard, Clémentine Nebut, Houari Sahraoui
    ASE: Automated Software Engineering, Nov 2013, Silicon Valley, CA, United States. 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.688-693, 2013, IEEE ACM International Conference on Automated Software Engineering.
  2. A CSP Approach for Metamodel Instantiation
    Adel Ferdjoukh, Anne-Elisabeth Baert, Annie Château, Remi Coletta, Clémentine Nebut
    ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2013, Washington, United States. 25th IEEE International Conference on Tools with Artificial Intelligence, pp.1044-1051, 2013.
  3. AOC-posets: a scalable alternative to Concept Lattices for Relational Concept Analysis
    Xavier Dolques, Florence Le Ber, Marianne Huchard
    CLA: Concept Lattices and their Applications, Oct 2013, La Rochelle, France. 10th International Conference on Concept Lattices and Their Applications, pp.129-140, 2013.
  4. Practical Application of Relational Concept Analysis to class model factorization: lessons learned from a thematic information system
    Abdoulkader Osman Guédi, Marianne Huchard, André Miralles, Clémentine Nebut
    Manuel Ojeda-Aciego; Jan Outrata. CLA: Concept Lattices and their Applications, Oct 2013, La Rochelle, France. CEUR WS, CLA'2013: 10th International Conference on Concept Lattices and Their Applications, 1062, pp.9-20, 2013.
  5. Sizing the Underlying Factorization Structure of a Class Model
    Abdoulkader Osman Guédi, Marianne Huchard, André Miralles, Clémentine Nebut
    Dragan Gasevic, Marek Hatala, Hamid R. Motahari Nezhad and Manfred Reichert. EDOC: Enterprise Distributed Object Computing Conference, Sep 2013, Vancouver, Canada. IEEE, 17th International Enterprise Distributed Object Computing Conference, pp.167-172, 2013.
  6. Feature-to-Code Traceability in Legacy Software Variants
    Hamzeh Eyal-Salman, Abdelhak-Djamel Seriai, Christophe Dony
    SEAA: Software Engineering and Advanced Applications, Sep 2013, Santander, Spain. 39th Euromicro Conference on Software Engineering and Advanced Applications, pp.57-61, 2013.
  7. Mining reusable software components from object-oriented source code of a set of similar software
    Anas Shatnawi, Abdelhak-Djamel Seriai
    IRI: Information Reuse and Integration, Aug 2013, San Francisco, CA United States. 14th IEEE International Conference on Information Reuse and Integration (IRI), pp.193-200, 2013.
  8. Mining Features from the Object-Oriented Source Code of Software Variants by Combining Lexical and Structural Similarity
    Ra'Fat Ahmad Al-Msie'Deen, Abdelhak-Djamel Seriai, Marianne Huchard, Christelle Urtado, Sylvain Vauttier
    IRI: Information Reuse and Integration, Aug 2013, Las Vegas, NV, United States. 14th International Conference on Information Reuse and Integration, pp.586-593, 2013.
  9. Feature-to-Code Traceability in a Collection of Software Variants: Combining Formal Concept Analysis and Information Retrieval
    Hamzeh Eyal-Salman, Abdelhak-Djamel Seriai, Christophe Dony
    IRI: Information Reuse and Integration, Aug 2013, Las Vegas, United States. 14th IEEE International Conference on Information Reuse and Integration, 2013. <10.1109/IRI.2013.6642474>
  10. Feature model extraction from product source codes based on the semantic aspect
    Jihen Maazoun, Nadia Bouassida, Hanene Ben-Abdallah, Abdelhak-Djamel Seriai
    ICSOFT: International Conference on Software Paradigm Trends, Jul 2013, Reykjavik, Iceland. INSTICC Press, ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies, pp.154-161, 2013.
  11. Mining Feature Models from the Object-Oriented Source Code of a Collection of Software Product Variants
    Ra'Fat Ahmad Al-Msie'Deen
    ECOOP: European Conference on Object-Oriented Programming, Jul 2013, Montpellier, France. 27th European Conference on Object-Oriented Programming, pp.1-10, 2013.
  12. Wringing out objects for programming and modeling component-based systems
    Petr Spacek, Christophe Dony, Chouki Tibermacine, Luc Fabresse
    COOMPL: Combined Object-Oriented Modeling and Programming Languages, Jul 2013, Montpellier, France. ACM Digital Library, 2nd International Workshop on Combined Object-Oriented Modeling and Programming Languages (COOMPL'13) - co-located with ECOOP, 2013. <10.1145/2493187.2493189>
  13. Model-Driven Generation of Context-Specific Feature Models
    Thibaut Possompès, Christophe Dony, Marianne Huchard, Chouki Tibermacine
    SEKE'13: Software Engineering and Knowledge Engineering, Jun 2013, Boston, United States. pp.250-255, 2013.
  14. Mining Features from the Object-Oriented Source Code of a Collection of Software Variants Using Formal Concept Analysis and Latent Semantic Indexing
    Ra'Fat Ahmad Al-Msie'Deen, Abdelhak-Djamel Seriai, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Hamzeh Eyal-Salman
    The 25th International Conference on Software Engineering and Knowledge Engineering, Jun 2013, United States. Knowledge Systems Institute Graduate School, pp.8, 2013.
  15. Feature location in a collection of software product variants using formal concept analysis
    Ra'Fat Ahmad Al-Msie'Deen, Abdelhak-Djamel Seriai, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Hamzeh Eyal-Salman
    ICSR: International Conference on Software Reuse, Jun 2013, Pisa, Italy. Springer, 13th International Conference on Software Reuse, LNCS (7925), pp.302-307, 2013, Safe and Secure Reuse.
  16. Soundness and Completeness of Relational Concept Analysis
    Amine Mohamed Rouane Hacene, Marianne Huchard, Amedeo Napoli, Petko Valtchev
    Peggy Cellier and Felix Distel and Bernhard Ganter. ICFCA'2013: 11th International Conference on Formal Concept Analysis, May 2013, Dresden, Germany. Springer Netherlands, 7880, pp.228-243, 2013, Lecture Notes in Computer Science.
  17. Identifying Traceability Links between Product Variants and Their Features
    Hamzeh Eyal-Salman, Abdelhak-Djamel Seriai, Christophe Dony, Ra'Fat Ahmad Al-Msie'Deen
    REVE'2013: 1st International workshop on Reverse Variability Engineering, Mar 2013, Genova, Italy. pp.17-22, 2013.

Mots-clés

Ingénierie des modèles, Langages de programmation, Réutilisation, Objets, Composants, Services web, Lignes de produits, Compilation, Analyse Formelle de Concepts, Réingénierie

Dernière mise à jour le 27/06/2018

Département : Informatique

Responsable : Clémentine NEBUT

Adjoint : David DELAHAYE

Site de l'équipe : www.lirmm.fr/marel

Logiciels développés par l'équipe MAREL

Fiche-équipe MAREL

Télécharger la fiche-équipe MAREL du rapport d'activité 2008-2013 :