Suppose that a university requires building a new software system, called A- Check, to control students attendance to the Calculus 1 recitation lectures. In particular this new system shall:

Ensure that all the IDs of the students who attend the software systems requirements lectures are registered.

Ensure that only valid students IDs are registered (i.e. only the IDs of the students who are enrolled in the Calculus 1 recitation course).

Ensure that no student who has not attended the lecture is registered.

Define the requirements reference model for A-Check.

Specify the entities belonging to the Application Domain and the Machine Domain (60% of the assignment grade)

Define the system specification necessary to requirements for A-Check. (40% of the assignment grade)