1) formal specification
形式化规约
2) formal specifications
形式规约
1.
As an important part of pervasive computing environment, many RFID security protocols have been brought forward recently, which have no formal specifications and analyses.
首次利用形式规约语言Z对RFID安全协议HB进行形式规约,并对HB协议应该满足的安全性质进行形式化描述,使用Z模式推理从协议及其运行环境两个方面验证了协议的关键安全属性,发现了HB协议在设计方面的缺陷,提出了HB协议的一种改进方法。
4) reduced form
约化形式
1.
This paper gives the reduced form of Maxwell speed distribution convenientfor the numerical calculation and makes function tables.
给出便于进行大量数值计算的麦克斯韦速率分布的约化形式，编制出实用的函数表，可为定量分析提供可靠的数据，也为使用者提供了一种简便的计算方法。
6) formal specification language
形式规约语言
1.
The task is further complicated by the fact that none of the known formal specification languages is designed to support specification acquisition at language level.
该文介绍了形式规约语言 L FC设计的一些主要方面 ,并通过例子说明了 L FC的一些特色 。
2.
Huang Wenji(Computer Software & Theory) Directed by Dong YunmeiThe implementation and application of formal specification language LFC are studied in this thesis.
LFC是以上下文无关语言上的递归函数(CFRF)理论为基础的形式规约语言，能较好地支持形式规约的获取和检验。
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条