 Objectifs (en terme 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.
Résumé : Contenu et Méthodes
- 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.
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.
Autres crédits de l'activité dans les programmes
|
FSA3DS/IN
|
Diplôme d'études spécialisées en sciences appliquées (informatique)
|
(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)
| |
|
