1) normal form
规格化形式
2) 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.
基于排序形式化规格说明的软构件匹配是检索可重用构件的有效方法 ,在软件复用和库检索中 ,有助于确定一个构件是否可以取代另一个构件或一个构件如何通过修改以满足另一个构件的要求。
3) standard normalized form
标准规格化形式
4) standard unnormalized form
标准非规格化形式
5) NF Normal Form
正常形式，规格化形式，范式
6) normalization formulae
规格化公式
1.
Research on choice of ideal and non-ideal plans and normalization formulae in multi-objective fuzzy optimization methodology;
优劣方案及规格化公式选取对模糊优选模型评价结果影响研究
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条