Q no 1 FYP-1 stores the student’s name, where student name identifies project name. Write formal specification using Z-specification language for the creating of schema and following functions of a FYP-1 system, add project entry, get project name, and delete project from FYP-1 schema. Q no 2 We consider a specification of a system which keep track of the students’ fees submission. In the FYP-2 class there are two types of students: submitted fees: (all the students in the class who have submitted their fees) not Submitted (all the students in the class who hav
|
Q no 1 FYP-1 stores the student’s name, where student name identifies project name. Write formal specification using Z-specification language for the creating of schema and following functions of a FYP-1 system, add project entry, get project name, and delete project from FYP-1 schema. |
|
|
Q no 2 We consider a specification of a system which keep track of the students’ fees submission. In the FYP-2 class there are two types of students: submitted fees: (all the students in the class who have submitted their fees) not Submitted (all the students in the class who have not submitted their fees) Create a Schema and do following operation using Z specification. Registration function where you can check whether student submit the fees or not, if fees already submitted then the student name store in the submitted fees set, otherwise the name store in the not submitted fees set. Print the name of students whose fees are already submitted. This should be noted the same student’s name will not occur in both set. |
|
Trending now
This is a popular solution!
Step by step
Solved in 3 steps with 2 images
