[计]?形式说明
... 形式设计说明 formal design specification 形式说明 formal specification 形式说明词 formal declarer ...
?形式规约
形式规约 ( Formal specification )是软件开发工作的依据。软件工程技术主要是解决如何从 形式规约 出发,最终得到所希望的计算机上的可执行代码。
?形式化描述
内容软件过程中的形式化描述子系统接口描述行为描述形式化方法形式化描述(Formal specification)是更一般的形式化..
Z形式规范注释 ; Z格式规范标志法
语言
计 数组格式说明 ; 数组形式规格
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。