精化
- 网络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)子句。充分发挥了面 …
                1
        
      2
        
      3
        
      4
        
      5
        
      6
        
      7
        
      8
        
      9
        
      10
        
      11
        
      12
        
      13
        
      14
        
      15
        
      16
        
      17
        
      18
        
      19
        
      20
        
      21
        
      22
        
      23
        
      24
        
      25
        
      27
        
      28
        
      29
        
      