1. | refinement 在形式化B方法中,精化(Refinement)是一种数学表示法和若干规则的集合,它把Dijksart的卫式命令语言进行扩充,通过结 … baike.baidu.com|基于126个网页 |
2. | Elaboration 精化(Elaboration):确定系统架构和明确需求 构建(Construction):实现剩余的系统功能 产品化(Transition):完成软件的产品化 … blog.csdn.net|基于126个网页 |
3. | Gin Hwa ...,Cotes XV?00, ToYo K?000,精化(Gin Hwa)DSR?000 和 Lea Ronal,Danachm 等公司的产品,双组份,这 些型号都获 … wenku.baidu.com|基于40个网页 |
4. | |
5. | Realization ...ralization) (2)关联(Association) (3)依赖(Dependency) (4)聚合(Aggregation)。另外,还有精化(Realization)关系,并不常用。 flowerread.wordpress.com|基于5个网页 |
6. | elaboration willmigerl 刚到处的UCdict术... ... dynamic information willmigerl 动态信息 elaboration willmigerl 精化 encapsulation willmigerl 封装 ... www.zhenbi.com|基于 1 个网页 |
7. | refines AADL还提供了四种精化途径:构件类型扩展、构件类型多种实现、构件实现扩展、构件实现的精化(refines)子句。充分发挥了面 … www.zhonghualunwen.com|基于 1 个网页 |