locked
VDM or VDM specification what is that can you give me a information ? RRS feed

  • Question

  • I have exam tomorrow can anyone answer this questions?


    1-Draw the UML diagram of the problem designed by VDM-Specification

    2-What does "state...of...end"statement do ?

    3-Explain the operation addRobot() giving the type of the function

    4-What does inv mk-Robot(..) statement do?
    Tuesday, June 30, 2015 8:23 PM