A. CMM
B. ISO-9001
C. CASE tools
D. Formal methods
✅ The correct answer is option D.
Explanation: Formal methods provide a concise, unambiguous, and consistent method for documenting system requirements.
Explanation: Formal methods provide a concise, unambiguous, and consistent method for documenting system requirements.