standards, and that it is understandable, consistent, and complete.
Formal notations offer the important advantage of permitting the last two properties to be proven
(in a restricted sense, at least). Different stakeholders,
including representatives of the customer and developer, should review the document.
Requirements documents are subject to the same software configuration management
practices as the other deliverables of the software life cycle processes.