We use COOZ to describe design specification of classes. Therefore, the formal requirement specification can transfer to formal design smoothly.
该方法用COOZ描述类的设计规格说明，实现了从形式化需求描述到形式化设计的平滑过渡。
We use COOZ to describe design specification of classes. Therefore, the formal requirement specification can transfer to formal design smoothly.
该方法用COOZ描述类的设计规格说明，实现了从形式化需求描述到形式化设计的平滑过渡。
应用推荐