| CIMS中形式化面向对象软件开发方法研究 |
| |
| 引用本文： | 宋国新,虞慧群,邵志清.CIMS中形式化面向对象软件开发方法研究[J].高技术通讯,1997(8). |
| |
| 作者姓名： | 宋国新 虞慧群 邵志清 |
| |
| 作者单位： | 华东理工大学计算机系!上海，200237 |
| |
| 摘 要： | 提出了CIMS中形式化面向对象软件开发的方法。使用RAISE（工业软件工程的严格方法）规范语言，建立了MRPⅡ系统的形式化模型，并且实现了该系统。同时．还研究了对象系统的相容性检查技术。基于经典的Kunth-Bendix算法，提出了对象系统的相容性检查方法。
|
| 关 键 词： | CIMS MRPⅡ系统 形式化 |
A Formal Object-Oriented Approach to Software Development of CIMS |
| |
| Song Guoxin, Yu Huiqun, Shao Zhiqing.A Formal Object-Oriented Approach to Software Development of CIMS[J].High Technology Letters,1997(8). |
| |
| Authors: | Song Guoxin Yu Huiqun Shao Zhiqing |
| |
| Affiliation: | (received Nov. 20,1996,revised Apr. 7,1997)Song Guoxin, Yu Huiqun, Shao Zhiqing (Department of Computer Science,East China University of Science and Technology,Shanghai 200237) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
