首页 | 本学科首页   官方微博 | 高级检索  
     

面向方面程序的精化演算框架
作者姓名:谢刚  张明义  杨波
作者单位:贵州师范大学大数据与计算机科学学院;贵州科学院;贵阳学院数学与信息科学学院
摘    要:面向方面程序越来越受到软件工程领域研究者的重视.精化演算已经广泛应用到各种程序设计中,以消除开发过程中的错误.利用精化演算和统一程序理论定义一种面向方面程序的精化演算框架.在该框架中,首先定义了面向方面程序的精化,在此基础上,提出了12条可靠的精化规则,最后用一个例子说明了该框架的可行性.

本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号