Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering
Date | Chapter/Topic | Last update of slides |
---|---|---|
11.04.12 | 0. Organizational Issues | Chapter 0, 12.6.2012 |
18.04.12 | 1. Syntax, Informal Semantics, Application Example | Chapter 1, 12.6.2012 |
25.04.12 | 2. Declarative semantics | Chapter 2, 12.6.2012 |
02.05.12 | 3. Software Analysis | Chapter 3, 12.6.2012 |
09.05.12 | 4. Operational Semantics | Chapter 4, 12.6.2012 |
16.05.12 | 4. Operational Semantics (cont.) | see Chapter 4 above |
23.05.12 | Dies academicus (no lecture) | |
28.05.12 - 01.06.12 | Whitsun break | |
06.06.12 | 5. Programming techniques | Chapter 5, 13.6.2012 |
13.06.12 | 6. Predefined Predicates | Chapter 6, 12.6.2012 |
20.06.12 | 7. Metadata, Metaprogramming and Reflection | Chapter 7, 20.6.2012 |
27.06.12 | 8. Modules and Objects | Chapter 8, 27.6.2012 |
04.07.12 | 9. Update Semantics | Chapter 9, 15.7.2012 |
11.07.12 | Exam preparation |