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的软件开发方法.
展开▼