首页> 中文期刊> 《西南师范大学学报：自然科学版》 >面向方面程序的精化演算框架

面向方面程序的精化演算框架

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

面向方面程序越来越受到软件工程领域研究者的重视.精化演算已经广泛应用到各种程序设计中,以消除开发过程中的错误.利用精化演算和统一程序理论定义一种面向方面程序的精化演算框架.在该框架中,首先定义了面向方面程序的精化,在此基础上,提出了12条可靠的精化规则,最后用一个例子说明了该框架的可行性.

著录项

来源
《西南师范大学学报：自然科学版》 |2018年第7期|67-74|共8页
作者
谢刚; 张明义; 杨波;
展开▼
作者单位

贵州师范大学大数据与计算机科学学院;

贵州科学院;

贵阳学院数学与信息科学学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
面向方面; 精化; 演算;

相似文献

中文文献
外文文献
专利

1. 一种将设计模式用于程序精化演算的并行程序设计方法研究 [J] . 万剑怡 ,孙永强 ,薛锦云 . 计算机研究与发展 . 2003,第002期
2. 基于程序窗口推理的精化演算 [J] . 王云峰 ,李必信 ,庞军 . 软件学报 . 2000,第008期
3. 从面向方面程序设计的定义到面向方面程序设计语言 [J] . 古思山 ,蔡树彬 ,李师贤 . 计算机科学 . 2011,第010期
4. 从面向方面程序设计的定义到面向方面程序设计语言 [J] . 古思山 ,蔡树彬 ,李师贤 . 计算机科学与探索 . 2011,第010期
5. 互逆主义程序精化——程序精化从形式化到半自动化的发展 [J] . 周训伟 ,鲍泓 . 计算机工程与科学 . 2006,第0z2期
6. 互逆主义程序精化——程序精化从形式化到半自动化的发展 [C] . 周训伟 ,鲍泓 . 中国计算机学会软件工程专委会2006年年会 . 2006
7. 面向方面程序设计(AOP)在Web程序中的应用研究 [A] . 黄文豪 . 2016

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号