Desired Specification Properties
Well structured (wrt principles such as information hiding)
Standardized representation
Flexible (wrt requirements changes)
Practical (not overly general nor specific)
Implementable (wrt resources)
Verifiable (wrt requirements)