面向方面程序设计论文

基于开放时态逻辑的面向方面程序形式化验证和模块推理研究
论文摘要面向方面程序设计（Aspect-OrientedProgramming,AOP）是一种新的程序方法学,代表程序方法学的发展趋势。面向方面程序设计减少由于软件项目重建而带...
面向方面建模技术的研究
论文摘要关注点分离和建立模型是软件工程中降低软件系统复杂度的两个重要手段。面向对象技术在关注点分离与面向对象建模领域取得了重大的进展,但仍然存在不足,尤其是在横切关注点的模块化...
面向方面程序设计的软件复用改进研究
论文摘要程序设计经历了漫长的历程,从结构化程序设计到面向对象程序设计,再到现在的面向方面程序设计。在这个过程中,软件复用越来越得到广泛的关注。随着每次程序设计技术的革新,软件复...
并行程序设计模型若干问题研究
论文摘要长期以来，并行计算机的计算能力持续遵循Moore定律快速增长，新的体系结构不断出现，但并行计算却一直未能真正成为计算的主流。人们逐渐认识到仅仅设计和建造并行硬件是不够的...