مشخصات جبری
algebraic specification
مشخصات قراردادی
formal specification