HIGH-LEVEL DESIGN VS. DETAILED SPECIFICATION: COMPREHENDING THE KEY VARIATIONS