计算机工程2001，Vol.27Issue(4)：23-25,3.
结合UML和RAISE的软件开发方法研究
Research on Software DevelopingMethod of Integrating UML and RAISE
摘要
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.关键词
UML/RAISE/面向对象方法/形式化方法分类
信息技术与安全科学引用本文复制引用
明仲..结合UML和RAISE的软件开发方法研究[J].计算机工程,2001,27(4):23-25,3.
