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形式规范的目标实现是协议设计中必不可少的阶段之一。
The research on formal specification for design patterns acts an important role in reuse of design patterns.
设计模式的形式规约描述的研究对于设计模式的广泛重用具有重要意义。
We use COOZ to describe design specification of classes. Therefore, the formal requirement specification can transfer to formal design smoothly.
该方法用COOZ描述类的设计规格说明,实现了从形式化需求描述到形式化设计的平滑过渡。
Specification patterns are design patterns that are expressed in a formal specification language.
规约模式就是用某种形式化语言表示的设计模式。
This paper analyses and compares several main methods of formal specification for design patterns, from points of view of pattern definition, reuse mechanisms, available tools and usability.
文章从模式定义、重用机制、可用工具、方法可用性等角度分析比较了几种主要的设计模式形式化方法。
This paper analyses and compares several main methods of formal specification for design patterns, from points of view of pattern definition, reuse mechanisms, available tools and usability.
文章从模式定义、重用机制、可用工具、方法可用性等角度分析比较了几种主要的设计模式形式化方法。
应用推荐