 Objectifs (en termes de compétences)
- Approfondir et formaliser des méthodes de programmation et de preuve esquissées informellement en candidature, et les appliquer de manière systématique à des problèmes plus complexes.
- Se familiariser à des schémas-type de conception réutilisables dans des contextes variés.
Objet de l'activité (principaux thèmes à aborder)
- Etude et mise en pratique des méthodes de preuve de programmes:
assertions inductives, calcul wp, induction structurale.
- Etude et application de schémas de programmation.
Résumé : Contenu et Méthodes
voir "Objet de l'activité"
Autres informations (Pré-requis, Evaluation, Support, ...)
Références
(1) D. Gries, The Science of Computer Programming. Springer-Verlag, 1981.
(2) E. Gamma, R. Helm, R. Johnson & J. Vlissides, Design Patterns - Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
Programmes proposant cette activité
|
INFO2
|
Ingénieur civil informaticien
|
| |
Autres crédits de l'activité dans les programmes
|
INFO22
|
Deuxième année du programme conduisant au grade d'ingénieur civil informaticien
|
(4 crédits)
| |
|
INFO23
|
Troisième année du programme conduisant au grade d'ingénieur civil informaticien
|
(4 crédits)
| |
|
LINF22/GN
|
Deuxième licence en informatique (informatique générale)
|
(4 crédits)
| |
|
LINF22/GS
|
Deuxième licence en informatique (informatique de gestion)
|
(4 crédits)
| |
|
