En cours de chargement...
Modélisation et spécification formelles des
logiciels, Guy Tremblay
Guy Tremblay (Ph. D. McGill 1994) est professeur à
l'UQAM depuis 1985 où il enseigne différents cours : programmation,
algorithmes, architecture des ordinateurs, génie logiciel,
mathématiques discrètes et méthodes formelles. Il s'intéresse
depuis longremps aux méthodes formelles de spécification, tant pour
la description de la sémantique des langages de programmation que
pour la spécification des logiciels.
Depuis 1998, il collabore au
projet du Guide to the SWEBOK - projet international
commandité par l'IEEE et l'ACM visant à développer un guide au
corpus des connaissances en génie logiciel - en tant que
spécialiste de la partie sur la conception des logiciels
(Software Design Knowledge Area).
Ce manuel vise à initier le lecteur aux méthodes
formelles de modélisation et de spécification et à leur rôle dans
le développement de logiciels.
Entre autres, il vise à familiariser
le lecteur avec le mode descriptif de spécification (quoi?) plutôt
qu'avec le mode algorithmique traditionnel (comment ?).
La principale notation utilisée dans ce manuel est la
notation Spec. Ce langage de spécification formelle, tour comme VDM
ou Z, est basé sur la technique de modélisation abstraite.
Toutefois, contraitement à ces langages, Spec s'inspire fortement
des langages de programmation modernes : syntaxe textuelle plutôt
que symboles mathématiques, langage fortement typé, mécanismes de
modularisation et d'encapsulation, généricité et héritage,
traitements d'exceptions, etc, En plus de la notation Spec,
d'autres méthodes de spécifications sont introduites - VDM, Z,
Larch, sans oublier la notation OCL d'UML, ce qui permet de bien
comparer ces diverses approches.
Bien qu'une partie de ce manuel porte sur
l'utilisation d'une méthode rigoureuse de développement (à la VDM),
sa principale caractéristique est l'accent mis sur les techniques
de description et de spécification des composants et de systèmes
logiciels : fonctions, machines, types abstraits ou classes
d'objets.
De simples connaissances de base en mathématiques
discrètes (théorie des ensembles et logique) et la connaissance
d'un langage de programmation sont donc les seuls prérequis
suggérés.
Document created with wvWare/wvWare version 1.2.4 (Lien -> http://wvware.sourceforge.net/)
-->