Generating Software from Specifications WS 2013/14 - Slide 113

Objectives:
Get introduced to Eli
In the lecture:
- Explain the topics on the slide
- Refer to practical exercises
Author: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 07.10.2013