Question :
Description
▪ A system that records student’s registered classes, this system does not allow to add a course if the student took it previously.
▪ Using the Z language Editor, create two schema
▪ Registered courses, Adding course. For adding course schema please consider: convention, inputs, and pre/post- conditions