形式化规约论文

基于开放时态逻辑的面向方面程序形式化验证和模块推理研究
论文摘要面向方面程序设计（Aspect-OrientedProgramming,AOP）是一种新的程序方法学,代表程序方法学的发展趋势。面向方面程序设计减少由于软件项目重建而带...