AOP改进访问者模式—分离横切关注点

本文阐述了传统OO方法实现访问者模式的原理,并分析了存在的问题及其产生的原因;在此基础上用AOP编程思想对访问者模式进行了改进设计,同时进一步分析了AOP改进访问者模式的优越性。

设计模式在GIS系统开发中的运用

本文提出了FACTORY METHOD(工厂模式)、COMPOSITE(组合模式)和COMMAND(命令模式)在G IS系统开发中的设计方案,并详细讨论了目前运用的比较少的VISITOR(访问者模式),发现VISITOR模式对于G IS系统中空间算法的管理来说是一种有效的设计模式。实验发现通过使用这些设计模式,G IS系统变的更加灵活,并具有可重用、可扩充和可移植等优点。

基于SOFL规范的语义分析

传统的形式化方法局限于严格的证明、对程序员要求较高的教育背景,使其举步维艰。于是作为形式化方法与面向对象的联姻的SOFL(Structured Object-Oriented Formal Language)便应运而生。在给出语义分析的整体算法后,逐步分析各个阶段遇到的关键问题并给出解决方法,同时在参考其他语言的基础上,定义了SOFL中一些语义规则。

Android应用安全缺陷的静态分析技术研究

随着移动互联网的快速发展,智能手机特别是Android智能手机的用户日益增多,Android应用的安全缺陷层出不穷。将Android应用安全缺陷分为漏洞缺陷、组件缺陷和配置缺陷等三方面,针对这些安全缺陷,对字节码文件进行静态分析,将解析的Android字节码作为检查载体,采用访问者模式为每一种脆弱性检测设计检测器。最后给出了部分代码实现,实践证明能够满足Android应用安全缺陷的静态检测需求。