2. Conventions

  1. We write a requirement shall be met if it must be fulfilled. If the feature that implements a shall requirement is not in the final system, then the system does not meet this requirement. We write a requirement should be met if it is not critical to the system working, but is still desirable.

  2. Text in bracket such as “[ … ]” denotes informative text that is not part of the specification.

  3. Courier font names such as input denote variables or statements used in computer code.