04 Algebraische Spezifikation
1
Softwarekonstruktion Softwarekonstruktion
WS 2011 WS 2011
Zu Schritten 5) und 6):
Syntax und Semantik
algebra X
end X;
introduces sorts X,Y,Z;
operations
op1 : X X op2 : X Y
constraints op1, op2 so that for all x,y : X, z: Y
…
Syntax
Semantik
Wied
erholu ng
Softwarekonstruktion Softwarekonstruktion
WS 2011 WS 2011
2 Fragen - beantwortet
● Fanden Sie die Anzahl Beispiele letzte Woche:
zu viele / zu wenige / ungefähr richtig ?
− Ungefähr richtig
● Welche Inhalte von letzter Woche haben Sie nicht verstanden ?
− Mehrheitlich: Alles verstanden.
− Vereinzelt Verständnisprobleme, aber ohne konkrete Nennung
Wied
erholu ng
2 Questions - 1 Minute
3
Softwarekonstruktion Softwarekonstruktion
WS 2011 WS 2011
2 Questions – 1 Minute
●
Wie empfinden Sie die Gliederung des aktuellen Kapitels ?
● Gliederung ist nachvollziehbar / ich finde mich zurecht
● Gliederung ist eher verwirrend / ich habe den Überblick verloren
●