教学课程资源库 更多>>

关键词： 兴趣主导   Java程序设计   任务驱动   主动学习  

摘要： 针对Java教学过程中理论学习枯燥和动手编程无趣的现状,本文结合在该课程教学过程中的教学方法探索和尝试,探讨了一种兴趣主导的Java程序设计课程案例一体化教学方法。该方法以兴趣主导结合任务驱动和翻转课堂的综合案例教学方法,采用一个项目贯穿整个教学过程的方式,让学生学以致用,激发学生的编程兴趣、倡导主动学习和强化动手能力,提高学生的程序设计能力。该教学方法已经在实际教学中应用并取得良好的效果,希望该文能够给教授同类课程的老师们在教学方法探索和实践过程中提供一种方法参考和借鉴。

关键词： 项目驱动   任务驱动   Java Web   教学改革实践  

摘要： 本文分析Java Web课程的特点和教学中存在的问题,结合项目驱动和任务驱动教学方法进行教学改革实践,从教学设计与实施、教师角色转变、教学模式和考核方式的改革等方面阐述如何开展基于项目—任务驱动的课程教学改革。

关键词： 层次着色Petri网   多线程JAVA程序   自动建模   模型检测  

摘要： 随着软件系统的广泛应用,多线程软件已经成为一类主流的软件系统,算法错误检测也越来越重要。由于并发行为的不确定性,多线程JAVA程序的算法错误检测非常困难,正确性难以保证。传统的基于模型的检测方法存在两方面的弊端,一是手工建模,模型的正确性不易保证,二是建模的工作量很大,效率偏低。因此,本文提出一种多线程JAVA程序的层次着色Petri网(Hierarchical Colored Petri Net,HCPN)模型的自动生成方法。一方面,生成HCPN模型的过程实现了自动化,提升建模效率;另一方面,本文针对程序实现建模,保证了程序和模型的一致性。本文完成了如下工作:(1)多线程程序读取及存储方法:对多线程JAVA程序进行读入、分析及存储处理。其中类声明、函数声明、变量声明语句采用链表存储,每个函数内的程序处理语句采用一棵语句二叉树存储,通过树中当前语句结点的左右子结点区分后续语句的嵌套关系和顺序关系。(2)HCPN模型生成方法:基于声明链表和语句二叉树中的程序信息生成HCPN模型。在模型中采用token流转描述程序中的变量,用颜色集实现变量类型描述,用变量组支持token流转,其中对象依据类的数据成员采用元组处理。用模型子页和替代变迁描述函数定义及函数调用,用模型中的并发结构描述程序中的多线程并发,采用融合集实现全局变量和静态变量在线程间的交互。不同类型的程序处理语句通过相应的标准模型片段完成描述,程序语句的顺序和嵌套关系采用模型片段的连接和嵌套实现。(3)模型文件生成方法:将生成的HCPN模型以CPN Tools标准格式文件输出,该文件可以在CPN Tools中打开并进行ASK-CTL模型检测。最后,通过实例应用及执行效果分析验证了本方法的正确性,说明本文提出的方法能够自动生成与多线程JAVA程序一致的HCPN模型,为后续的粗粒度自动建模方法及模型检测方法研究提供基础。

关键词： 思政教育   计算机专业课   融合  

摘要： 在专业课中融入思政教育,是在高校中开展全过程思政教育的有效途径。本文以《Java程序设计》为例分析计算机专业课与思想政治教育的结合点,分别从教师层面、教学目标、课程内容等三个方面进行分析研究,让思想政治教育融入专业课堂。

关键词： JAVA程序设计   课程   游戏化教学   方案设计  

摘要： 为了更好地激发学习兴趣,本文进行了JAVA程序设计课程游戏化教学方案设计.教学实践表明,该游戏化教学方案能够有效地提升学生学习JAVA编程语言的热情,有效地增加学生自主学习JAVA编程语言的时间,有效地提高学生的学习成绩,具有一定的参考价值.

ISBN: (纸本)9787115504197

ISBN: (纸本)9787566718099

关键词： 微课Java语言   课程改革  

摘要： Java程序设计是众多高校一个十分重要的计算机类基础课程,也是计算机专业十分重要的课程。随着网络的发展,微课已经成为了课程教育的重要手段。为了提高学生们对Java课程的兴趣和认知,提高同学们Java知识和工程实践能力,本文提出了基于提高学生兴趣和实践能力的Java微课教改方案。利用微课方式,在现有的课程教育方案进行相应的改革,即能够引起学生们的兴趣,又可以实现功能能力的锻炼。

关键词： 组件化架构模式   JavaScript应用程序   静态分析   可视化技术  

摘要： 程序理解是软件生命周期中的一个基本过程，但是复杂的软件很少被开发人员完全理解;同时，从源代码中理解复杂的系统行为是一项非常耗时且艰巨的任务[1]。针对这个问题，软件工程领域已经提出了多种解决方案，其中一个主流解决方案就是软件可视化，其旨在使用各种可视化技术促进程序理解过程。　　尽管软件可视化技术已经得到了广泛的研究，但是面向诸如JavaScript等解释型语言的可视化研究仍存在缺失。近年来，随着组件化开发的流行，各类开发框架规范了前端开发，为JavaScript代码的静态分析和可视化带来了研究空间。　　由此，引出了本文的研究课题：组件化架构模式下JavaScript应用程序的可视化研究。本文在调研现有方法和理论的基础上，运用实验软件工程的方法分析了前端组件特征;基于此，本文提出了一套JavaScript静态分析方法;随后，本文将该分析方法和适用的可视化方法进行映射，制定了面向组件化架构模式的JavaScript应用可视化方案。　　首先，本文采用实验软件工程的技术手段，对前端组件从不同架构层次进行了组件特征分析，并与实证相结合提出了前端组件的四种分类：装饰组件、原子组件、意图组件以及容器组件。　　然后，基于提取的组件特征，应用抽象语法树分析技术，本文提出了一套面向基于React框架的JavaScript静态分析方法CBSA(Component-based JavaScript Static Analysis);该方法在抽取组件的同时对组件的分类和组件依赖关系进行了分析。随后，本文以该方法为指导实现了一套包含代码转译、解析及源代码信息抽取的静态分析工具CAJS(ComponentAnalyzer forJavaScript)。　　进一步，本文分别从项目层面和组件层面对JavaScript可视化方法进行了探索和研究;通过对实际需求进行调研并对比现有可视化方法，得出了现有的可视化视觉隐喻与软件相关信息(如静态分析结果等)的映射关系。在此基础上，本文制定了面向组件化的JavaScript应用程序的可视化方案。　　同时，本文实现了一套基于上述研究的可视化原型工具以辅助开发人员进行程序理解。本文还完成了企业级JavaScript应用程序的可视化展示，并从视觉限制、认知复杂度、空间组织结构和信息编码四个方面对其进行了可用性评估。　　最后，对进一步工作的方向进行了简要的讨论。