specification language
type: Concept
preferred label: زبان خصوصیات @fa
related: formal specification

algebraic specification
type: Concept
broader: formal specification
preferred label: مشخصات جبری @fa

formal specification
type: Concept
alternative label: requirements engineering
broader: software engineering
narrower: algebraic specification
preferred label: مشخصات قراردادی @fa
related: formal verification
related: specification language

formal verification
type: Concept
preferred label: تصدیق رسمی @fa
related: formal specification

software engineering
type: Concept
narrower: formal specification
preferred label: مهندسی نرم‌افزار @fa