|
 Objectifs
Présentation et étude des méthodes scientifiques pour spécifier les problèmes, pour développer des programmes corrects, et pour améliorer leur efficacité.
Cahier des charges
Programmation itérative : calcul des préconditions ; développement d'itérations
Programmation fonctionnelle : principes d'induction, transformation de fonctions
Programmation modulaire : types abstraits algébriques ; représentation en modules
Programmation parallèle : logique du parallélisme, expression de la synchronisation
Programmation logique : dérivation et transformation de clauses de Horn
Techniques de spécification.
Le cours INGI2530 est mentionné dans les programmes suivants :
INFO2 Ingénieur civil informaticien
|
