| 结合UML和RAISE的软件开发方法研究 |
| |
| 引用本文： | 明仲. 结合UML和RAISE的软件开发方法研究[J]. 计算机工程, 2001, 27(4): 23-25 |
| |
| 作者姓名： | 明仲 |
| |
| 作者单位： | 深圳大学信息工程学院, |
| |
| 基金项目： | 国家自然科学基金资助项目(79840761843) |
| |
| 摘 要： | 面向对象方法形象、直观、使用方便，但难以消除二义性。形式化方法严密、可靠、可验证，但软件规约不直观，不符合开发人员的使用习惯，探讨一种结合面向对象方法UML和形式化方法RAISE的软件开发方法。
|
| 关 键 词： | 软件开放方法 UML RAISE 软件工程 面向对象 |
| 文章编号： | 1000-3428(2001)04-0023-03 |
| 修稿时间： | 2000-10-19 |
Research on Software Developing Mothed of Integrating UML and RAISE |
| |
| MING Zhong. Research on Software Developing Mothed of Integrating UML and RAISE[J]. Computer Engineering, 2001, 27(4): 23-25 |
| |
| Authors: | MING Zhong |
| |
| Abstract: | UML can be easily understood for its picture notation. Users can also use it easily because it conforms to the user's custom. RAISE is a popular formal method in Europe currently. Formal method can improve the quality of software because it has a solid mathematic basis and can be verified.But it is hard to use because the user must has good knowledge of maths and the specification can not be easily understood.A new method of developing software that integrates UML and RAISE is given in this paper. |
| |
| Keywords: | UML(unified modeling language) RAISE(rigorous approach to industriat software engineering) Object-oriented method Formal method |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
