教学课程资源库 更多>>

关键词： java   内存泄漏   垃圾回收   虚拟机  

摘要： java语言的一个显著特点是它通过java虚拟机和垃圾回收机制管理着大部分的内存事务,但是在java程序中还是可能存在内存泄漏问题;避免内存泄漏的关键,就是要了解它发生的原因。本文首先分析导致java内存泄漏的原因,然后介绍一个检测内存泄漏的工具及其应用,文章的最后介绍一些典型的泄漏,使其在软件开发中起到抛砖引玉的作用,以便读者在java程序开发中尽量避免内存泄漏。

关键词： 多线程   Java   交通控制   程序  

摘要： 通过形象、典型的“智能交通控制程序”实例,剖析目前流行的面向对象程序设计语言Java中最精彩的部分———多线程处理机制,并按照面向对象程序设计技术的要求,详述智能交控程序的编程过程,其中用到目前最流行的UML(统一建模语言)技术。

关键词： Java程序   Jar   运行   SUN公司   面向对象   可移植性   分布式   多线程  

摘要： Java是SUN公司于1995年推出的一种简单的动态语言，因性能优异．具有面向对象、分布式、解释的健壮安全、结构中立、可移植性多线程．自推出以来。倍受关注，应用越来越广。

关键词： MVC模式   struts   JSF   spring  

摘要： 在当今的Web软件开发中,MVC模式已成为一种标准。本文对MVC模式进行了描述,并简单介绍了几种基于Java的优秀的MVC架构软件。

关键词： Java   Web程序   软件测试   单元测试   JUnit  

摘要： 分析了Java语言的Web应用程序的特点,并给出了用JUnit测试工具实现单元测试的实例,说明了该单元测试技术在软件测试中的具体实现方法。

关键词： 面向对象程序设计   Java   C^++  

摘要： Java程序设计是面向对象的程序设计,本文介绍了Java语言的基本特点,比较了Java与C++的主要区别,详细的讨论Java程序设计教学的基本内容和教学难点,包括语法学习和类库学习以及面向对象的编程思想。

关键词： JAVA   程序设计   格式转换  

摘要： 由于JAVA应用程序与小程序运行环境、运行方法不同,因此他们之间的转换具有一定的意义,如何实现他们之间的相互转换就是本文宗旨所在。

ISBN: (纸本)7115141681

关键词： abstraction   software verification   open product  

摘要： In this paper we propose a modular framework for program analysis, where multiple program analysis tools are combined in order to exploit the particular advantages of each. This allows for "plugging together" such tools as required by each verification task and makes it easy to integrate new analyses. Our framework automates the sharing of information between plugins using a first order logic with transitive closure, in a way inspired by the open product of Cortesi et al.. We show how to use our framework for static assertion checking by adapting the interprocedural dataflow analysis of Ball and Rajamani. We describe our implementation of a prototype checker for a subset of Java which combines predicate abstraction, 3-valued shape analysis and a decidable pointer analysis. We demonstrate through an example the increase in precision that our approach can provide.

关键词： 设计模式   MVC   JAVA应用程序  

摘要： 首先介绍了MVC设计模式和它在软件开发中的重要作用,分析了MVC各部分的工作原理和协作关系。然后重点阐述了如何利用MVC设计模式进行JAVA应用程序的设计。