2) formalization language of test suite
测试集形式化描述语言
3) RFDL(recipe formal definition language)
处方形式化描述语言(RFDL)
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.
探讨了不同类型的客户需求信息相应的形式化语义描述方法。
6) waveform description language(WDL)
波形描述语言
1.
Two kinds of software development method are given and the correlative content about the typical waveform description language(WDL) and radio description language(RDL) are also introduced.
介绍了软件无线电的软件设计需要考虑的因素,分析软件无线电的软件通信结构和模型驱动架构的特点,给出了两种软件开发方法,并介绍具有代表性的波形描述语言和无线电描述语言的相关内容,比较了二者的异同,结果表明结合波形描述语言的无线电描述语言将会给软件无线电的软件设计带来更多的便利。
补充资料：形式化语言
形式化语言
formalized language
形式化语言【匆翻阅石2曰h瑰，吧e;巾opMa月。300aN。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条