教学课程资源库 更多>>

关键词： JAVA语言   程序设计   研究  

ISBN: (纸本)9787568277143

摘要： 本书通过对Java编程语言的全面介绍，引导读者快速地掌握Java编程语言的核心内容并学会灵活运用所学的语言知识及面向对象的编程思想。全书共分13个部分。内容包括Java语言概述、面向对象编程设计、多线程设计、Java集合框架设计、反射、Socket编程设计、JSP研究、正则表达式与XML操作、JavaScript、Servlet、Ajax、算法与数据结构以及Oracle数据库的研究。本教材可以作为各高等院校相关专业教材，也可供相关人员参考使用。

关键词： 项目化   翻转课堂   教学改革   Java知识  

摘要： Java语言是目前最流行的面向对象的编程语言之一,其应用越来越广泛,整个社会对Java人才的需求量也越来越大。但是从教学实际出发,Java教学与社会严重脱节,学生掌握的Java知识是零散的,不能很好地整合到一起。一旦就业看到一个项目不知从何下手,针对此问题,该文提出的基于翻转课堂的项目化教学改革在《Java程序设计》中的应用势在必行。

关键词： 网络平台   对分课堂   混合型教学  

摘要： 利用互联网资源作为线下教学的补充是当下流行的教学模式,对分课堂近年来在各个高校也已广泛开展。本文针对“Java程序设计”课程,围绕“线上资源+线下对分课堂”的教学理念进行混合型教学。首先设计了该混合型教学方案,再设计具体的教学方法,最后通过一个教学模式的来举例说明。实践证明,该教学模式取得了良好的教学效果。

关键词： 翻转课堂   教学模式   Java程序设计   项目式教学  

摘要： 以Java程序设计课程为例,分析了现有教学模式的现状并指出了不足之处,然后根据该课程特点,提出了基于翻转课堂的项目式教学模式,并从课堂教学实现过程、教学实施方案、课程考核方式三个方面进行了详细论述.

关键词： Java程序设计   教学目标   自主学习   BOPPPS模型  

摘要： 为提高Java程序设计课程教学质量,促进自主学习、培养创新型高技能应用人才,针对Java程序设计课程教学目标及存在的问题,依据BOPPPS模型理论,分析该模型在Java程序设计中的运用。对BOPPPS模型每个理论以1~2个实例作为支撑,分析并改善运用效果,将BOPPPS理论模型恰当融入Java程序设计课程实际教学中。BOPPPS模型对改善Java程序设计课程教学效果、提高学习效率、培养创新应用型人才起到了积极作用。

关键词： Software reuse   Code enhancement   Metadata   Annotations  

摘要： Web browsers have evolved into indispensable software platforms for modern applications. Although JavaScript has become a de-facto lingua franca for developing web applications, the JavaScript software development tools and methodologies lag behind those of languages such as Java and C#. In particular, to enhance JavaScript programs with non-functional concerns (e.g., persistence, security, transactions, and logging) JavaScript developers need to modify the source code by hand. Developers then often end up having to maintain the resulting modified version separately for reasons that include poor design, the complexities of program evolution, and fundamental language limitations. The necessity to modify code by hand could be avoided if JavaScript had metadata facilities for developers to specify non-functional concerns declaratively. To address this problem, we present a novel declarative approach, Transparent Automated Enhancement for JavaScript (TAE-JS) that enhances JavaScript programs with the ability to use declarative metadata. The metadata is expressed by means of Java annotations. We have implemented our technique in an open-source plug-in for the Eclipse IDE. This plugin allows a developer to enhance the original version of a JavaScript program by specifying concerns declaratively using Java annotations. It then analyzes an original version of the program to automatically generate enhanced program versions by adding the declared concerns. We evaluated TAE-JS with four practical examples that enhance JavaScript programs by declaratively adding concerns such as persistence, security, transactions, and logging. In a user study with ten student developers and three professional engineers at PayPal, the participants viewed favorably TAE-JS's flexible declarative enhancement capabilities, seeing them as a valuable mechanism for implementing non-functional concerns in JavaScript programs. Our evaluation results are promising in demonstrating the potential benefits

关键词： SCJ   Missions   Process algebra   Semantics   Refinement  

摘要： Safety-Critical Java (SCJ) is a version of Java for real-time, embedded, safety-critical applications. It supports certification via abstractions that enforce a particular program architecture, with controlled concurrency and memory models. SCJ is an Open Group standard, with a reference implementation, but little support for reasoning. Here, we present SCJ-Circus, a refinement notation for specification and verification of low-level models of SCJ programs. SCJ-Circus is part of the Circus family of state-rich process algebras: it includes the Circus constructs for modelling of sequential and concurrent behaviour based on Z and CSP, and the real-time and object-oriented extensions of Circus, in addition to the SCJ abstractions. We present the syntax of SCJ-Circus and its semantics, defined by mapping SCJ-Circus constructs to those of Circus. We also detail a refinement strategy that takes a Circus design that adheres to a multiprocessor cyclic executive pattern and produces an SCJ program design, described in SCJ-Circus. Finally, we show how this refinement strategy can be extended for more complex program architectures. (C) 2019 Elsevier B.V. All rights reserved.

关键词： 计算思维   Java   程序设计   教学改革  

摘要： 《Java 程序设计》是目前高校计算机相关专业极其重要的程序设计类课程。通过分析Java 课程的特点与目前教学中出现的问题,将计算思维的理念引进本课程,提出面向计算思维的《Java 程序设计》课程教学改革研究,包括合理安排理论和实践学习顺序,基于计算思维的考核和评价方式改革,引用实例突破教学瓶颈,构建新的课程内容体系。实践证明,引入计算思维理念后,将更能增强学生的逻辑思维能力,激发学生学习该课程的兴趣。

ISBN: (纸本)9787302529798

关键词： Java   面向对象   课程设计  

摘要： 在分析Java程序设计课程教学目标的基础上,提出'以学生为中心、以编程思想和实践训练为重点'的授课理念,结合教学实际,具体阐述Java课程课堂教学中应该注意的问题,包括课堂教学和课后练习,着重说明教学设计的3条主线。