教学课程资源库 更多>>

关键词： 类   对象   封装性   继承性   多态性  

摘要： Java语言是一种面向对象的高级程序语言,其核心思想就是面向对象。这种基本思想实际上就是模拟现实生活求解的一般过程。利用Java语言进行求解问题的基本思想是:分析实际需要求解的问题,从中提取需要设计的对象,然后编写对应的类,最后通过集成对象的功能解决实际问题。

关键词： Java   实践教学   教学改革   教学评价  

摘要： 《Java语言程序设计》在软件开发类课程体系中具有重要地位。本文首先阐明了该课程的性质与教学目标,并指出其实践环节在整个教学过程中的重要性及传统教学模式下存在的问题;其次提出了课程实践教学改革的思想,并阐述了其过程组织的方式方法;最后,介绍了新的针对本实践教学模式的课程考核方式。

关键词： Program verification   Dynamic frames   Frame problem   Data abstraction  

摘要： Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs Leavens et al. (Formal Aspects Comput (FACS) 19:159-189, 2007). The dynamic frames approach is a promising solution to this problem. However, the approach is formalized in the context of an idealized logical framework. In particular, it is not clear the solution is suitable for use within a program verifier for a Java-like language based on verification condition generation and automated, first-order theorem proving. In this paper, we demonstrate that the dynamic frames approach can be integrated into an automatic verifier based on verification condition generation and automated theorem proving. The approach has been proven sound and has been implemented in a verifier prototype. The prototype has been used to prove correctness of several programming patterns considered challenging in related work.

ISBN: (纸本)9787115221681

关键词： Grid computing   gridification   Grid middlewares   JGRIM   dependency injection   mobile Grid services (MGS)   Java  

摘要： The benefits of Grids for building massively distributed applications have been broadly acknowledged However, the high complexity of developing Grid applications compromises the widespread adoption of the paradigm In a previous paper (Future Gener Comput Syst 2008, 24(2) 99-118), we have described JGRIM, a method for easily 'gridifying' Java applications, based on non-invasively injecting Grid functionality into ordinary code through Dependency Injection (DI) DI is similar to the Inversion of Control notion of object-oriented frameworks and allows external services providing certain functionality to be injected into application components that require these services without affecting the components' implementation In this paper, we briefly revisit JGRIM and present m-JGRIM, a novel Java middleware that materializes JGRIM concepts by transforming ordinary applications into entities called Mobile Grid Services, i e gridified applications with mobile capabilities that live within a Grid We also provide an evaluation of the performance of m-JGRIM Grid practitioners should find this paper useful in having an assessment of the practical benefits and costs of gridifying applications with the middleware, and a down-to-earth description of JGRIM, whose advantages for Grid-enabling applications from a software engineering perspective have been already evaluated in (Future Gener Comput Syst 2008, 24(2) 99-118) Copyright (C) 2010 John Wiley & Sons, Ltd

关键词： “1365”教学模式   Java   Web应用程序开发   课程设计  

摘要： 商丘职业技术学院软件技术教学团队在开发国家级精品课程《Java Web应用程序开发》过程中,提出"1365"教学模式,对软件技术专业如何开发基于工作过程的课程做出了改革和探索.阐述了"1365"教学模式的含义、设计和实施过程,以及"1365"教学模式的特点和有利于教学任务完成的优势.

关键词： Java程序设计教学   “做中学”   面向过程考核  

摘要： 在"Java程序设计"教学中,通过基于项目的教学活动的开展,在"做"中给学生创设真实问题环境和协作学习环境,在激发学生"学"兴趣的同时,提升学生的综合能力,对于计算机类教学有借鉴意义。通过自身教学改革的具体案例,描述了这样一个过程,来探讨"做中学"教学过程应注意的一些问题和和面向过程考核的优劣。

关键词： JavaCC   过程蓝图   UML类图  

摘要： 针对软件的维护和更新问题,提出一种基于编译技术、以类图和过程蓝图作为抽象模型的Java程序模型逆向变换方法。从对逆向变换的核心思想——逆向变换规则和机制出发,提出了从Java源代码到UML类图和过程蓝图的逆向变化规则,并用数学的形式进行了精确的定义。针对面向对象语言Java设计了一个逆向变换支撑工具,应用编译技术动态分析了Java源代码,逆向转换生成UML类图和过程蓝图的可视化模型。

关键词： 项目教学法   JAVA   WEB应用开发  

摘要： 随着网页技术的发展以及社会对计算机技能人才的深入发展,社会迫切需要在知识结构、实践能力、基本素质等各方面都有较高水平的JAV AWEB应用人才。高职高专的传统教学模式已经不能适应时代发展的要求。为此,JAVA WEB应用开发必须进行教学方法的改革,坚持从项目教学法入手,突出高职教育的技能性,突出课程教学体系的实用性,使学生能更好的自主学习,提高学生专业知识的社会应用能力。

关键词： 词法分析   测试工具   Java  

摘要： 软件测试是现阶段保障软件质量的重要手段，开发一种客观地有针对性地添加测试数据的工具是十分必要的。变异测试是一种有效的基于故障的测试技术，它排错能力强，既可以用来揭示软件中隐藏的错误，又可以衡量测试用例集对程序错误的揭示能力，评估测试的充分性，是一种有效的测试方法。我们使用变异测试的原理开发一个Java程序的变异测试工具。