1) style description
款式描述
2) descriptive provision
描述性条款
4) formal description
形式描述
1.
In order to effectively support distributed development and make software collaborative development environment more effective and comfortable to use,collaborative theory and application tool were integrated with formal description.
为了有效地支持软件分布式开发,提高软件协同开发环境的易用性和有效性,从协同理论和应用工具两方面入手,在集成了多种协同应用软件的同时,融入了对参与者的形式描述,提高了开发环境的智能性和可定制性,进而提高了协同开发的质量和效率。
2.
This paper give a method based on a formal description language to implement the encode and decode program.
提出一种基于形式描述的网络帧编解码实现方法,用形式化的方法在一定程度上实现网络帧编解码程序的自动生成。
3.
The modeling, formal description and correctness verification of online static and dynamic stock trading systems, based on Shanghai Stock Exchange, are shown by using temporal Petri nets in order to make online stock trading systems more effective and rational.
基于时序Petri网对我国现行网上静态和动态证券交易系统进行了模拟、形式描述及功能正确性验证。
5) specification
[英][,spesɪfɪ'keɪʃn] [美]['spɛsəfə'keʃən]
形式描述
1.
Linear visual specification and parser of form;
表格的线性直观形式描述及其解析
2.
It is pointed out that FTS model provides a better basis for specifications of concurrent systems with temporal logic.
本文概述了目前用于并发系统形式描述的几个重要的基本模型：ＦＳＭ、Ｐｅｔｒｉ网、ＦＴＳ以及ＣＳＰ、ＣＣＳ、Ｓｔａｔｅｃｈａｒｔ等，并分析了上述一些模型的特点和不足之处，指出ＦＴＳ模型为时态逻辑用于并发系统形式描述提供了良好的基础。
6) description method
描述形式
1.
New description method of Berlekamp-Massey algorithm;
Berlekamp-Massey算法的新描述形式
补充资料：款式
格式；样式：～新颖ㄧ这个书柜的～很好。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条