مشخصات جبری
type: Concept
broader: مشخصات قراردادی
preferred label: algebraic specification @en

مشخصات قراردادی
type: Concept
narrower: مشخصات جبری
preferred label: formal specification @en