Software Architecture and Engineering

Course no.
252-0216-00L
Semester
Spring 2013
Lecturers
Martin Vechev, Michael Pradel
TAs
Veselin Raychev, Dimitar Dimitrov,
Andrei Dan, Valentin Wustholz
Time
Mon: 8am-10am, Wed: 10am-12am (lecture)
Mon: 3pm-6pm (exercises)
Place
CAB G61 (lecture)
CHN G22, ML H34.3, NO D11, NO E11 (exercises)
Credits
8
Mailing List
sae2013@lists.inf.ethz.ch
EDoz Link
Catalog Info


This course will cover key techniques for building correct and reliable software. These include: modeling, design patterns, code refactoring, testing, symbolic execution, static and dynamic program analysis.

To gain a deeper understanding of how to apply these techniques in practice, the course will also involve two hands-on programming projects based on the principles introduced in the lectures.