1 引言 关键词：安全认证；形式化设计；协议组合推导系统 [gap=1034]Key words】security authentication; formal design; Protocol Composition Deduction System(PCDS)
基于20个网页-相关网页
第四章提出了产品装配方案的形式化设计方法。
Chapter 4 puts forward a formal method for assembly scheme design.
该方法用COOZ描述类的设计规格说明，实现了从形式化需求描述到形式化设计的平滑过渡。
We use COOZ to describe design specification of classes. Therefore, the formal requirement specification can transfer to formal design smoothly.
相反，形式化的类型可以保证多种交付品中重复使用设计。
By contrast, the formal types can ensure that the design can be repeated for many deliverables.
应用推荐