(info5gl04) Programmation modulaire et validation du logiciel

Nombre de crédits

Pré-requis

Parcours

spécialité professionnelle intelligence artificielle -- génie informatique de la mention informatique du master

Objectifs: Présentation de C++. Comparaison des deux approches au niveau de la fiabilité et de la souplesse. Présentation de l'aspect orienté objet de C++: définition des classes, constructeurs, destructeurs, fonctions membres et amies; - classes dérivées : mécanisme d'héritages, problèmes posés par l'héritage multiple, présentation des classes abstraites ; - la généricité en C++, construction de composants logiciels. Présentation des techniques de récupération d'erreurs : les exceptions. Ces différents concepts sont comparés tout au long de ce cours avec les concepts similaires en Ada 95 et en Java. De plus, Les étudiants seront sensibilisés à l'utilisation des méthodes formelles (spécification et vérification de programmes) pour l'amélioration de la qualité du logiciel avec l'utilisation d'outils tels que Jass, JML ou encore Eiffel.
Organisation
Volume de travail personnel étudiant estimé
Contrôle et validation des connaissances
Description du contenu
Responsable(s): Éric Lilin et Mirabelle Nebut