教学课程资源库 更多>>

关键词： Java语言   多线程   程序设计   网络阻塞  

摘要： 在Java语言产生前，传统的程序设计语言的程序同一时刻只能单任务操作，效率非常低，例如程序往往在接收数据输入时发生阻塞，只有等到程序获得数据后才能继续运行。随着Internet的迅猛发展，这种状况越来越不能让人们忍受：如果网络接收数据阻塞，后台程序就处于等待状态而不继续任何操作，而这种阻塞是经常会碰到的，此时CPU资源被白白的闲置起来。

关键词： JBuilder7开发   JBoss3开发   JaVa应用程序   软件环境   数据库   程序语言  

摘要： 本文着重介绍使用JBunder 7与JBoss 3开发、部署Java应用程序。

关键词： JAVA程序设计   网络课程   课件制作   课程模型   HTML模型   JavaScript   ActiveX文档  

摘要： 本文介绍了“JAVA程序设计”网络课程的制作研究与实现。包含采用软件构架的VRAPS模型建立的“JA-VA程序设计”网络课程模型和HTML模型。用JavaScript技术生成的灵活的导航系统。采用组件对象模型COM/COM+建立的ActiveX文档,它用来演示“JAVA程序设计”网络课程的例子。

关键词： 局域网   软件开发   J2EE技术   系统结构   JAVA   WEB开发环境   日雨量表  

摘要： 在局域网环境下,开发业务软件需要考虑的一个问题是资源如何共享,采用WEB是解决方案之一.

关键词： Java语言   运行   网页   程序  

摘要： 本文介绍了用Java制作既能独立运行又能嵌入网页运行的聊天程序的总体实现方案,详细说明了其中涉及的主要技术和方法。

关键词： Oracle数据库   大对象   Java   数据存储   数据读取   网络应用程序   JSP  

摘要： 介绍了Oracle数据库中大对象的概念和应用,并以实际开发中的程序为例,阐述了在JSP开发中使用Java程序实现对数据库中大对象的存储和读取的方法。

关键词： 面向对象   Java语言   软件开发   MWC模式   应用程序  

关键词： Java程序   逆向工程   形式化方法   Hoare  

摘要： 在程序不断演化的过程中,变得越来越难于理解,软件的维护也成为软件工程师的难题.最后,如果对程度进行了非常多的改变,那么就有必要用逆向工程和设计恢复技术来理解系统的当前行为.对程序代码的逆向工程是建立关于系统的更高级抽象的过程,以便能够更好的理解那些遗产系统或者处于老年状态的系统.体系结构的改变和编程方法的改进(包括在软件开发中使用形式化方法和面向对象编程技术)都促进了对程序代码进行逆向工程和再工程的需求.同时,还有一些需求,像保持现有系统的功能和推理修改后代码的正确性等需求,都可以从通过逆向工程产生的形式化规约中得到帮助.该文提出了一种对Java程序在较低级别上进行逆向工程的方法.这个方法先用前端程序对源代码进行词法分析,给出抽象语法树,从中找出系统的关键方法,并用形式化方法对这些关键部分的语义进行说明,从而帮助维护人员和再工程人员对程序和系统进行理解.该文用到的形式化方法是基于Hoare逻辑的,采用最强后件谓词转换技术及Hoare理论中的部分正确性语义.最后,该文描述一个实验性的工具JavaSpec,并对它的应用进行了简单的介绍.

关键词： Java programming language  

摘要： We have introduced a formal model (high-level operational machine) of asequential Java-like program in the style of abstract state machines. An algebraic model of anobject class of an object-oriented programming language has been elaborated with this aim. As aresult, the denotational semantics of the basic class components (fields, constructors, and methods)has been defined for the subsequent use for interpreting expressions and statements. This is thedenotational part of the approach suggested. The transition of our machine from one state to anotheris the operational part of the approach. The use of the formal operational machine made it possibleto get a high level of abstraction, which cannot be obtained in a pure operational approach, andsimplicity of mapping, which cannot be obtained in a pure denotational approach based on the use ofsome universal mathematical structures as denotations. Each object in our machine possesses a stateand a unique identity. An object identity is represented by a reference that is an element of aspecial reference sort. The state is represented by a number of instance variables, whose values canbe updated. These variables are naturally defined in the model as functions on the sets ofreferences undefined on the value null. The object state can be observed or updated by a method thatis a state-dependent function. The result of an updating method is an update set, which is awell-defined mathematical structure. Therefore, the semantics of such a method is given by a set offunctions producing update sets. The state is an implicit parameter for all method declarations andan implicit result for state updating methods, like in Java and other object-oriented pro- gramminglanguages. This also allowed us to make the declaration methods similar to their declarations inJava-like languages. We have shown that our model supports all important aspects of Java-likelanguages, namely, inheritance, overloading, overriding, and late binding. Because of la

关键词： information hiding   abstract data types   computer security   hierarchical module system   name-space management   dynamic linking   Java  

摘要： We present a new module system for Java that improves upon many of the deficiencies of the Java package system and gives the programmer more control over dynamic linking. Our module system provides explicit interfaces, multiple views of modules based on hierarchical nesting and more flexible name-space management than the Java package system. Relationships between modules are explicitly specified in module description files. We provide more control over dynamic linking by allowing import statements in module description files to require that imported modules be annotated with certain properties, which we implement by digital signatures. Our module system is compatible enough with standard Java to be implemented as a source-to-source and bytecode-to-bytecode transformation wrapped around a standard Java compiler, using a standard Java virtual machine (JVM). Copyright (C) 2003 John Wiley Sons, Ltd.