释义 |
coozCOCA²⁵⁴³³⁷⁺⁶ 基本例句 🌏珂妮卡;珂妮卡品牌加盟政策;陈乾升 We use COOZ to describe design specification of classes. Therefore, the formal requirement specification can transfer to formal design smoothly. 该方法用 COOZ描述类的设计规格说明,实现了从形式化需求描述到形式化设计的平滑过渡。 cnki This paper describes an object oriented design method based on COOZ, a formal description language, and gives an application case. 本文介绍了一种基于形式化规格说明语言 COOZ的面向对象设计方法并给出实例。 cnki |