Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering
Date | Chapter/Topic | Last update of slides | |
---|---|---|---|
10.04.13 | 0. Organizational Issues | Chapter 0, 15.4.2013 | |
17.04.13 | 1. Syntax, Informal Semantics, Application Example | Chapter 1, 15.4.2013 | |
24.04.13 | 2. Declarative semantics | Chapter 2, 24.4.2013 | |
01.05.13 | May Day (no lecture, no tutorials) | ||
08.05.13 | 3. Software Analysis | Chapter 3, 01.5.2013 | |
15.05.13 | 4. Operational Semantics | Chapter 4, 05.6.2013 | |
21.05.13 - 25.05.13 | Whitsun break (no lecture, no tutorials) | ||
29.05.13 | Dies academicus (no lecture, no tutorials) | ||
05.06.13 | 4. Operational Semantics (cont.) | see Chapter 4 above | |
12.06.13 | 5. Programming techniques | Chapter 5, 13.6.2012 | |
19.06.13 | 6. Predefined Predicates | Chapter 6, 12.6.2012 | |
26.06.13 | 7. Metadata, Metaprogramming and Reflection | Chapter 7, 20.6.2012 | |
03.07.13 | 8. Modules and Objects, 9. Logtalk – Objects in Prolog | Chapter 8, 2.7.2013, Chapter 9, 2011 | |
10.07.13 | Preview of seminar, lab and thesis topics | ||
17.07.13 | 9. Update Semantics | Chapter 9, 17-07-2013 |
The slides shown during this semester will be uploaded after each lecture. For a preview participants can consult the slides of the last year's course.