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 and the link will be marked bold.
| Date | Chapter/Topic | Last update of slides |
|---|---|---|
| 08.04.15 | 0. Organizational Issues 1. Syntax, Informal Semantics, Application Example | Chapter 0, 15.04.2015 Chapter 1, 06.05.2015 |
| 15.04.15 | 1. Application Example (continued) | |
| 22.04.15 | 2. Software Analysis | Chapter 2, 20.04.2015 |
| 29.04.15 | 3. Declarative semantics | Chapter 3, 06.05.2014 |
| 06.05.15 | 4. Operational Semantics | Chapter 4, 05.5.2014 |
| 13.05.15 | 4. Operational Semantics (cont.) | |
| 20.05.15 | Dies Academicus break (no lecture, no tutorials) | |
| 26.05.15 - 29.05.15 | Whitsun break (no lecture, no tutorials) | |
| 03.06.15 | 5. Programming techniques | Chapter 5, 19.05.2014 |
| 10.06.15 | 5. Programming techniques | |
| 17.06.15 | 5. Programming techniques | |
| 24.06.15 | 6. Predefined Predicates* | Chapter 6, 16.06.2014 |
| 01.07.15 | 7. Metadata, Metaprogramming and Reflection | Chapter 7, 07.07.2014 |
| 08.07.15 | — no lecture today — | — |
| 15.07.15 | 7. Metadata, Metaprogramming and Reflection* | |
| 28.07.15 | Written exam (14:00 - 16:00 in HS 1, Römerstr.) | |
| 31.07.15 | Exam review (9:00 - 11:00 in A 107, Römerstr.) | |
| Only for those who failed the first exam: | ||
| 28.09.15 | Second written exam (10:00 - 12:00 in HS 1, Römerstr.) | |
| 30.09.15 | Exam review (9:00 - 11:00 in A107, Römerstr.) | |
teaching/lectures/alp/2015/slides.txt · Last modified: 2018/05/09 01:59 (external edit)
Page Tools
