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

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