UML与B结合的软件开发研究与应用

• 作者: 廖青松 马光思
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: B方法 UML 软件规格说明 抽象机
• 年，卷（期）: 2007,（6）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 123-126,154
• 页数: 5页
• 分类号: TP311.52
• 字数: 3628字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2007.06.037

摘要

B方法主要是用抽象机来描述软件系统的规范说明,且有大量工具支持.UML已广泛用于面向对象技术的建模,许多工程项目和研究成果用UML图例给出.文中将B方法与UML结合用于软件的开发过程,结合工程实际和文献资料分析了从UML的类图、时序图和状态图转换到B的抽象机的技术要点,通过实例展示了具体的转换形式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马光思	西安建筑科技大学信控学院	37	523	11.0	22.0
2	廖青松	西安建筑科技大学信控学院	1	4	1.0	1.0