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