Falls wer Fehler im Braindump findet
Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Braindump WS 2014/15 Korrektur
Falls jemand im Braindump des WS2014/15 noch Fehler findet, seien es Rechtschreibfehler, oder Fehler in der Aufgabenstellung selbst, bitte kurz posten.
Link zum Braindump: https://fsi.informatik.uni-erlangen.de/dw/_media/pruefungen/bachelor/sosy3-braindumpws1415.pdf
1 Like
ret = c;
=> c = c - 1
ret = a - b + c;
=> ret = a;
so hab ich das im kopf
2 Likes
selfreminder. ck kc dreher bei 1a
ok, alles was mir gesagt wurde habe ich korrigiert (bisschen verspätet)
wenn irgendjemand an der .odt source interessiert ist kann er mir ne mail schicken
https://fsi.informatik.uni-erlangen.de/dw/_media/pruefungen/bachelor/sosy3-braindumpws1415_v2.pdf
gibts hier dazu eigentlich auch Lösungen?
mein, aber du kannst gerne welche machen: 
https://pad.stuve.fau.de/p/OJUhmjMyMt
Mal zwei Vorschläge für die OCL Aufgabe:
a) Context Schulstunden
inv: Schulstunden.allInstances-> forAll(s | s.raum.kapatität >=s.klasse.schüler->size())
b) Kontext Schulstunden
inv: Schulstunden.allInstances-> select (s | self.wochentag=s.wochentag and self.lehrer=s.lehrer)->size() <= 5