Carlo Alberto Furia: Courses in Autumn Semester 2014 |
Name | Dr. Carlo Alberto Furia |
Department | Computer Science |
Relationship | Lecturer |
Number | Title | ECTS | Hours | Lecturers | |||||||
---|---|---|---|---|---|---|---|---|---|---|---|
252-0239-00L | Software Verification | 6 credits | 3V + 2U | ||||||||
252-0239-00 V | Software 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 |
| B. Meyer, C. A. Furia, S. Nanz | |||||||
252-0239-00 U | Software Verification | 2 hrs |
| B. Meyer, C. A. Furia, S. Nanz | |||||||
252-2601-02L | Software Engineering Laboratory: Open-Source EiffelStudio | 4 credits | 3P | ||||||||
252-2601-02 P | Software Engineering Laboratory: Open-Source EiffelStudio
Personal project work, no fixed lectures. | 3 hrs | B. Meyer, C. A. Furia, D. M. Nordio |