教学课程资源库 更多>>

关键词： JAVA   项目引领   模块教学法  

摘要： Java程序设计课程是高等院校的核心主干课程，也是面向社会需求培养人才的重点课程之一。该文针对当前Java程序课程在应用型院校存在的教学问题，分析了课程改革的必要性；总结了改革的内容及目标；提出了解决的方法。对如何运用项目引领模块化教学法进行项目模块的分解及如何在项目中融合知识点和实践训练等进行了介绍。通过课程改革激发学生学习兴趣，培养实际应用能力，提高了教学质量。

关键词： 混合教学   网络课堂   Java程序设计   自主学习   计算思维  

摘要： 为了适应我国工程教育的需要,针对传统程序设计课程的"填鸭式"教学,以"先学后教"的教育理念为指导,从培养学生自主学习能力出发,采用基于网络课堂的混合教学模式对Java程序设计课程进行改革探索。教学过程中采用"两平台、五环节"教育模式进行课上讲授、网上学习,提高学生的编程兴趣,培养学生的思维能力与自学能力。实践结果表明,基于网络课堂的混合式教学融合了传统课堂教学和网络教学的优势,能够有效提升学生自主学习能力,提高教学质量。

关键词： “互联网+”   翻转课堂   Java程序设计   教学改革  

摘要： 在"互联网+"时代大背景下,新世纪的高等学校大学生的学习环境,发生了翻天覆地的巨大变化。新型教学模式"翻转课堂"的出现,可以大大的调动大学生的学习积极性,同时也可促进高等学校教师的教育教学水平的提高,起到一箭双雕的作用。通过以《Java程序设计》课程为例,本文给出了一定的建设性意见和建议。

关键词： 混合式学习   高职   网络课程  

摘要： 本文通过对网络课程存在问题的分析,利用混合式学习相关理论提出网络课程设计的策略,以期用以指导网络课程设计、建设及应用。

关键词： 工程思维   增量式项目   Java程序设计   工程教育  

摘要： 针对Java程序设计课程教学过程中的一些问题,提出按照工程教育的思路改革教学模式,加强学生的实践能力,达到学以致用。改革过程中,教学完全在实验室进行,理论与实践交叉进行,并引入增量式项目,将项目分量嵌入到相应知识点的教学。

关键词： 高职院校   Java   Web   软件开发  

摘要： 《Java Web应用程序设计》是高职院校软件技术的专业核心课程,知识点多,实践性强。但目前教学方面存在着内容安排不合理、方法单一、实践性不强及考核方式过于简单等诸多问题,应通过重组教学内容,采取多种教学方法及注重能力与过程考核等多方面的教学改革,才能培养出满足社会需求的Java Web程序设计高技能人才。

关键词： 应用技术型   java语言   课程改革  

摘要： 根据西安培华学院应用技术型人才培养的目标,学院对高级语言类课程提出了新的要求,为了进行课程改革,本文以Java语言程序设计为例详细分析了以往上课学生觉得难懂,以及上课兴趣不浓,对语言应用不熟练等问题,提出了较新的见解,总结出了一些新的教学方案和考核方案等。

关键词： 成效为本   Greenfoot   Java   教学改革  

摘要： Java程序设计课程在高校中的研究已经比较普遍,常见的主要是针对语言本身的技术方面的研究,而对Java课程教学研究和成果较少。为了适应我国工程教育的需要,以"学生为主、成果为驱"的成效为本教育理念为指导,从学生个人能力、兴趣、需求出发,引入Greenfoot的可视化游戏开发平台进行Java课程教学,变"重教学进程"为"重教学成效",变填"鸭式教学"为"兴趣驱动式"教学,强调学生能力和创造性的培养,从而提高教学质量。

关键词： 移动代码安全   扩展下推自动机   面向对象  

摘要： 随着Java应用程序的迅速发展,程序代码安全问题也逐渐引起了人们的重视。虽然各个研究领域都提出很多的安全控制方法,但都存在着非常大的局限性,需要完善。本文主要将扩展下自动机作为核心研究对象,进行了详细分析,希望可以给相关研究人员提供参考。

关键词： Source code analysis   Java   Type resolution   Reflection   Annotation   Program transformation  

摘要： In Java, type resolution is a function that takes a reference to a type occurring in a given context as input and returns the canonical name of that type. This information is fundamental to static analysis-a "must have" function underlying virtually all forms of semantic-based analysis. In the case of Java, this function is also complex and it is quite common to encounter tools where it is implemented incorrectly. This paper presents a novel approach for certifying the correctness of a given type resolution function with respect to an arbitrary Java source code base. The approach uses program transformation to instrument a subject code base in such a way that reflection can then be used to certify the correctness of the type resolution function against the function used by the Java compiler. In this form of certification, the type resolution function of the Java compiler serves as the test oracle.