HIGH-LEVEL DESIGN VS. DETAILED SPECIFICATION: GRASPING THE PRINCIPAL DIFFERENCES