زبان خصوصیات
specification language
مشخصات جبری
algebraic specification
requirements engineering
مشخصات قراردادی
formal specification
تصدیق رسمی
formal verification
مهندسی نرم‌افزار
software engineering