... 形式设计说明 formal design specification 形式说明 formal specification 形式说明词 formal declarer ...
基于92个网页-相关网页
形式规约 （ Formal specification ）是软件开发工作的依据。软件工程技术主要是解决如何从 形式规约 出发，最终得到所希望的计算机上的可执行代码。
基于60个网页-相关网页
Z formal specification notation Z形式规范注释 ; Z格式规范标志法
Formal Specification Language 语言
array formal specification [计] 数组格式说明 ; 数组形式规格
Formal specification paradigms 形式化规格
Exterior Gateway Protocol formal specification 外部网关协议正式规范
formal specification method 形式化描述方法
formal specification representation 形式化规格描述
Formal method uses the formal specification language to describe the software requirement, and make precise and unambiguous semantics to ensure the system is of correctness and maintainability. So it suits the industry use.
形式化方法采用形式规约语言精确地描述软件规约说明,建立精确的、无二义性的语义,以数学的精确性保证了系统结构的合理性、正确性和良好的可维护性。
参考来源 - VDM∑-algebra;data models;formal specification.
∑代数;数据模型;形式规范。
参考来源 - 面向对象数据库类型继承关系的代数模型 in C·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
For a formal specification of the verb set XML syntax, see the XML schema.
有关谓词集xml语法的正式规范，请参阅XML模式。
For a formal specification of the parameterized verb XML syntax, see the XML schema.
有关参数化谓词xml语法的正式规范，请参阅XML模式。
It? S not a formal specification, but a readable introduction to each language feature.
它并不是一个标准规范，而是一本介绍每门语言特性的可读书籍。
应用推荐