说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> 形式化说明
1)  formal specification
形式化说明
2)  formal specification
形式化规格说明
1.
With the use of formal specification languageZ language, its safety requirements are represented as a formal specification.
本文使用形式化规格说明语言———Z语言来描述其安全需求,生成形式化规格说明。
2.
In this paper,formal specification based on order sorting is used to describe the behavior of software component, and various types of definition of such matching for software com.
基于排序形式化规格说明的软构件匹配是检索可重用构件的有效方法 ,在软件复用和库检索中 ,有助于确定一个构件是否可以取代另一个构件或一个构件如何通过修改以满足另一个构件的要求。
3)  formal declarator
形式说明符
4)  formal declarer
形式说明词
5)  Formal specification
形式规格说明
1.
Therefore animation of formal specification is used to translate the formal specification into an executable mode,and then to validate the specification with user s informal requirements.
形式化方法让软件需求的规格说明变得更加简洁精确,但是它的抽象难懂让用户难以确定形式规格说明中所叙述的用户需求就是他们所期望的。
2.
The paper puts forward an automated testing case generator algorithm which uses equivalence class division methods and formal specification.
本文提出了一种从形式规格说明中利用等价类划分的方法自动生成软件测试用例的算法,给出了算法步骤。
3.
Object-Z,an extension to formal specification language Z,is good for describing large scale object-oriented software specification.
Object-Z是形式规格说明语言Z的面向对象扩充,适合描述大型面向对象软件规格说明,但它不能很好地描述连续性实时变量和时间限制。
更多例句>>
6)  formal description
形式描述<说明>
补充资料：公理化方法(见公理化和形式化)


公理化方法(见公理化和形式化)
axiomatical method

　　gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
　　
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条