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.