A formal requirements document, a design specification, and acceptance test documentation.
一个正式的需求文档、一个设计说明书和接受测试文档。
The contract is the formal specification, its what the design has to meet and its this that should be used for all forms of testing
契约是正式的规格说明，设计必须满足它，而且各种形式的测试也都应该使用它。
Realization of LOTOS formal specification is one of indispensable steps in protocol design.
LOTOS形式规范的目标实现是协议设计中必不可少的阶段之一。
应用推荐