教学课程资源库 更多>>

关键词： JML   Java Card   JCML   Compiler   Runtime Verification  

摘要： Java Card is a version of Java developed to run on devices with severe storage and processing restrictions. The applets that run on these devices are frequently intended for use in critical, highly distributed, mobile conditions. They are required to be portable and safe. Often, the requirements of the application impose the use of dynamic, on-card verifications, but most of the research developed to improve safety of Java Card applets concentrates on static verification methods. This work presents a runtime verification approach based on Design by Contract to improve the safety of Java Card applications. To this end, we propose JCML (Java Card Modeling Language) a specification language derived from JML (Java Modeling Language) and its implementation: a compiler that generates runtime verification code. We also present some experiments and quality indicators.

关键词： “Java程序设计”   教学改革  

摘要： 对"Java程序设计"课程教学中存在的问题及原因进行了研究和分析;以提高学生学习兴趣和教学质量为目的,针对性地提出了这门课程的教学改革思路、手段和方法。

关键词： 面向对象   图形编辑   接口  

摘要： 面向对象的代表语言JAVA日趋流行,它的应用范围也越来越广泛。在此背景下,文中针对JAVA在图形编辑领域中的应用从结构方面进行了探讨和研究,以接口的灵活运用为手段实现了结构的优化,并突出了接口在程序构筑中的"桥梁"作用。可以看出,以对象为主题构建的主体结构和接口的适当穿插,使整个图形编辑程序在实现了多种功能的前提下,结构清晰,简明高效,并且可以在需要的时候很方便地对程序功能进行扩充。另外,文中的例子也反映出基于JAVA的编程过程中类的继承和接口的实现两者间重要的互补性,通过两者的结合,往往可以使疑难杂症迎刃而解。

关键词： Java教学   教学方法改革   项目  

摘要： 目前,虽然很多高校都将《Java程序设计》作为计算机专业的核心课程,但是在教学过程中却出现了学生参与不积极,教学效果差等问题。本文分析了造成这种状况的原因,提出了一种适应《Java程序设计》课程的教学模式,并讨论了实施过程中的注意事项。

关键词： JAVA语言   面向对象程序设计   教学改革   程序设计  

摘要： Java语言是Java体系的基础语言,是目前流行度最高的语言,软件产业对Java程序员需求量较大。本文分析了Java语言教学中存在的问题,探讨了学生学好该门课程的关键,从教学内容、实践环节、教学手段、教师素质、激励手段等方面进行教学改革探讨。在实际教学中进行改革之后,学生学习主动性明显增强,分析问题、解决问题能力大大提高,基本上能灵活运用Java语言进行程序设计,为后续课程的学习打下了良好的基础。

关键词： Historical seismological data   Java   Software   b-Value   Kampan  

摘要： The seismological records of past events provide insight into the seismic activities in an area. They help in preparing long-term plans to manage earthquake disasters. We present a system to display and analyse historical seismological data using the Java-based software application Kampan 2006. This interactive multi-purpose tool can display and analyse seismological data with a simple click of the mouse. The design and development of Kampan 2006 strictly followed the concepts of software engineering. We used the programming capabilities of Java to the fullest extent in developing Kampan 2006. (C) 2009 Elsevier Ltd. All rights reserved.

ISBN: (纸本)9787302205142

关键词： Java程序设计   课堂教学   教学设计  

摘要： 以Java程序设计课程为例，从教学模式设计、课堂教学采取的具体措施、现代教育手段的应用3个方面，阐述这门课程的课堂教学改革，有一定的推广价值。

关键词： Java   教学改革   项目驱动   一体化教学  

摘要： 探讨基于岗位工作任务遴选教学内容,以建构主义学习理论构建课程模块,以项目驱动来设计教学方法,以整体设计、单元设计、专业教室来实施"教、学、做"一体化,按照"三位一体分层迭代"改革考核方式等方面进行Java程序设计教学的改革。

关键词： 教学改革   教学模式   多模式教学   四步教学法  

摘要： 通过对Java语言程序设计课程教学方法的分析,探讨了Java语言程序设计课程教学内容、教学方法的改革思路,提出了多模式四步教学法。