精化

  • 网络refinement; Elaboration; Gin Hwa

精化精化

精化

refinement

在形式化B方法中,精化Refinement)是一种数学表示法和若干规则的集合,它把Dijksart的卫式命令语言进行扩充,通过结 …

Elaboration

精化(Elaboration):确定系统架构和明确需求 构建(Construction):实现剩余的系统功能 产品化(Transition):完成软件的产品化 …

Gin Hwa

...,Cotes XV?00, ToYo K?000,精化(Gin Hwa)DSR?000 和 Lea Ronal,Danachm 等公司的产品,双组份,这 些型号都获 …

specialized

...社会工作方法的整合时所提醒的,方法的整合必须辅以专精化specialized)知识与技巧为基础的实务,例如精神疾病、身心 …

Realization

...ralization) (2)关联(Association) (3)依赖(Dependency) (4)聚合(Aggregation)。另外,还有精化Realization)关系,并不常用。

elaboration willmigerl

刚到处的UCdict术... ... dynamic information willmigerl 动态信息 elaboration willmigerl 精化 encapsulation willmigerl 封装 ...

refines

  AADL还提供了四种精化途径:构件类型扩展、构件类型多种实现、构件实现扩展、构件实现的精化(refines)子句。充分发挥了面 …

热词推荐