Software construction
CS-214 / 8 crédits
Enseignant(s): Kuncak Viktor, Odersky Martin, Pit-Claudel Clément
Langue: Anglais
Summary
Learn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and fundamental software construction concepts (reusability, abstraction, encapsulation, composition, proofs)
Content
- Functional programming paradigm
- Recursion and tail-recursion
- Evaluation strategies, lazy evaluation, substitution model
- Modularity, data abstraction, representation independence
- Subtyping, inheritance, type classes
- Polymorphism, variance
- Structural induction
- Stateless parallelism, map-reduce, associative operations
- Effects: state, exceptions
- Documentation, tests, specification
- Interpreters and program semantics
- Program transformation and program correctness
Learning Prerequisites
Required courses
Any previous course programming course
Recommended courses
CS-107 Introduction à la programmation
CS-108 Pratique de la programmation orientée-objet
Important concepts to start the course
Loops, conditionals, variable and type declarations, computing mathematical expressions
Learning Outcomes
By the end of the course, the student must be able to:
- Implement reliable, efficient, and maintainable software
- Identify data types and operations that lead to computational solutions
- Argue that an implemented solution is correct
- Transform programs to change its behavior in a desirable way
- Design and implement data-parallel software using parallel collections
- Make use of type systems and tests to develop reliable software
Teaching methods
- Ex cathedra (live lectures)
- Recorded videos
- Exercise and lab sessions
- Online discussions
Expected student activities
- Attending lectures
- Watching and understanding recorded videos
- Solving exercises individually or in groups
- Completing individual graded programming assignments (labs)
- Completing midterm and end-of-semester exams
Assessment methods
- 30% Midterm exam during the semester
- 40% Final exam during the exam session
- 30% Programming assignments (labs)
Supervision
| Office hours | Yes |
| Assistants | Yes |
| Forum | Yes |
Prerequisite for
CS-320 Computer language processing
CS-311 The Software enterprise - from ideas to products
CS-452 Foundations of software
CS-550 Formal verification
Dans les plans d'études
- Semestre: Automne
- Forme de l'examen: Ecrit (session d'hiver)
- Matière examinée: Software construction
- Cours: 3 Heure(s) hebdo x 14 semaines
- Exercices: 2 Heure(s) hebdo x 14 semaines
- Projet: 3 Heure(s) hebdo x 14 semaines
- Semestre: Automne
- Forme de l'examen: Ecrit (session d'hiver)
- Matière examinée: Software construction
- Cours: 3 Heure(s) hebdo x 14 semaines
- Exercices: 2 Heure(s) hebdo x 14 semaines
- Projet: 3 Heure(s) hebdo x 14 semaines
- Semestre: Automne
- Forme de l'examen: Ecrit (session d'hiver)
- Matière examinée: Software construction
- Cours: 3 Heure(s) hebdo x 14 semaines
- Exercices: 2 Heure(s) hebdo x 14 semaines
- Projet: 3 Heure(s) hebdo x 14 semaines
- Semestre: Automne
- Forme de l'examen: Ecrit (session d'hiver)
- Matière examinée: Software construction
- Cours: 3 Heure(s) hebdo x 14 semaines
- Exercices: 2 Heure(s) hebdo x 14 semaines
- Projet: 3 Heure(s) hebdo x 14 semaines
- Semestre: Automne
- Forme de l'examen: Ecrit (session d'hiver)
- Matière examinée: Software construction
- Cours: 3 Heure(s) hebdo x 14 semaines
- Exercices: 2 Heure(s) hebdo x 14 semaines
- Projet: 3 Heure(s) hebdo x 14 semaines