HIGH-LEVEL DESIGN VS. DETAILED SPECIFICATION: RECOGNIZING THE SIGNIFICANT DIFFERENCES