SDA SE Wiki
Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering
User Tools
Sidebar
ALP Slides
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.) | |
teaching/lectures/alp/2014/slides.txt · Last modified: 2018/05/09 01:59 (external edit)
Page Tools
