用UML和Object-Z描述交互式系统的接口规格说明

• 作者: 丁峰 沈钧毅 邓勇
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 交互式系统 UML object-Z 用户接口
• 年，卷（期）: 2002,（10）
• 页码范围: 1169-1172
• 页数: 4页
• 分类号: TP311
• 字数: 3491字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2002.10.005

摘要

随着图形用户界面的普及,交互已成为目前软件系统的一个重要特征.与传统的基于字符界面的软件系统相比,基于图形用户界面的软件系统,从某种程度上可看作是一个交互式系统.形式化的规格说明具有精确性、无二义性和一致性等优点,用形式化说明语言来描述交互式系统用户接口的规格说明有很强的实用价值.由于形式化的规格说明的可读很差,因此可以采用标准的对象建模语言UML来帮助对形式化规格说明的理解.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈钧毅	西安交通大学软件研究所	211	4319	32.0	55.0
2	邓勇	西安交通大学软件研究所	12	296	7.0	12.0
3	丁峰	西安交通大学软件研究所	15	325	8.0	15.0