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

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

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

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

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