Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering
For a preview you can consult the already linked slides of last year's course. The slides shown during this semester will be uploaded after each lecture. When new slides are uploaded, the date attached to the link will be updated.
Date | Chapter/Topic | Last update of slides |
---|---|---|
08.04.14 | 0. Organizational Issues 1. Syntax, Informal Semantics, Application Example | Chapter 0, 08.4.2014 Chapter 1, 08.4.2014 |
15.04.14 | 1. Application Example (continued) | |
22.04.14 | 2. Software Analysis | Chapter 2, 29.4.20141) |
29.04.14 | 3. Declarative semantics | Chapter 3, 29.4.20142) |
06.05.14 | 4. Operational Semantics | Chapter 4, 06.5.20143) |
13.05.14 | 4. Operational Semantics (cont.) | see above |
20.05.14 | 5. Programming techniques | Chapter 5, 20.05.20144) |
27.05.14 | 5. Programming techniques | see above |
03.06.14 | 5. Programming techniques | see above |
09.06.14 - 13.06.14 | Whitsun break (no lecture, no tutorials) | |
17.06.14 | 6. Predefined Predicates* | Chapter 6, 17.06.2014 |
24.06.14 | Preview of seminar, lab and thesis topics* | — |
01.07.14 | 9. Metadata, Metaprogramming and Reflection (DSP) | Chapter 7, 08.07.2014 |
08.07.14 | 9. Metadata, Metaprogramming and Reflection* | see above |
15.07.14 | Written exam (8:00 - 10:00 in HS 1, Römerstr.) | |
17.07.14 | Exam review (9:00 - 11:00 in A 107, Römerstr.) |