1) formal specification
形式化规格说明
1.
With the use of formal specification languageZ 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.
基于排序形式化规格说明的软构件匹配是检索可重用构件的有效方法 ,在软件复用和库检索中 ,有助于确定一个构件是否可以取代另一个构件或一个构件如何通过修改以满足另一个构件的要求。
2) 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的面向对象扩充,适合描述大型面向对象软件规格说明,但它不能很好地描述连续性实时变量和时间限制。
3) formal specification
形式化说明
4) Specification
[英][,spesɪfɪ'keɪʃn] [美]['spɛsəfə'keʃən]
规格说明
1.
Application of concurrency Z specification in system requirement analysis and design;
并发Z规格说明在系统需求分析与设计中的应用
2.
The Animation of Object-Z Specification in SQL;
Object-Z规格说明的SQL动画模拟
5) normal form
规格化形式
6) specification format
说明格式
补充资料:公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条