公交信息综合查询系统的B方法设计与实现

• 作者: 沈洁
• 来源期刊: 电子设计技术
• 关键词: B方法 UML 公交信息综合查询系统
• 年，卷（期）: 2013,（10）
• 所属期刊栏目: 技术应用
• 页码范围: 44-45
• 页数: 2页
• 字数: 1127字
• 语种: 中文

摘要

对形式化B方法与UML结合在软件需求分析中的特点进行了说明,描述了UML设计过程,指出了利用不同的可视框图,表示系统的不同方面,并使用B方法进行表示,从而为建立系统提供保障.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈洁		2	1	1.0	1.0