They are descriptions of how the system should behave, or of a system property or attribute. They may be a constraint on the development process of the system.
