教学课程资源库 更多>>

关键词： Java程序设计   教学方法   改革  

摘要： 从提高学生的创新能力和实践能力出发,根据教学实践中的经验,讨论了Java课程教学方法、教学手段和方式以及考核办法的改革。

关键词： 程序设计   教学改革   教学方法  

摘要： 许多高职院校计算机专业都开设《Java程序设计》课,由于Java语言实践的复杂性和开发环境的特殊性,如果仍然采用传统的高级语言教学模式进行教学,势必影响教学效果.因此可以从教学过程安排、教学内容选择、教学目标制定和成绩考核方法等四个方面进行教学改革.

关键词： 多线程Java程序   安全相关行为模型   静态检查   参数化扩展上下文无关文法  

摘要： 多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程程序,文中采用参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,给出了从多线程Java程序自动生成安全相关行为模型的方法,形式地描述了静态检查该模型是否满足安全策略的实现,并应用到携带模型代码方法的实现框架中.该方法为安全执行非信任多线程Java移动代码提供了有效支持.

关键词： Software birthmark   Software copyright protection   Software theft detection   Java bytecode analysis  

摘要： A software birthmark refers to the inherent characteristics of a program that can be used to identify the program. In this paper, a method for detecting the theft of Java programs through a static software birthmark is proposed that is based on the control flow information. The control flow information shows the structural characteristics and the possible behaviors during the execution of program. Flow paths (FP) and behaviors in Java programs are formally described here, and a set of behaviors of FPs is used as a software birthmark. The similarity is calculated by matching the pairs of similar behaviors from two birthmarks. Experiments centered on the proposed birthmark with respect to precision and recall. The performance was evaluated by analyzing the F-measure curves. The experimental results show that the proposed birthmark is a more effective measure compared to earlier approaches for detecting copied programs. even in cases where such programs are aggressively modified. (C) 2009 Elsevier B.V. All rights reserved.

关键词： 应用程序接口   银行   照相机   计算机外部设备   数据处理   信息交流   接口   接口(数据处理)   Java (程序设计)   程序设计  

标准号: BS CWA 16008-11-2009

关键词： Glyph   Visualization Software   Graphical Element   Zoom Level   Custom Data Model  

摘要： Background: Visualization software can expose previously undiscovered patterns in genomic data and advance biological science. Results: The Genoviz Software Development Kit (SDK) is an open source, Java-based framework designed for rapid assembly of visualization software applications for genomics. The Genoviz SDK framework provides a mechanism for incorporating adaptive, dynamic zooming into applications, a desirable feature of genome viewers. Visualization capabilities of the Genoviz SDK include automated layout of features along genetic or genomic axes;support for user interactions with graphical elements (Glyphs) in a map;a variety of Glyph sub-classes that promote experimentation with new ways of representing data in graphical formats;and support for adaptive, semantic zooming, whereby objects change their appearance depending on zoom level and zooming rate adapts to the current scale. Freely available demonstration and production quality applications, including the Integrated Genome Browser, illustrate Genoviz SDK capabilities. Conclusion: Separation between graphics components and genomic data models makes it easy for developers to add visualization capability to pre-existing applications or build new applications using third-party data models. Source code, documentation, sample applications, and tutorials are available at http://***/.

关键词： Software testing   Object-Oriented programming   Aspect-Oriented programming   Structural testing   Integration testing   Testing criteria   Testing Object-Oriented programs   Testing Aspect-Oriented programs   Java  

摘要： Several testing approaches focus on finding faults in software units of implementation. A problem not addressed by unit testing is the interaction among units, with respect to the correctness of their interfaces. In this paper a structural integration testing approach for Object-Oriented (00) and Aspect-Oriented (AO) Java programs is presented. To make the activity more feasible, we address the testing of pairs of units (i.e., methods and pieces of advice). A model called PWDU (PairWise Def-Use) graph to represent the flow of control and data between pairs of units is proposed. Based on the PWDU, the following family of testing criteria is defined: all-pairwise-integrated-nodes (control-flow based), all-pairwise-integrated-edges (control-flow based), and all-pairwise-integrated-uses (data-flow based). To evaluate the proposed approach, an implementation of the criteria in a testing tool is presented along with an example of usage and an exploratory study. The study with 7 AO programs that are also 00 was conducted to investigate the cost of application and usefulness of the approach. Results provided evidence that the criteria are practical and useful for integration testing of 00 and AO programs. (C) 2009 Elsevier B.V. All rights reserved.

关键词： 应用程序接口   银行   数据处理   识别证   信息交流   集成电路卡   接口   接口(数据处理)   Java (程序设计)   磁性卡片   磁条   程序设计  

标准号: BS CWA 16008-3-2009

关键词： Java   字节码   字节码验证机   类装入器   安全管理器  

摘要： 本文以实例的方式讨论了Java的底层安全系统。Java的安全模型被分为三个主要的防范区域:byte-code verifier(字节码验证机)、class loader(类装入器)和security manager(安全管理器),Java的安全模型为Java程序的执行建立了一个智能的自动防止故障的装置。

关键词： 应用程序接口   银行   计算机外部设备   数据处理   信息交流   接口   接口(数据处理)   Java (程序设计)   程序设计   扫描器(计算机)  

标准号: BS CWA 16008-13-2009