| 基于B方法抽象机和UML的货单系统 |
| |
| 引用本文： | 杨景花,李华中,徐阳博. 基于B方法抽象机和UML的货单系统[J]. 电脑编程技巧与维护, 2010, 0(16): 17-18 |
| |
| 作者姓名： | 杨景花 李华中 徐阳博 |
| |
| 作者单位： | 河南农大华豫学院计算机科学与技术学院,商丘,476113 |
| |
| 摘 要： | 在分析货单系统的基础上,比较了B方法和UML的优缺点,从形式化B方法的抽象机和半形式化方法UML两方面描述了一个货单系统,且给出形式化B方法在软件、硬件、安全领域、计算机规约各方面的应用以及在未来发展的重要地位。
|
| 关 键 词： | 形式化 B方法 抽象机 半形式化 UML |
Invoice System Based on B Method Abstract Machine and UML |
| |
| YANG Jinghua,LI Huazhong,XU Yangbo. Invoice System Based on B Method Abstract Machine and UML[J]. Computer Programming Skills & Maintenance, 2010, 0(16): 17-18 |
| |
| Authors: | YANG Jinghua LI Huazhong XU Yangbo |
| |
| Affiliation: | (Huayu college of Henan Agricultural University,School of Computer Science and Technology,Shangqiu 476113) |
| |
| Abstract: | |
| |
| Keywords: | UML |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
