【摘 要】
：
主要讨论"面向方面软件开发"或"面向方面编程"要如何运用形式化的相关方法来进行模型检测。简单介绍面向方面软件开发的内容,并运用编译器的理论知识来分析面向方面编程相关
【机 构】
：
苏州大学计算机科学与技术学院,中国科学院软件研究所计算机科学国家重点实验室
【基金项目】
：
江苏省高校自然科学基金项目(编号08KJB520010);中国科学院计算机科学国家重点实验室开放课题(编号SYSKF0908)
论文部分内容阅读
主要讨论"面向方面软件开发"或"面向方面编程"要如何运用形式化的相关方法来进行模型检测。简单介绍面向方面软件开发的内容,并运用编译器的理论知识来分析面向方面编程相关工具的应用。解释面向方面软件开发在测试代码工作上容易遇到的困难点与常见问题,并解释如何运用已知形式化方法来分析描述这些问题,进行模型检测(model checking),找出代码出错的问题点,阐述如何让面向方面软件开发出来的代码更加强固、稳定与可靠。
其他文献
飞天与飞仙本是印度佛教和中国本土道教两大思想体系下的产物。佛教初传中国之时,为了获取国人的心理认同,促进其传播发展,曾一度依附本土道教,致使仙、佛无本质区别。本文选
本翻译实践报告选择一次模拟口译练习作为报告材料，练习的内容是对河北海盐博物馆的中文讲解进行交替传译。由于译前做了充分的准备工作，译时使用了恰当的口译技巧和口译笔记，口
国家行政学院电子政务中心主任王益民近日在中国首届政务发布微博模式探讨高峰论坛上表示,去年底中国网民数量达到5.13亿,微博数量近3亿,政务微博达到5万多个。王益民介绍,政
基于十二相同步发电机电路模型,分别对其整流系统的四个整流桥串联和并联两种结构进行了解析计算.在适当的简化条件下,推导出各自整流电压和相电流的计算公式,并通过了试验验
词类范畴化问题一直以来都是语法研究的老大难问题，词类等语言范畴的研究甚至被2014年“德国语言学会第36届年会”誉为语言学中的“上帝粒子”研究。尽管在理论上语言学家就词
随着"欧盟市民权"概念的提出,欧盟开始加强对辖区内公民的基本经济权利的保护。而具体到航空运输领域,欧盟则是通过制定条例的方式来进一步保障消费者的权益能够在司法实践中