设计模式的形式化研究及其EMF实现

摘要	第1-9页
Abstract	第9-14页
第一章 绪论	第14-23页
·问题陈述	第14-15页
·研究内容	第15-18页
·研究现状	第18-22页
·组织结构	第22-23页
第二章 背景知识及相关工具介绍	第23-34页
·定理证明器Coq介绍	第23-24页
·EMF及Kermeta简介	第24-32页
·JML简介	第32-34页
第三章 模式的形式化描述	第34-63页
·模式结构的形式描述	第34-45页
·模式结构的Kermeta实现	第45-56页
·模式行为的形式描述	第56-62页
·小结	第62-63页
第四章 模式管理系统	第63-92页
·模式的实例化	第63-75页
·模式的演化	第75-86页
·模式的实现	第86-90页
·小结	第90-92页
第五章 实例研究	第92-127页
·工厂方法模式的形式化描述	第92-100页
·组合模式的形式化描述	第100-111页
·调停者模式的形式化描述	第111-126页
·小结	第126-127页
第六章 结论及进一步工作	第127-129页
附录A 辅助函数	第129-134页
参考文献	第134-145页
致谢	第145-146页
在读期间完成的论文目录	第146-147页
作者在攻读博士学位期间取得的其它成果	第147页