| 静态数据模型的形式化表示 |
| |
| 引用本文： | 董天石,王悦,陈玉泉.静态数据模型的形式化表示[J].计算机应用与软件,2001,18(3):43-46. |
| |
| 作者姓名： | 董天石 王悦 陈玉泉 |
| |
| 作者单位： | 上海交通大学计算机科学与工程系 |
| |
| 摘 要： | 本文论述了如何将OMT规范中的静态数据模型表示成BAMN中的MACHINE结构。
|
| 关 键 词： | 静态数据模型 OMT规范 软件开发 形式化规范语言 |
FORMALIZATION OF STATIC DATA MODEL |
| |
| Dong Tiansi Wang Yue Chen Yuquan.FORMALIZATION OF STATIC DATA MODEL[J].Computer Applications and Software,2001,18(3):43-46. |
| |
| Authors: | Dong Tiansi Wang Yue Chen Yuquan |
| |
| Abstract: | This paper presents the approach to translate the static data models in OMT specification into the MACHINE structure in B AMN. |
| |
| Keywords: | OMT B AMN Static date model MACHINE |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
