教学课程资源库 更多>>

关键词： JAVA语言   程序设计  

ISBN: (数字)9787563549849 ISBN: (纸本)9787563549849

摘要： 本书也可作为高等学校计算机相关专业的专业教材和参考书……

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

摘要： Java程序设计是高职院校软件技术等计算机相关专业的一门重要课程,该课程逻辑性较强、概念抽象、实践性较强。该文就本课程的教学现状进行了分析,并就如何提高课程教学质量进行探讨。

关键词： Java程序设计   模块化教学   立体化课程教学  

摘要： Java程序设计课程是我校面向全校大多数信息类专业的一门重要的技术基础课,是计算机专业的主干专业基础课。经过不断的探索与改革,本文提出了"课程模块化+技能化"教学理念,以"懂、编、用"为教学目标,根据Java程序设计与后续课程Java EE,Java ME的联系,搭建一个完整的课程知识体系,从而保证"学、用"不断线,形成课程学习链,实现课程综合运用能力的有效整合,激发学生学习兴趣,有效提高学生的学习效果。

关键词： 互联网环境   翻转课堂   教学模式   微课  

摘要： 本文以Java语言程序设计课程为例,阐述互联网环境下高职翻转课堂教学模式的构建与实践。

关键词： 项目教学法   Java程序设计课程   实施   评价  

摘要： Java程序设计课程作为高职学校计算机专业的必修课程,作为基础性理论课程,在具体教学中更侧重于学生学习兴趣和动手能力的培养,但传统的教学模式往往更重视理论方面的教学,对实践教学较为忽视,因此需要将项目教学法引入到Java程序设计课程中来,积极的调动学生学习的积极性和主动性,培养学生的分析问题和解决问题的能力。

关键词： Covert channels   Multithreaded object-oriented programming   Scheduler-independent noninterference   Security type systems  

摘要： We introduce a new timing covert channel that arises from the interplay between multithreading and object orientation. This example motivates us to explore the root of the problem and to devise a mechanism for preventing such errors. In doing so, we first add multithreading constructs to Middleweight Java, a subset of the Java programming language with a fairly rich set of features. A noninterference property is then presented which basically demands program executions be equivalent in the view of whom observing final public values in environments using the so-called high-independent schedulers. It is scheduler-independent in the sense that no matter which scheduler is employed, the executions of the program satisfying the property do not lead to illegal information flows in the form of explicit, implicit, or timing channels. We also give a provably sound type based static mechanism to enforce the proposed property. (C) 2016 Elsevier Ltd. All rights reserved.

关键词： Software verification   Static analysis   Program models  

摘要： We present an algorithm for extracting control flow graphs from Java bytecode that captures normal as well as exceptional control flow. We prove its correctness, in the sense that the behaviour of the extracted control flow graph is a sound over-approximation of the behaviour of the original program. This makes control flow graphs suitable for performing various static analyses, such as model checking of temporal safety properties. Analysing exceptional control flow for Java bytecode is difficult because of the stack-based nature of the language. We therefore develop the extraction in two stages. In the first, we abstract away from the complications arising from exceptional flows, and relativize the extraction on an oracle that is able to look into the stack and predict the exceptions that can be raised at each instruction. This idealized algorithm provides a specification for concrete extraction algorithms, which have to provide a suitable implementation for the oracle. We prove correctness of the idealized algorithm by means of behavioural simulation. In the second stage, we develop a concrete extraction algorithm that consists of two phases. In the first phase, the program is transformed into a BIR program, a stack-less intermediate representation of Java bytecode, from which the control flow graph is extracted in the second phase. We use this intermediate format because it provides the information needed to implement the oracle, and since it gives rise to more compact graphs. We show that the behaviour of the control flow graph extracted via the intermediate representation is a sound over-approximation of the behaviour of the graph extracted by the direct, idealized algorithm, and thus of the original program. The concrete extraction algorithm is implemented as the ConFlEx tool. A number of test cases are performed to evaluate the efficiency of the algorithm.

关键词： 开闭原则   Java语言   多态性  

摘要： 在使用Java语言开发软件过程中,好的软件产品必须具有可扩展性好、可维护性及可复用性,也就是软件系统要符合开闭原则的。该文讨论了在软件开发中如何引入接口来实现多态,从而使软件系统满足开闭原则。