10.3969/j.issn.1000-3428.2005.02.001
设计模式形式化方法分析和初步比较
形式化是设计模式发展的必然要求和直接推动力.该文对主要几种方法进行了分析和比较,分别从模式语言、理论基础、语言元素、工具支持等角度来论述.最后,总结了存在的问题,在此基础上预言了未来研究的发展方向.
设计模式、形式化、软件工程
31
TP301(计算技术、计算机技术)
国家重点基础研究发展计划973计划1998030602
2005-03-09(万方平台首次上网日期,不代表论文的发表时间)
共3页
1-2,173