JAVA代码相关论文
近年来，Android智能手机和Android移动应用迅速发展，Android应用提供了丰富的功能以及良好的用户体验。大多数移动应用都能在智能手......
面向方面的程序设计(Aspect-Oriented Programming,AOP)是一种全新的程序设计方法,其核心旨在克服面向对象程序设计中抽象建模的局......
成功的大规模系统被称为遗留系统。这些系统具有巨大的商业价值。但是因为它们的体积庞大,并且缺乏文档信息,所以难于维护。其中相......
安全协议分析和验证在信息安全领域占有重要地位。目前，安全协议形式化方法分析和验证主要集中在对实用性较差的安全协议抽象规范分......
针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法。首先,对UML类图和时序图进行形式化描......
有两类攻击可能会威胁应用程序的安全性：静态威胁和动态威胁。开发人员不能完全控制动态威胁，但对于静态成胁，是可以采取一些预防措施......
事先将在同一视点环绕拍摄的多幅部分重叠的图像正投影合成为一幅无缝的图像文件-柱面全景图,它代表在拍摄点看到的周围360度视角......
在大型企业系统中，Java代码中的内存泄漏是常见而且难于解决的问题。这些泄漏问题通常是在正式生产环境中出现的，而且也很难在开发与......
在JDK 1.4的新特性中，NIO无疑是最显著和鼓舞人心的。NIO的出现事实上意味着Java虚拟机的性能比以前的版本有了较大的飞跃。在以前......
Google Web Toolkit（GWT）的一个重要特性是允许开发人员在纯Java的环境中编写以浏览器为宿主的Web应用，GWT将Java代码翻译成针对特定......
介绍了静态分析的相关背景知识,对Java程序中数组越界和空指针错误的常见表现形式进行了归类,并通过实验评估了现有的Java静态分析......
Java具有内建的并行机制,但它是一种较低水平的并发模型.JAC基于对顺序JAVA代码扩展注释来描述并发机制,使得并行逻辑与应用逻辑分......
