1) RFDL(recipe formal definition language)
处方形式化描述语言(RFDL)
3) formalization language of test suite
测试集形式化描述语言
4) formal description language
形式描述语言
1.
LOTOS is a specification language that aims at describing the dynamic behavior of complex systems(formal description language).
LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言),是可操作的。
5) formal semantic description
形式化语义描述
1.
Based on this model,the corresponding formal semantic description approaches to these five types of the information about customer needs were discussed.
探讨了不同类型的客户需求信息相应的形式化语义描述方法。
补充资料：处方
处方
医生为治疗伤病员所开写的药单，也是药剂师配药，发药的依据，并具有资料价值。处方的结构主要包括以下几项：①一般记录。②所开写药物。③药物调配方法及服用方法。④医生签名。⑤需立即取药者应在处方上加写"急"字样。因此对处方的书写必须严肃认真、书写工整清楚，仔细核对无误才可取药。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条