形式规格说明；形式规范
ID
118623
中文名
形式规格说明；形式规范
外文名
formal specification
缩略语
备注

术语中文定义

形式规格说明；形式规范 a. 根据已建立的标准书写并获准的规格说明。b. 在正确性证明中，对某一系统或系统组成部分的外部可见行为用形式语言进行的描述。

术语英文定义