formal specification的意思|示意
形式规范
formal specification的用法详解
正式规范（formal specification）是指在软件构建过程中，用以描述软件的结构，特性，行为和其它属性的一种文本格式。它把软件的结构，构建过程和它的结果一一描述出来，按照它描述的步骤在软件中进行检验，以保证软件质量达到要求。
正式规范能够更好地揭示软件中的抽象和逻辑，把软件的功能和行为都按照设计的原则表达出来，并能更快地发现软件中的错误和漏洞。它不仅可以使软件设计者和开发者更好地理解需求，而且也能使软件占用的内存更少，提高软件的效率，同时也可以避免出现重复的代码。
正式规范通常使用结构化技术来表达软件的构成和行为，通过抽象出来的模型或结构体，将软件细节抽象出来，以便更好地实现软件的功能。
正式规范主要有三种形式：文档规范，图形规范和源代码规范。其中，文档规范把软件中的结构和行为写在文本文件中；图形规范则使用图形来表达系统的结构和行为；源代码规范把软件的行为按照指定的格式编写成源代码。
正式规范有助于软件的可读性，可维护性，可扩展性，可测试性，可安装性，可修改性等等，能够有效地加快软件的开发过程，让软件具有更好的质量和可靠性。
formal specification相关短语
1、 Z formal specification notation Z形式规范注释
2、 Formal Specification Language 语言
3、 array formal specification 数组格式说明,数组形式规格
4、 Formal specification paradigms 形式化规格
5、 formal specification method 形式化描述方法
6、 formal specification representation 形式化规格描述
7、 Formal Specification Using Z 书名
8、 formal specification of protocol 协议形式规范
formal specification相关例句
We can draw a conclusion that the formal specification methods can describe the service more precisely.
可以认为形式化方法的引入为更精确地实现对象服务提供了手段.
互联网
An approach for generating test cases from formal specification and the classification - tree method is presented.
介绍了一种基于形式规格说明和分类树方法生成软件测试用例的方法.
互联网
Formal specification is a complete and accurate description of tasksthat a software system should perform.
形式规约(FormalSpecification) 是对软件系统所要解决问题的完备、精确的描述.
互联网
With the use of formal specification language language, its safety requirements are represented a formal specification.
本文使用形式化规格说明语言 ——— Z语言来描述其安全需求,生成形式化规格说明.
互联网
Realization of LOTOS formal specification is one of indispensable steps in protocol design.
LOTOS形式规范的目标实现是协议设计中必不可少的阶段之一.
互联网