Vorlesung Generierung von Software aus Spezifikationen WS 2002 - Folie Nr. 601

Nächste Folie

Vorherige Seite Zur Übersicht Nächste Seite | Folien 601-608 als PDF

Ziele:
Prinzip der Spezifikationsmodule kennenlernen

in der Vorlesung:
Themen der Folie erläutern: