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