设计模式形式化方法分析和初步比较

作     者：陈澎 

作者机构：中国科学院成都计算机应用研究所成都610041 

基　　金：国家"973"计划基金资助项目(1998030602) 

出 版 物：《计算机工程》 (Computer Engineering)

年 卷 期：2005年第31卷第2期

页      码：1-2,173页

摘      要：形式化是设计模式发展的必然要求和直接推动力。该文对主要几种方法进行了分析和比较,分别从模式语言、理论基础、语言元素、工具支持等角度来论述。最后,总结了存在的问题,在此基础上预言了未来研究的发展方向。

主 题 词：形式化方法 设计模式 求和 工具 支持 角度 语音 发展 必然要求 推动力 

学科分类：0810[工学-土木类] 0808[工学-自动化类] 0839[0839] 08[工学] 0835[0835] 0701[理学-数学类] 0811[工学-水利类] 0812[工学-测绘类] 081202[081202] 

核心收录：

D　O　I：10.3969/j.issn.1000-3428.2005.02.001

馆 藏 号：203140922...