10.3969/j.issn.1000-3428.2001.04.009
结合UML和RAISE的软件开发方法研究
面向对象方法形象、直观、使用方便,但难以消除二义性.形式化方法严密、可靠、可验证,但软件规约不直观,不符合开发人员的使用习惯.探讨一种结合面向对象方法UML和形式化方法RAISE的软件开发方法.
UML、RAISE、面向对象方法、形式化方法
27
TP311.52(计算技术、计算机技术)
国家自然科学基金79840761 843
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共3页
23-25