教学型本科院校计算机专业Java教学之我见

根据教学型本科院校在办学定位、人才培养模式以及专业结构和课程设置上的特点,在分析Java语言教学的定位、内容与重点的基础上,本文阐述如何提高Java教学质量的一些观点,结合计算机专业的教学实际,在程序设计课程方面取得提高学生理论水平和实践能力的效果。     

基于事务模型的升级程序设计与实现

项目需要实现软件系统的在线升级,软件系统比较复杂,升级脚本程序需要做多种操作才能完成升级.要求软件系统在升级成功后,具有恢复到前一版本的能力;当升级失败时,能恢复到升级前的状态.通过分析软件系统的组成、配置,借鉴数据库系统中的事务系统原理,设计了一个升级脚本程序模型,并按此模型实现了升级脚本程序,满足了项目需求.     

基于FJ的多版本类动态更新演算

针对面向对象软件在动态更新中遇到类型安全问题,定义了一个多版本类的动态更新演算(MCUFJ演算(multi-version class dynamic updamble calculus based on FJ calculus))来描述类动态更新.MCUFJ演算以FJ(featherweight Java)演算为核心,通过增加update操作表示类的动态更新,运用多版本技术使动态更新可以在保持新旧对象共存的情况下完成,讨论了类的数据域和方法进行增加、删除、修改以及类型变化对程序类型安全性的影响,并且指出MCUFJ上类型安全的动态更新需要满足的约束.定义了类的可动态更新限制,并且证明了在该条件下多版本类的动态更新在类型上的安全性.该演算可以用于指导Java语言和面向对象程序语言的类动态更新.     

类动态更新事务研究

针对软件单个类的动态更新操作存在许多限制,例如不允许删除类、方法等,提出类动态更新事务的方法,利用动态更新类集来克服这些限制,同时保证更新的安全性。基于此,对动态更新事务的一些属性,如ACID进行讨论,提出类型安全的类动态更新事务并进行了证明。最后,以Java语言为例,说明了如何构造动态更新程序,并进行了相应的实验,说明了方法的可行性。     

基于Java 语言的移动端软件开发研究

移动设备的大量产生,使人们将目光转移到移动端软件开发当中,通过研发出各种各样的移动端软件,能够有效满足人们的生活、学习、生产需求,极大程度地推动了社会经济增长。本文对Java 语言在安卓系统软件开发中的应用优势进行探讨,分析了Java 语言对安卓系统软件架构的影响,并以加密软件的开发为例对基于Java 语言的移动端软件的开发流程进行了探讨。     

软件外包人才培养的Java程序设计课程改革

软件外包业务是软件行业发展的新增长点,目前迫切需要软件外包人才。本文提出软件人才培养的Java语言程序设计教学改革方案,以软件外包工作过程为导向,开发软件外包人才的课程培养方案,然后以软件外包项目驱动课程整体设计和单元设计,通过团队协作方式完成项目实践任务,最终完成软件外包人才的培养过程,取得良好成果。     

A robust reconfiguration protocol for the dynamic update of component‐based software systems

This paper focuses on the dynamic reconfiguration of component‐based software systems. From a structural point of view, such systems are made of components linked together through their provided and required services, the code of components being defined by modules (e.g., jar files). Today, the ability to reconfigure component‐based systems at runtime faces limitations. Some component frameworks allow to dynamically reconfigure components – starting or stopping them, or changing how they are wired together for instance – but forbid any dynamic evolution of the modules defining their code. Other frameworks allow to dynamically update modules but at the cost of loosing control on component wires, preventing software architects or tools alike to decide how components are wired together. In this paper, we propose a component framework that addresses these limitations through a unified approach for the management of components and modules. Our approach uniquely enables to reconfigure both components and modules at runtime, without restrictions. We prototyped the proposed framework in Java and exercised various dynamic reconfigurations of component‐based systems. Furthermore, we formalized this framework and proved the correctness of its reconfiguration protocol with the Coq proof assistant. Copyright © 2017 John Wiley & Sons, Ltd.     

Establishing structural testing criteria for Java bytecode

This paper describes intra‐method control‐flow and data‐flow testing criteria for the Java bytecode language. Six testing criteria are considered for the generation of testing requirements: four control‐flow and two data‐flow based. The main reason to work at a lower level is that, even when there is no source code, structural testing requirements can still be derived and used to assess the quality of a given test set. It can be used, for instance, to perform structural testing on third‐party Java components. In addition, the bytecode can be seen as an intermediate language, so the analysis performed at this level can be mapped back to the original high‐level language that generated the bytecode. To support the application of the testing criteria, we have implemented a tool named JaBUTi (Java Bytecode Understanding and Testing). JaBUTi is used to illustrate the application of the ideas developed in this paper. Copyright © 2006 John Wiley & Sons, Ltd.     

