Ziele:
Spezifikationen werden in dedizierten Sprachen formuliert.

im Vorlesungsteil:
Erläuterung von Zusammenhängen

nachlesen:
Novice-Guide Kap.1.2

Verständnisfragen:

• Geben Sie zu jedem Spezifikationsfragment den Eli-Dateityp an.