Generating Software from Specifications WS 2013/14 - Slide 702
Objectives:
Get an idea of a particular specification module
In the lecture:
- The module and its variants are explained.
- The documentation is shown.
- The module is shown.
Author: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 07.10.2013