| 形式化语言B与UML/OCL的比较 |
| |
| 引用本文： | 顾建丰,陈名铭,周秀芳.形式化语言B与UML/OCL的比较[J].数字社区&智能家居,2009(34). |
| |
| 作者姓名： | 顾建丰 陈名铭 周秀芳 |
| |
| 作者单位： | 扬州大学信息工程学院;江苏电大武进学院; |
| |
| 摘 要： | 该文介绍了形式化方法中B语言和UML/OCL语言,从软件开发生命周期的角度对B语言和OCL语言进行了比较,归纳了这两种形式化语言的异同和各自的适用范围。
|
| 关 键 词： | B语言 OCL 形式化方法 比较 |
Formal Language B and UML/OCL Comparison |
| |
| GU Jian-feng,CHEN Ming-ming,ZHOU Xiu-fang.Formal Language B and UML/OCL Comparison[J].Digital Community & Smart Home,2009(34). |
| |
| Authors: | GU Jian-feng CHEN Ming-ming ZHOU Xiu-fang |
| |
| Affiliation: | GU Jian-feng1,2,CHEN Ming-ming1,ZHOU Xiu-fang3 (1. College of Information Engineering,Yangzhou University,Yangzhou 225009,China,2. Jiangsu TV University Wujin College,Changzhou 213149,China) |
| |
| Abstract: | This article introduced in the formalized method the B method and the UML/OCL language. Has carried on the comparison from the softwaredevelopment life cycle's angle to the B language and OCL,has induced these two kind of formalized language similarities and differences and therespective applicable scope. |
| |
| Keywords: | B language OCL Formalized method Compare |
| 本文献已被 CNKI 等数据库收录！ |
|
