HLD VS. DETAILED SPECIFICATION: UNDERSTANDING THE SYSTEM SEPARATION