Generating Software from Specifications SS 2012 - Slide 310a
Objectives:
Understand related symbol roles
In the lecture:
- Explain the restriction.
- Refer to the library of specifications.
Author: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 03.04.2012