VDMTools Helper (M.F.P.II - 2005/06) | |
---|---|
[ DI/UM ] |
Student's questions:
QUESTION [ Concurrency primitives ] - Can we use the concurrency primitives interactively in the VDMTools interpreter? I tried to run the POP3 example that is available from www.vdmbook.com, in the interpreter step-by-step mode. Given
class Starter operations public Start : POP3Server ==> () Start(server) == start(server); end Starterhere is what I did:
QUESTION [ Rose Link ] - I have Rose 2000 installed and checked that the Rose Link is well installed in Rose Add-In manager. But when I press the Rose button in the VDM++ Toolbox start running without control. (This maybe a newbie error :( ).