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

Research on Software Developing Mothed of Integrating UML and RAISE

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

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.