Which of the following provides a concise, unambiguous, and consistent method for documenting system requirements ?
A. CMM
B. ISO-9001
C. CASE tools
D. Formal methods
Explanation: Formal methods provide a concise, unambiguous, and consistent method for documenting system requirements.