HIGH-LEVEL DESIGN VS. DETAILED SPECIFICATION: THE SIGNIFICANT SYSTEM DISPARITY