Multiple choice Top-down design does not require step-wise refinement loop invariant flow charting 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.