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.