关于Java语言程序设计在教学应用中的探究

作为互联网上最流行的编程和开发语言,Java语言程序设计已经成为一些高校很多专业的必修课程,文章结合笔者自己的教学实际,从不同的角度进行了阐述和说明。     

一种可检测Java程序盗版的动态胎记技术

针对Java程序易盗版的特点,提出了一种新的动态软件胎记技术。首先将Java程序进行转换得到其字节码集合U,然后利用动态程序切片技术得到U在特定输入I下的子集S,最后采用k-gram胎记提取算法得到S的一个特征值序列作为软件胎记。实验分析显示这种胎记能很好地抵抗各种程序变换攻击,具有很强的置信性和鲁棒性,并能有效地检测程序盗版行为。     

JAVA小程序与应用程序及相互转化

由于JAVA应用程序与小程序运行环境、运行方法不同，因此他们之间的转换具有一定的意义，如何实现他们之间的相互转换就是本文宗旨所在。     

基于面向对象程序的类动态更新研究

从理论和实际2个方面出发，对面向对象程序动态更新的不同侧面进行研究，提出解决面向对象程序动态更新的方法。引入动态更新事务的概念，既克服了面向对象程序更新只能对类实行一些简单更新的限制，又保证了更新的类型安全性。对于Java程序设计，提出一种可动态更新程序的Java设计方法。实验结果表明，该方法是有效可行的。     

JAVA小程序与应用程序及相互转化

由于JAVA应用程序与小程序运行环境、运行方法不同,因此他们之间的转换具有一定的意义,如何实现他们之间的相互转换就是本文宗旨所在。     

基于Java内存模型的并发程序模型检测

为了提高性能,Java内存模型允许编译器在优化过程中改变代码的执行顺序,同时该技术也会造成共享数据的更新顺序与本来的执行顺序不同。在多线程Java并发程序中,这些代码乱序执行会引起很多难以发现的错误。现有的Java程序模型检测技术并没有考虑这些顺序改变的问题。因此,本文提出了一种建立包含多线程交互及线程内代码乱序执行的完整模型,并利用模型检测工具进行穷举检测的算法。该算法可以发现原有技术无法发现的新问题,更好地检测高可靠性要求的Java并发程序。     

Java EE核心模式研究

论文主要研究了Java EE系统架构,使用该架构带来的优点以及在此平台基础上的典型Java EE核心模式,围绕在一般项目中应用较广泛的几种Java EE核心模式以及使用各个模式带来的优点和缺陷,如何选择合适的模式以及综合使用这些模式进行设计和开发,如何对Java EE多种核心设计模式进行有效的选择并最终整合以形成一个完美企业级应用的解决方案.     

A critique of Java

Our experience of using Java is disappointing: as a programming language (irrespective of its implementations and libraries), Java itself leaves much to be desired. This paper discusses a few serious problems with Java's design, which leads us to suggest that the language definition should have been an integral part of the design process rather than, as appears, a retrospective commentary. Copyright © 1999 John Wiley & Sons, Ltd.     

高职Java程序设计课程教学改革探索

目前,枯燥、抽象以及难懂是我国高校计算机专业的大多数学生在学习Java程序设计课程时遇到的问题,因此,高职院校要改革此课程的教学模式,采取多种多样的教学手段和方法,激发学生对该课程的学习兴趣,使学生的编程能力得到全面提升。本文首先分析了传统教学模式存在的问题,在此基础上,对高职Java程序设计课程的教学改革进行了相应的探索。     

Java语言中抽象类和接口的应用探究

接口和抽象类在使用上比较类似,但是对于其选择却又往往反映出对于问题领域中的概念本质的理解。首先对抽象类和接口的使用提出疑问,接着介绍了抽象类、接口的概念并进行理解说明和举例,最后对抽象类与接口的区别和联系进行比较和分析,对其使用的异同点进行总结,以便读者设计出更加高效、强大的了Java程序。     

对Java语言中范型的研究

由浅入深地介绍了Java语言中新引入的语法结构——范型的概念、用法以及使用上的一些限制,并从Java范型的实现机制上,讨论了范型为什么在使用上有这些限制。     

基于Java RMI的数据库代理集成研究

该文从代理与非代理集成的基本模型出发,讨论了如何用JavaRMI技术去实现将一个非代理的数据库系统集成到一个代理系统中去,让代理软件可以访问非代理的数据库系统。