教学课程资源库 更多>>

关键词： 计算机外部设备   数据处理   银行   接口(数据处理)   计算机终端   JAVA(编程)   信息交换   界面  

标准号: BS CWA 13937-5-2000

关键词： 界面   信息交换   JAVA(编程)   接口(数据处理)   银行   数据处理   计算机外部设备  

标准号: BS CWA 13937-4-2000

关键词： 界面   接口   信息交流   银行   数据处理   计算机终端   计算机打印机   计算机外部设备  

标准号: CWA 13937-6-2000

摘要： This document describes the printer device class based on the basic architecture of J/XFS which is similar to the JavaPOS architecture. It is event driven and asynchronous.

关键词： 数据处理   银行   接口(数据处理)   信息交换   JAVA语言(程序编制)   界面  

标准号: BS CWA 13937-1-2000

关键词： 信息交流   接口   界面   银行   数据处理  

标准号: CWA 13937-1-2000

摘要： J/XFS defines a standardized interface to all common financial devices which can be used by applicantions and applets written in the Java programming language. One of the reasons why these new banking applications are written in the Java language is that these programs are supposed to run on many different hardware platforms. One of the main obstacles in doing platform independent programming is accessing devices. One of the main goals of this standard is to allow access to banking devices in a 100% pure Java way on both thin and thick clients, e.g. on a network computer as well as in a Linux, WinNT, OS/2 or Unix workstation.

关键词： 界面   信息交换   探针   JAVA(编程)   接口(数据处理)   银行   数据处理   显示装置(计算机)   计算机外部设备  

标准号: BS CWA 13937-8-2000

关键词： 计算机外部设备   计算机终端   数据处理   银行   信息交流   接口   界面  

标准号: CWA 13937-5-2000

摘要： This document describes the printer device class based on the basic architecture of J/XFS which is similar to the JavaPOS architecture. It is event driven and asynchronous.

关键词： 分布式对象   应用程序   软件开发   CORBA   Java  

摘要： 介绍了分布式对象规范CORBA、Java技术以及二者之间的结合优势 ,并通过一个具体实例详细给出了基于CORBA/Java开发分布式应用程序的方法和步骤。

关键词： 形式化开发   需求规约   程序框架   Java语言  

摘要： 提出了一种能将形式化定义的并行系统需求规约转换为Ｊａｖａ并行程序框架的技术．Ｊａｖａ并行程序框架的线程中含有前后断言，可用传统的串行系统转换技术转换为可执行的Ｊａｖａ代码。从而将并行系统的形式化开发问题转换成了串行系统的形式化开发问题。

关键词： dynamic data flow analysis   instrumentation   Java   software testing  

摘要： A large portion of high-level computer programs consists of data declaration. Thus, an increased focus on testing the data flow aspects of programs should be considered. In this paper, we consider testing the data flow in Java programs dynamically. Data flow analysis has been applied for testing procedural and some object-oriented programs. We have extended the dynamic data flow analysis technique to test Java programs and show how it can be applied to detect data flow anomalies. (C) 2000 Elsevier Science B.V. All rights reserved.