Carlo Alberto Furia: Courses in Autumn Semester 2014

Name Dr. Carlo Alberto Furia
DepartmentComputer Science
RelationshipLecturer

NumberTitleECTSHoursLecturers
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:15-12:00RZ F 21 »
Wed14:15-15:00RZ F 21 »
B. Meyer, C. A. Furia, S. Nanz
252-0239-00 USoftware Verification2 hrs
Wed15:15-17:00RZ 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