I would be grateful if you help me with me assignment. Please have a look
Please check the requirements
Just to clarify from UML I need only use case, which is easy to implement, rest is Z language specifications using formal methods and tools.
Please see the attachments
I need to submit by tomorrow
Thanks in advance