HIGH-LEVEL DESIGN VS. DETAILED SPECIFICATION: UNDERSTANDING THE CRUCIAL DIFFERENCES