Multiple choice

Top-down design does not require

  1. step-wise refinement

  2. loop invariant

  3. flow charting

  4. modularity

Reveal answer Fill a bubble to check yourself
B Correct answer
Explanation

Top-down design is a methodology that focuses on breaking a system into smaller, manageable parts. Loop invariants are a concept used in formal verification and algorithm analysis, not a requirement of the design methodology itself.