精化
- 网络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