The purpose of this assignment is to practice how to specify system requirements formally, including functional requirements and non$-$functional requirements. A functional requirement is a service provided by the system, and a non$-$functional requirements is a system constraint the system needs to follow. A functional consists of two parts: definition and specification. A non$-$functional requirement could be satisfied by a functional requirements or part of a functional requirement.