基于UML的形式化规范说明研究

• 作者: 梁洪峻 王帆
• 来源期刊: 微处理机
• 学科: 工学
• 关键词: 规范说明 UML 谓词转移
• 年，卷（期）: 2004,（1）
• 所属期刊栏目: 微机软件
• 页码范围: 44-46
• 页数: 3页
• 分类号: TP311
• 字数: 3238字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-2279.2004.01.015

摘要

软件的规范说明阶段(specification phase)对于软件的整体开发过程来说是一个非常重要的阶段,UML方法是目前比较流行的软件工程开发方法,它对软件整体开发过程提供了一套有用的模型.本文根据UML和谓词转换,提出一种面向对象的形式化规范说明方法,并给出一组和UML相对应的数学模型.本文的方法吸收了UML和一般形式化方法的优点,具有数学的严谨性和精确性,并且更加易于理解和表达.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梁洪峻	天津大学计算机系	10	123	4.0	10.0
2	王帆	天津大学计算机系	4	15	1.0	3.0