 Aims
- To refine and formalize programming and proof methods sketched informally in bachelor courses, and apply them in a systematic way to more complex problems.
- To become familiar with software design patterns that can be re-used in different contexts.
Main themes
- Study and application of program proof methods: inductive assertions, wp-calculus, structural induction.
- Study and application of programming patterns.
Content and teaching methods
see "Main themes"
Other information (prerequisite, evaluation (assessment methods), course materials recommended readings, ...)
References:
(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 Softwarre, Addison-Wesley, 1995
Programmes in which this activity is taught
|
INFO2
|
Ingénieur civil informaticien
|
| |
Other credits in programs
|
INFO22
|
Deuxième année du programme conduisant au grade d'ingénieur civil informaticien
|
(4 credits)
| |
|
INFO23
|
Troisième année du programme conduisant au grade d'ingénieur civil informaticien
|
(4 credits)
| |
|
LINF22/GN
|
Deuxième licence en informatique (informatique générale)
|
(4 credits)
| |
|
LINF22/GS
|
Deuxième licence en informatique (informatique de gestion)
|
(4 credits)
| |
|
