教学课程资源库 更多>>

关键词： 项目驱动教学   Java程序设计   教学改革模式  

摘要： 项目驱动、案例教学是计算机专业教学改革的一个新的尝试。主要介绍项目驱动教学法在高职计算机软件专业核心课程《Java程序设计》教学过程中开展的情况,分析项目驱动、案例教学法在教学过程中的应用情况。

关键词： SIGTS   教学改革   教学方法  

摘要： 目前很多高校的程序设计课程都设置Java语言的教学.程序设计语言类教学中存在课程内容零散、难度大、考核内容与教学重点不尽吻合,学生兴趣不浓、动手能力较差等诸多问题,有必要对其进行改革.本文从采用多媒体和网络教学改进教学手段和方法,加强实践环节教学,着重培养学生的动手能力和再学习能力等方面介Java语言程序设计教学的改革.

ISBN: (纸本)9787560623139

ISBN: (纸本)9787302200406

关键词： 网络教育   远程教育   课程开发   JAVA  

摘要： 本文在调研国内外网络课程的基础上,系统地分析了网络课程的现状,总结了网络课程开发与应用方面存在的问题,提出了网络课程开发的设计原则、资源规划和开发模式。 在设计原则方面,本文从总体设计、结构设计、内容设计、页面设计、工具设计五个方面对网络课程的设计原则进行了阐述,提出了以学生为中心的总体设计、模块化的结构设计、以活动为中心的内容设计、强化引导作用的工具设计等内容。 在资源规划方面,本文分析了常见的课程资源,比较了以教材加光盘为中心和以在线电子资源为中心的两种不同风格的网络课程,提出了以在线电子资源为中心的网络课程资源配置方式。 在开发模式方面,本文比较了不同的网络课程开发模型之间的优点和不足,提出了新的开发模式——迭代模型。 最后,本文以北京邮电大学网络教育学院开设的《高级程序语言(JAVA)》课程作为研究对象对所得出的结论进行了验证。 同时,本文设计开发了JAVA虚拟实验系统,有效地降低了学习资源对使用者信息素养的要求。

关键词： JAVA (Computer program language)   MACHINE theory   TEMPORAL automata   RECURSIVE functions   PROGRAMMING languages (Electronic computers)  

摘要： The model checking tools Uppaal and VerICS accept a description of a network of Timed Automata with Discrete Data (TADDs) as input. Thus, to verify a concurrent program written in Java by means of these tools, first a TADD model of the program must be build. Therefore, we have developed the J2TADD tool that translates a Java program to a network of TADDs;the paper presents this tool. The J2TADD tool works in two stages. The first one consists in translation of a Java code to an internal assembly language (IAL). Then, the resulting assembly code is translated to a network of TADDs. We exemplify the use of the translator by means of the following well-known concurrency examples written in Java: race condition problem, dining philosophers problem, single sleeping barber problem and readers and writers problem.

关键词： 面向对象   程序切片   系统依赖图   ISDG   多态性  

摘要： 程序切片是一种有效的程序分析技术,它能根据给定的切片准则从源程序中提取出所需部分进行分析,如进行程序调试、测试、程序重构分析等。程序切片技术在结构化程序中已有较广泛的应用,但对于像Java这样的面向对象语言程序,其研究与应用还存在一些待解决的问题。作为典型的面向对象编程语言,Java程序的切片技术很有代表性。Java程序中的参数传递、多态性、异常处理、多线程等问题,是当前程序切片技术研究领域的重点和难点问题。 论文通过对Java语言程序特性的分析,特别是方法间依赖关系的分析,应用了一种改进后的系统依赖图(ISDG)进行Java程序多态性研究。首先针对子类和父类方法间的依赖关系对每个重写或覆盖后的方法构造局部的系统依赖图(LSDG),再针对对象间的依赖关系构造不含对象方法间依赖关系的系统依赖图(SDG)。最后针对对象方法间的依赖关系在上一步的系统依赖图中添加方法间的依赖边,得到改进后的系统依赖图(ISDG)。使用ISDG成功地解决了Java程序中多态性表示的问题。同时,本文还使用了一种Java程序的切片准则,并给出其基于ISDG的切片算法。 为了使ISDG更具有普遍性和实用性,论文将ISDG扩展到了更为复杂的多态性问题,并针对在复杂的ISDG中存在着大量重复的局部ISDG这一现象,提出了解决办法：将重复调用的节点标记为重用的叶子节点。从而简化了ISDG,降低了复杂度,提高了效率。通过与采用插桩法的OODSDG进行比较,进一步论证了ISDG的特点和优势。

关键词： JAVA语言-程序设计-高等学校：技术学校-教材  

摘要： 本书介绍了Java语言的专业理论与实用技能。全书共分12个项目，通过项目主要介绍了Java编程基础、用户界面GUI设计、网络与通信编程、线程、数据库编程、JSP的使用等知识。

ISBN: (纸本)9787811238181

关键词： Java教学   面向对象   实践教学  

摘要： 本文主要针对Java的教学,提出实际基础教学的观点,分析并总结了关于Java教学中采用的教学思路、教学方式和方法。