![基于契约式设计的VeriJava编程语言设计]()
论文摘要基于契约进行程序验证的理论最早出现于20世纪70年代对大型系统的研究之中。20世纪90年代,BertrandMeyer首次将契约式设计（DesignbyContract...
![基于J2EE的引航管理信息系统的研究及应用]()
论文摘要今天，越来越多的开发人员都想编写分布式的、事务型的企业级应用程序，实现平衡速度、安全及保证服务器方的可靠度。在当今快速变换需求的电子商务及信息技术的世界里，企业应用需要...
![面向方面程序调用图分析工具的设计与实现]()
论文摘要多年以来,面向对象编程（Object-OrientedProgramming,OOP）作为软件开发领域的主要编程范式,大大提高了软件代码的模块性、可重用性,降低了软件的...
![基于构件与面向方面编程技术的信息系统的研究和应用]()
论文摘要随着社会信息化程度的提高,人们对于信息系统的开放性、灵活性和重用性都提出了更高的要求,企业应用系统的开发也受到了新的挑战。如何快速开发能够满足不同需求且高质量的应用系统...
![面向方面编程在单元测试中的研究与应用]()
论文摘要单元测试是为了发现软件设计的最小单位（程序模块）中存在的错误而进行的测试工作。作为软件项目中最早介入的测试工作，单元测试是集成测试和系统测试的基础，单元测试的成功与否直...
![基于AOP及迭代复合加密算法的日志系统设计与开发]()
论文摘要面对信息时代和急剧膨胀的能源需求，电力部门急需改进现有的用电管理系统以达到高效统计电量数据、全面分析电力市场、科学制订电价政策及准确预测电力增长等目的。随着网络与信息技...
![企业应用系统安全平台的关键技术研究及实现]()
论文摘要当今企业应用系统的特点是规模大、数量多、功能复杂。因此,企业应用系统对安全的需求也大大提高了。除了传统的认证、授权、审计等功能性需求外,对安全提出了更高的需求:一是安全...
![一种基于形式概念分析的语句级方面挖掘方法]()
论文摘要本文的主题是一种方面挖掘方法,方面挖掘也就是从已知的OOP系统中识别出候选方面并将他们从中抽取出来封装进入可以描述的方面中。将一个OOP系统改造成为一个AOP系统是为了...
