Generating Software from Specifications WS 2013/14 - Slide 302
Objectives:
Introduction of Lido notation
In the lecture:
Explain the notation along the example:
- typed attributes,
- computations with side effect (print),
- attribute computations,
- execution order determined by dependences,
- SYNT and INH attributes.
Author: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 07.10.2013