A developer's knowledge of a computing system's requirements is necessarily imperfect because organizations change. Many requirements lie in the future …