Recherche / Research

Interests / Intérêts

  • Software engineering / Génie logiciel
  • Formal methods / Méthodes formelles
  • Empirical software engineering / Génie logiciel empirique
  • Software design / Conception de logiciels
  • Software analysis / Analyse de logiciels
  • Model-driven engineering / Ingénierie dirigée par les modèles
  • Software product lines / Lignes de produits logiciels

Current research directions/ Directions de recherche actuelles

  • Management of Design Uncertainty / Gestion de l’incertitude de conception ([1],[2])
  • Product Lines with Design Choices / Lignes de produits avec des choix de conception ([1])
  • Lifting of Model Transformations / Élévation des transformations de modèles ([1], [2])
  • Developer Conversations about Design / Conversations entre développeurs sur la conception ([1],[2])
  • Consensus-based Software Development / Développement de logiciel basé sur le consensus ([1])
NSERC_FIP_RGB