With the use of formal specification language language, its safety requirements are represented a formal specification.

本文使用形式化规格说明语言 ——— Z语言来描述其安全需求,生成形式化规格说明.

互联网

Formal specification is a complete and accurate description of tasksthat a software system should perform.

形式规约(FormalSpecification) 是对软件系统所要解决问题的完备、精确的描述.

互联网

An approach for generating test cases from formal specification and the classification - tree method is presented.

介绍了一种基于形式规格说明和分类树方法生成软件测试用例的方法.

互联网

Realization of LOTOS formal specification is one of indispensable steps in protocol design.

LOTOS形式规范的目标实现是协议设计中必不可少的阶段之一.

互联网

We can draw a conclusion that the formal specification methods can describe the service more precisely.

可以认为形式化方法的引入为更精确地实现对象服务提供了手段.

互联网