SE & SDA Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools


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)

SEWiki, © 2018