教学课程资源库 更多>>

关键词： 多线程程序   数据竞争   程序切片   静态分析   竞争检测  

摘要： 多线程并发程序的广泛使用引发了更多的数据竞争问题,竞争检测对于提高软件质量具有重要意义。将竞争静态检测和静态切片分析结合起来,提出了一种基于类的Java数据竞争静态检测算法,该算法利用函数调用层次获得函数调用链,对类域进行分析,找出可能数据竞争,通过静态切片缩小程序分析范围,并结合数据竞争的必要条件,去掉不可能数据竞争。实例表明,该算法可用于指导修复程序中的竞争缺陷。

关键词： Java程序设计   项目化教学   教学改革  

摘要： 本文从实际教学出发,探讨项目化教学改革在《Java程序设计》课程中的应用,其中对教改过程中的项目选定、实施方法.项目考核进行了详细的介绍,并取得了满意的效果.

关键词： 项目教学   程序   实验  

摘要： 项目教学法在教学活动中的运用和体现,是指在教学实践过程中教师以项目为驱动的一种教学行为。在Java程序设计实验教学中,教师应该设计规模适中的项目,在实验过程中以项目作为驱动向导,在项目的实施过程中以项目促学习,从而提高教学能力。

关键词： Java程序设计   对比教学   启发式教学   类库学习  

摘要： 在Java理论课程教学方法的研究与实践方面,提出推行"学生为主体,教师为主导"的研究型课堂教学模式、进行对比教学、引入Java的新动向和新应用等措施激发学生的学习积极性;在实验课程教学方法的研究与实践方面,介绍如何设计由简到繁、具有原创性的实验,鼓励学生从不同的角度思考问题和实现任务,培养学生的自主学习能力;在考试模式的研究与实践方面,探讨如何采用合理的考试模式、体现过程考核的重要性、优化考试内容等,更加合理地评价学习效果。

关键词： Spring   Security安全框架   Java应用程序   应用开发  

摘要： 随着近年来信息网络技术的飞速发展和广泛应用,如何保证联网的应用程序不被非法侵入,防止重要数据的泄漏等,是当前应用程序使用过程中较为关注的话题。本文从企业Java应用程序主要使用的Spring框架出发,对其中最为常用的Spring Security安全框架进行分析。举例说明了如何使用Spring Security开发安全的Java程序,从而说明Spring Security安全框架为企业的应用程序安全提供了有效的解决方案。

ISBN: (纸本)9787564328566

关键词： 工作过程   Java程序设计   教学模式   项目教学   案例教学  

摘要： 随着我国高职教育规模的不断壮大,教学内容与社会实际严重脱钩、人才培养与市场需求存在偏差等问题日益严重。为提高教学质量,培养能力型技术人才,就需要改革教学模式。引入以工作过程为导向的职业教育理念,介绍如何将基于工作过程的教学模式应用在Java程序设计课程中。

关键词： 网络考试系统   JAVA程序设计  

摘要： 设计实现"网络考试系统"软件项目,既可以作为学生的综合开发实训项目,也可以用于日常的练习测试或期末考试。

关键词： Java   Android   教学改革  

摘要： 对Java程序设计语言课程教学的教学模式和教学内容进行了探讨,在分析了现有教学模式弊端的基础上,从教学实验平台、教学内容、教学方式和成绩考核方面进行了探索与改革,提出了Java程序设计语言课程的新型教学模式。实践证明,该教学改革方案切实可行,取得了较好的教学效果。

关键词： Java   程序切片   静态  

摘要： 当前程序切片的相关理论已经较为成熟,但针对Java程序的静态切片工具却非常少见。为便于展开切片应用研究,设计并实现了一个基于系统依赖图的Eclipse切片插件——Slithice。该插件支持不同粒度的底层分析和系统依赖图构建,从而可以使切片算法能够在精度和性能之间进行权衡,适应各种规模程序的分析需要。