Note concernant le format des mémoires
Pour ceux-celles intéressé-e-s à faire un
mémoire sous ma direction: Prenez note que,
dorénavant, je n'accepterai de lire que des mémoires
écrits en LaTeX. Si vous ne connaissez pas LaTeX et que vous
voulez travailler sous ma direction, alors il vous faudra l'apprendre,
car je n'accepterai pas de lire un mémoire écrit avec
Word. Un squelette de mémoire, dans le format UQAM, est disponible ici. De plus, vous
devrez aussi apprendre à utiliser CVS -- pour lequel vous
pouvez trouver de
l'information ici -- puisque l'ensemble de votre mémoire
devra être conservé dans un dépot CVS.
Quelques idées de projets liés à mes
principaux intérêts de recherche
- Étude des applications possibles de la
vérification de modèles basée sur la logique
floue à des problèmes non informatiques (par ex.,
gestion).
- Développement d'un langage de Workflow pour services Web,
mais plus léger et fondé sur un langage de scriptage, et
utilisant une approche de "Convention over configuration" dans le
style de Ruby on Rails.
- Modélisation des notions utilisés en WSDL, BPEL4WS
et WS-CDL à l'aide des concepts d'architecture de logiciels
utilisés dans d'autres approches, par ex., RM-ODP,
modèle composants/connecteurs.
- Génération de choréographies de services
d'affaires par analyse de leur Use Case Maps.
- Modéliser l'architecture de systèmes basés
sur les services Web, tant du point de vue statique (à la
LePus) que dynamique.
- Développement et mise en oeuvre d'un langage de
composants basé sur Ruby.
- Développement d'une instantiation du framework
de composants logiciels Fractal pour les services Web.
- Modélisation de la sémantique d'un langage de
composants basé sur le pi-calcul.
- Étendre le langage JML avec des spécifications de
protocoles d'utilisation (à la "behavior protocols"
--- donc aller au-delà des contrats basés uniquement sur
les pré/post-conditions).
Autres idées de projets
- Développement d'un module de correction de programmes
Java basé sur l'évaluation de la qualité du code
et de la conception (mesures orientées objets).
- Modélisation formelle d'un processus de
développement de logiciels à l'aide d'une notation
basée sur une algèbre de processus.
- Utilisation d'algèbres de processus pour la
modélisation formelle et l'analyse d'architectures logicielles
- Étude de l'influence de l'utilisation d'une approche TDD
(Test-Driven Development) sur la qualité du code
produit.
- Étude de l'influence de l'utilisation d'une approche TDD
(Test-Driven Development) sur l'apprentissage des concepts de
la programmation orientée-objets.
- Extension de l'outil oto pour la spécification simple et
directe de tests (réimplémentation d'une
fonctionalité existante)