【摘 要】
：
主要讨论"面向方面软件开发"或"面向方面编程"要如何运用形式化的相关方法来进行模型检测。简单介绍面向方面软件开发的内容,并运用编译器的理论知识来分析面向方面编程相关
【机 构】
：
苏州大学计算机科学与技术学院,中国科学院软件研究所计算机科学国家重点实验室
【基金项目】
：
江苏省高校自然科学基金项目(编号08KJB520010);中国科学院计算机科学国家重点实验室开放课题(编号SYSKF0908)
论文部分内容阅读
主要讨论"面向方面软件开发"或"面向方面编程"要如何运用形式化的相关方法来进行模型检测。简单介绍面向方面软件开发的内容,并运用编译器的理论知识来分析面向方面编程相关工具的应用。解释面向方面软件开发在测试代码工作上容易遇到的困难点与常见问题,并解释如何运用已知形式化方法来分析描述这些问题,进行模型检测(model checking),找出代码出错的问题点,阐述如何让面向方面软件开发出来的代码更加强固、稳定与可靠。
其他文献
飞天与飞仙本是印度佛教和中国本土道教两大思想体系下的产物。佛教初传中国之时,为了获取国人的心理认同,促进其传播发展,曾一度依附本土道教,致使仙、佛无本质区别。本文选
本翻译实践报告选择一次模拟口译练习作为报告材料，练习的内容是对河北海盐博物馆的中文讲解进行交替传译。由于译前做了充分的准备工作，译时使用了恰当的口译技巧和口译笔记，口
国家行政学院电子政务中心主任王益民近日在中国首届政务发布微博模式探讨高峰论坛上表示,去年底中国网民数量达到5.13亿,微博数量近3亿,政务微博达到5万多个。王益民介绍,政
9月2日，2013广州国际电源产品及技术展览会在广州琶洲保利世贸博览馆正式拉开帷幕，作为国内领先的电源设备专业研发制造商及电力保护解决方案提供商，佛山市新光宏锐电源设备有限
不间断电源（UPS）系统和模块化基础设施解决方案（MIS）设计和制造商——ActivePower（NASDAQ：ACPW）日前宣布，其2013年二季度业绩较历史同期上涨34％。公司董事长AkeAlmgren博士表示，模块化
基于十二相同步发电机电路模型,分别对其整流系统的四个整流桥串联和并联两种结构进行了解析计算.在适当的简化条件下,推导出各自整流电压和相电流的计算公式,并通过了试验验
关于加强农机化技术推广工作的几点思考曹建军随着社会主义市场经济体制的建立和农村经济体制改革的逐步深化，农机化技术推广工作也正面临着新的形势。面对这种形势，我们各级从
宝星电力UPS远赴非洲日前，宝星一批电力UPS漂洋过海，抵到西非。为马里国家奥委会提供电力保障。
词类范畴化问题一直以来都是语法研究的老大难问题，词类等语言范畴的研究甚至被2014年“德国语言学会第36届年会”誉为语言学中的“上帝粒子”研究。尽管在理论上语言学家就词
随着"欧盟市民权"概念的提出,欧盟开始加强对辖区内公民的基本经济权利的保护。而具体到航空运输领域,欧盟则是通过制定条例的方式来进一步保障消费者的权益能够在司法实践中