论文部分内容阅读
面向方面程序越来越受到软件工程领域研究者的重视.精化演算已经广泛应用到各种程序设计中,以消除开发过程中的错误.利用精化演算和统一程序理论定义一种面向方面程序的精化演算框架.在该框架中,首先定义了面向方面程序的精化,在此基础上,提出了12条可靠的精化规则,最后用一个例子说明了该框架的可行性.
面向方面程序的精化演算框架
【摘 要】
：
面向方面程序越来越受到软件工程领域研究者的重视.精化演算已经广泛应用到各种程序设计中,以消除开发过程中的错误.利用精化演算和统一程序理论定义一种面向方面程序的精化
【机 构】
：
贵州师范大学大数据与计算机科学学院,贵州科学院,贵阳学院数学与信息科学学院
【出 处】
：
西南师范大学学报：自然科学版
【发表日期】
：
2018年7期
【基金项目】
：
国家自然科学基金项目（61309006,61563011）, 贵州师范大学资助博士科研项目
其他文献
辩论赛是思维活跃的大学生普遍喜爱和热衷参与的活动。结合所授课程,笔者开展了将辩论赛引入课堂教学的改革探索。课堂教学引入辩论赛的实践包括辩论赛的发动、辩题的确定、
在《品德与生活》、《品德与社会》教科书中,学校制度生活得到了一定程度的呈现,包括学校制度生活内容、形成以及意义诸方面。这种呈现其实渗透着教育、学校、个体等各方面的
针对目前常用滤波算法对图像噪声滤除效果差的问题,提出了针对图像滤波的分层FDR阈值滤波算法.该算法对图像经小波分解后最底层的低频系数和各层水平、垂直、对角3个方向的高频系数分别进行多假设检验,并确定出各层各方向上的阈值,最后分别进行阈值化处理.通过对Lena,Cameraman图像进行对比仿真实验,结果表明该算法在信噪比、峰值信噪比、均方误差等方面均优于中值滤波、通用阈值算法、FDR算法和自由分布
泉州传统建筑装饰艺术丰富别致、生动感人,它形成的一个重要因素是受到各大宗教的影响。各大宗教共同生存,相互融合,形式多样的宗教寺院和带有宗教色彩的建筑装饰形成了泉州
<正> 龙——这华夏民族的图腾、炎黄后裔的象征,多少年来,吸引着无数学者从不同角度对它作过种种考证与探求。其中,最著名的要算闻一多先生的《伏羲考》等文章。闻先生认为龙
互联网金融提升了金融效率,使日常交易更便捷、交易成本更低,但它同时也带来了巨大的风险.因此,如何防范该风险成为亟待解决的问题.文章分析了该模式下个人、互联网金融机构
关于上海及相关地区吸引外资建立综合物流中心的若干问题姚伟福一、集装箱运输业正走向综合物流时代从８０年代中期开始，集装箱运输业为了加强竞争优势，满足现代货主越来越高的运输
个人权利与公共利益发生冲突时的权重无论在理论上还是在实践中都是一个重要课题,这种关系在房屋征收与拆迁中表现得最为典型。尽管在终极意义上公共利益优先,但难点却在于如
<正>自20世纪90年代中期以来,教育研究在内容和形式上均呈现出多样化发展的趋势,但也存在着不够"科学"(缺乏实证资料支持)或过于"科学化"(过分追求定量研究意义上的"客观性"