Un instrument d'aide à la rédaction pour les documents exprimant des modèles logiciels. Présentation par Maxime Beauchesne-Jolin

Description : Les problèmes en lien avec la documentation sont récurrents en informatique appliquée. Cette situation soulève de nombreuses interrogations qui conduisent à revenir aux fondamentaux. L’informatique appliquée comprend la création et la modification de modèles. Ces modèles, du moins leurs expressions, sont la plupart du temps disséminés à travers la documentation informatique. Puisque les documents contiennent les modèles, ils sont les piliers des systèmes ou des logiciels développés. Cependant, il faut reconnaître que le développement de la documentation informatique ne s’est pas réalisé avec la même rigueur et le même succès que l’algorithmique ou la modélisation de données. Ce mémoire tente d’en donner les raisons et de proposer une solution. La solution décrite dans ce mémoire répond au souhait d’avoir une documentation partageant certaines des caractéristiques de qualité des logiciels. Cela est possible dès lors que la documentation, comme le logiciel, concrétise des modèles. Ainsi, plusieurs approches provenant de la documentation informatique et de la modélisation informatique sont utilisées. Il y a l’utilisation, entre autres, de la programmation littéraire, de langages formels et de méthodes formelles. Ainsi, la solution obtenue prend la forme d’un instrument d’aide à la rédaction. Cet instrument permettra aux utilisateurs de maintenir la documentation cohérente (et donc le modèle) et de l’adapter aux différents changements qui peuvent survenir lors d’un processus de développement ou après.

Membres du jury :

Directeur : Luc Lavoie, professeur associé, Département informatique, Université de Sherbrooke
Présidente-rapporteuse : Christina Khnaisser, professeure, Département informatique et Faculté de médecine et des sciences de la santé, Université de Sherbrooke
Membre interne : Sylvain Giroux, professeur, Département informatique , Université de Sherbrooke.