基于B方法抽象机和UML的货单系统
- 出版年：2010
- 作者：杨景花；李华中；徐阳博
- 单位1：河南农大华豫学院计算机科学与技术学院
- 出生年：1981
- 职称：助教
- 语种：中文
- 作者关键词：形式化；B方法；抽象机；半形式化；UML
- 起始页：17
- 总页数：2
- 刊名：电脑编程技巧与维护
- 是否内版：否
- 刊频：半月刊
- 创刊时间：1994
- 主管单位：中华人民共和国工业和信息化部
- 主办单位：中国信息产业商会
- 主编：王路敬
- 地址：北京市海淀区长春桥路5号、6号楼1209室
- 邮编：100089
- 电子信箱：gaojian@comprg.com.cn；gaojian@comprg.sina.net；gaojian@comprg.com.cn；zzsfx@vip.sina.com
- 网址：http://www.comprg.com.cn
- 期：16
- 期刊索取号：P847.06 731-1
- 数据库收录：国家级科技期刊；中国学术期刊综合评价数据库统计源期刊；中国核心期刊（遴选）数据库收录期刊
- 核心期刊：中国核心期刊（遴选）数据库收录期刊
摘要
在分析货单系统的基础上，比较了B方法和UML的优缺点，从形式化B方法的抽象机和半形式化方法UML两方面描述了一个货单系统，且给出形式化B方法在软件、硬件、安全领域、计算机规约各方面的应用以及在未来发展的重要地位。