formal design description 📖 中文释义 [计] 形式设计描述 ← formal description language formal design specification →