WINAK • [SE] Oplossingen formele specificaties

Page 1 of 1

[SE] Oplossingen formele specificaties

Posted: Tue Dec 26, 2006 1:54 pm

by slimmy

Heeft er iemand de oplossingen van de oefeningen sessies van formele specificaties? Vooral die van Z :S

Posted: Fri Dec 29, 2006 11:44 am

by Quintus Maximus

Beetje surfen op de LORE wiki kan nooit kwaad:

http://www.win.ua.ac.be/~azaidman/SE/op ... ening1.pdf

http://www.win.ua.ac.be/~azaidman/SE/op ... ening2.pdf

Posted: Fri Dec 29, 2006 12:39 pm

by slimmy

ja khad er al gevonden

toch merci

Iemand die van de state based specifications?