教学课程资源库 更多>>

关键词： Java   汉字   编码   字符集  

摘要： 从编码出发,分析了在Java中可能会产生编码问题的两个环节,并对不同情况给出了有效的解决方法。

ISBN: (纸本)9787301122839

关键词： Java   动手能力   自学能力  

摘要： 本文针对Java语言程序设计课学生的动手能力和自学能力薄弱的问题,结合近年来的教学经验,从课堂教学、阶段性实验、总结性实验、测评和延伸课堂教学五个方面进行了实践探索。

ISBN: (纸本)9787563514236

关键词： JAVA语言-程序设计  

摘要： 新编高等院校计算机科学与技术规划教材:本书以大量实例详细介绍如何使用Java进行面向对象的程序设计、GUI的程序设计、网络通信应用的程序设计、数据库应用的程序设计和Web应用的程序设计等。

ISBN: (纸本)9787564107925

关键词： Program generation   B method  

摘要： This work proposes a methodology for the rigorous development of Java Card smart card applications, using the B Method. Its main feature is to abstract the particularities of Java Card and smart card aware applications from the specifier as much as possible. In the proposed approach, the specification of the aplication logic needs not be preoccupied with the specific aspects of the Java Card platform (in particular, communication between the card acceptance device and the smart card itself). Platform-specific code can then be automatically generated during the refinement and code generation process. An interesting side-effect of this approach is that the specification may be reused with any other platform of implementation.

关键词： RMI   distributed systems   caching  

摘要： Remote Method Invocation (RMI), a mechanism to access remote objects in Java-based distributed applications, uses network communication for each method invocation. Consequently, using RMI in a wide-area environment can cause poor application performance. One solution to improve performance is to cache the objects such that network communication is not necessary:for each method invocation. In this paper, we present mechanisms to transparently add object caching to RMI These mechanisms are compatible with existing RMI applications and use an event-based model to support different consistency policies. The mechanisms also include the ability to adaptively select the consistency policy for an object based on its usage pattern. A novel feature of our mechanisms is the use of a 'reduced object', which is a partial representation of the RMI object. We experimentally evaluate and demonstrate the benefits of our mechanisms. Copyright (C) 2006 John Wiley & Sons, Ltd.

关键词： call graph   library callback   Java analysis  

摘要： Call graphs are widely used to represent calling relationships among methods. However, there is not much interest in calling relationships among library methods in many software engineering applications, such as program understanding and testing, especially when the library is very big and the calling relationships are not trivial. This paper explores approaches for generating more accurate application call graphs for Java. A new data reachability algorithm is proposed and fine tuned to resolve library callbacks accurately. Compared with an algorithm that resolves library callbacks by traversing the whole-program call graph, the fine-tuned data reachability algorithm results in fewer spurious callback edges. In empirical studies, the new algorithm shows a significant reduction in the number of spurious callback edges. On the basis of the new algorithm, a library abstraction can be calculated automatically and applied in amortized slicing and dataflow testing. Copyright (C) 2007 John Wiley & Sons, Ltd.

关键词： J-coupling   NOE   Java   applet  

摘要： We present a Java applet, based on the open source Jmol program, which allows the calculation of coupling constants and NOEs from a three-dimensional structure. The program has all the viewing features of Jmol, but adds the capability to calculate both H-H and H-C 3-bond couplings constants. In the case of H-H couplings, the Altona equation is used to perform this. The program also calculates NOES using the full relaxation matrix approach. All these calculations are driven from a simple point and click interface. The program can calculate values for multi-structure files, and can produce input files for the conformational fitting program NAMFIS. Copyright (c) 2007 John Wiley & Sons, Ltd.