Generating Software from Specifications WS 2013/14 - Slide 403
Objectives:
Learn to use the PDL functions in tree contexts
In the lecture:
The following aspects are explained
- The tree contexts,
- the attributes Sym and Key,
- the property definition,
- the PDL function calls,
- the dependences based on pre- and post conditions (see GSS-3.7).
Author: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 07.10.2013