Non-Functional Requirements
This section provides the non-functional requirements, the qualities that the software is expected to exhibit.
Correctness: The outputs of the code have the properties of a correct solution.
Portability: The code shall be portable to multiple environments, particularly Windows, Mac OSX, and Linux.