毋庸置疑,形式化方法对大型软件系统的可靠性扮演着重要的角色,然而传统的形式化方法局限于严格的证明、对程序员要求较高的教育背......

本文提出了FACTORY METHOD(工厂模式)、COMPOSITE(组合模式)和COMMAND(命令模式)在G IS系统开发中的设计方案,并详细讨论了目前运......

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

随着移动互联网的快速发展,智能手机特别是Android智能手机的用户日益增多,Android应用的安全缺陷层出不穷。将Android应用安全缺......

在经济快速发展的今天,人们对成本和效率有了更高的要求。为了打破平台对用户的束缚,充分利用已有的成果,平台迁移或数据迁移已经......

随着企业应用系统复杂性的日益增加,企业应用系统向着产品化发展的趋势逐渐上升。为了解决软件人员在设计开发过程中的非功能性问......

传统的形式化方法局限于严格的证明、对程序员要求较高的教育背景，使其举步维艰。于是作为形式化方法与面向对象的联姻的SOFL（Struct......