Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

Rechercher

Navigation secondaire

Experts en : Ingénierie dirigée par les modèles

Famelis, Michalis

FAMELIS, Michalis

Professeur agrégé

Je suis professeur adjoint au Département d’informatique et de recherche opérationnelle à l’Université de Montréal, où je travaille pour GEODES, le groupe de recherche en génie logiciel (en savoir plus).

Je travaille à créer des techniques et des méthodes formelles tout en étant pratiques pour l’ingénierie du logiciel. Pour ce faire, je m’inspire de disciplines telles que la vérification formelle, l’ingénierie dirigée par les modèles et les méthodes empiriques. J'étudie le contexte du développement du logiciel et je crée de nouvelles techniques qui utilisent des abstractions spécifiques au domaine, soutenues par une automatisation rigoureuse.

Lire plus…

Profil complet

Sahraoui, Houari

SAHRAOUI, Houari

Vice-doyen, Professeur titulaire

Mes intérêts de recherche portent entre autres sur l’automatisation dans le génie logiciel. Je m’intéresse en particulier à l’apprentissage des transformations de modèles à partir d’exemples en utilisant des approches évolutionnistes. Je travaille également sur la rétro-ingénierie (compréhension) et la réingénierie (refactoring, migration vers les logiciels à base de composants, etc.) des logiciels par l’analyse statique et dynamique. Mes préoccupations incluent également la visualisation des grands ensembles de données multidimensionnelles pour la compréhension et la maintenance du logiciel.

Lire plus…

Profil complet

Syriani, Eugene

SYRIANI, Eugene

Professeur titulaire

Mes principaux intérêts de recherche sont axés sur la conception dirigée par les modèles, en particulier la conception de transformations de modèles et leur vérification, et la conception dirigée par simulation, en particulier la simulation discrète, tous appliqués à des domaines autres que l'informatique.

Lire plus…

Profil complet