Carlo Alberto Furia: Courses in Autumn Semester 2014

Name Dr. Carlo Alberto Furia
Professur für Software Engineering
ETH Zürich, RZ J 4
Clausiusstrasse 59
8092 Zürich
Telephone044 632 44 70
DepartmentComputer Science

252-0239-00LSoftware Verification6 credits3V + 2U
252-0239-00 VSoftware Verification
A few of the Wednesday classes (1 hour, 15-16) are given by guest speakers on a research topic related to the content of the preceding Monday class.
3 hrs
Mon10-12RZ F 21 »
Wed14-15RZ F 21 »
B. Meyer, C. A. Furia, S. Nanz
252-0239-00 USoftware Verification2 hrs
Wed15-17RZ F 21 »
B. Meyer, C. A. Furia, S. Nanz
252-2601-02LSoftware Engineering Laboratory: Open-Source EiffelStudio Restricted registration - show details 4 credits3P
252-2601-02 PSoftware Engineering Laboratory: Open-Source EiffelStudio Special students and auditors need a special permission from the lecturers.
Personal project work, no fixed lectures.
3 hrsB. Meyer, C. A. Furia, D. M. Nordio