结合UML和RAISE的软件开发方法研究

• 作者: 明仲
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: UML RAISE 面向对象方法 形式化方法
• 年，卷（期）: 2001,（4）
• 所属期刊栏目: 国家级基金项目论文
• 页码范围: 23-25
• 页数: 3页
• 分类号: TP311.52
• 字数: 4544字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2001.04.009

摘要

面向对象方法形象、直观、使用方便，但难以消除二义性.形式化方法严密、可靠、可验证，但软件规约不直观，不符合开发人员的使用习惯.探讨一种结合面向对象方法UML和形式化方法RAISE的软件开发方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	明仲	深圳大学信息工程学院	64	560	14.0	20.0