基于JavaSDG的Java程序参数依赖性分析

基于一种带有标签的Java程序描述（JavaSDG）,给出JavaSDG中的过程依赖图（PDG）的形式化定义,然后分析Java程序方法调用引起的参数之间的依赖关系。并比较基于SDG和基于JavaSDG两种程序分析方法的异同,基于JavaSDG的Java程序分析方法构造的PDG具有结点少、可以重用、可以并发构造等优点。     

MFC程序与Java程序之间的数据交换

Internet编程有很多困难,其中之一是用不同语言编写的程序之间如何实现通讯;另一个困难是如何利用现有的程序,本文讨论如何利用ODBC强大功能访问数据库,同时建立一个Java程序的用户界面。     

Java程序的静态故障注入工具

对DrJava和50个Java语言开源项目的程序故障(差错)模式进行了分析,为其中一批比较常见的故障模式构建了故障模拟操作.设计并实现了一个基于BCEL库的字节码级Java程序故障注入系统原型,它以静态方式对Java目标程序进行故障模式扫描和故障注入,并给出相应的报告.对Java示例程序所进行的故障注入实验初步验证了所开发的原型的有效性.     

Java字节代码程序的部分计值

为了有效地构造一个Java部分计值器，并且形式化地描述计值规则，提出了Java字节代码程序的静态语义，在此基础上构造了一个online的Java部分计值器，为今后能够建立一个完善而且实用的计值器提供了基础。     

关于C程序移植再编译方法的研究--计算机判阅c程序题的改进方法

c语言程序题的判阅是计算机考试中的重要部分。以往计算机判阅c语言程序题时，由于学生编写的c语言程序题死循环程序比较多，导致了计算机死机的问题。因此提出了C程序移植到vc 程序环境中再编译执行的方法，当出现死循环情况，对其执行的对话框进行关闭，解决了计算机死机的问题。     

以自然语言为界面实现VC＋＋程序的自动生成

本文提出以自然语言为界面实现程序自动生成的研究成果。该研究系统使用面向对象的方法与技术,以自然语言为输入界面,使用扩充的格语法进行语法语义分析,将用户描述的VC 期望程序功能的汉语篇章依次进行自动切词处理、语法处理、语义分析理解、目标程序的自动生成,最终形成满足用户要求且符合Visual C 语法的结果程序。     

基于PAT树的程序静态分析方法

软件测试是软件工程的重要组成部分，程序静态分析技术是软件测试中静态测试的基础，该技术通过对程序源代码进行分析以发现其中的错误．文章提出了一种程序静态分析方法，建立了一个树形结构的模型PAT（Program Analysis Tree）形式化描述了Java程序，准确地描述了Java程序的逻辑结构．最后给出了一个基于此模型的程序分析方法．     

进程创建与检测程序的实现

抽象了操作系统中的进程概念，在多任务并行工作环境下，为保证多任务执行的协同性，给出了C builder 3．0 For Windows环境下进程创建与检测程序的实现方法。可供应用程序开发设计进行参考。     

面向对象程序设计语言C++中多态性的实现方式

多态性是面向对象程序设计语言C＋＋的重要概念之一。本文详细讨论了在C＋＋中多态性的4种实现方式、各自的特征以及在程序设计中的应用，最后以过4种实现方式进行了比较。     

Java程序的优化

本文通过使用Jayap对Java语言的字节代码进行分析，找到程序中产生瓶颈的原因，给出程序的优化方法。     

用VC++6.O开发拨号上网程序

越来越多的应用程序要求在程序中实现直接拨号上网.介绍了如何在中文Windows95/98操作系统上用VC++6.0开发实现拨号上网的程序.     

用VC++的多线程技术设计应用程序界面

用VC++6 .0开发基于Windows操作系统上的应用程序界面的基本原理及其实现方法 ,可直接使用VC++6 .0MFC开发Win32Application标准窗口的程序 该程序实现了藏文字输入平台的界面设计 ,其主要功能是多线程设计 ,执行动画封面 ,软件工具条的隐藏与显现     

基于DLL的Borland C＋＋语言设计Windows应用程序

本文介绍了ＤＬＬ的基本概念，使用和设计的方法与技巧，根据具体的需要，即模拟绘图，使用Ｗｉｎｄｏｗｓ下的开发工具ＢｏｒｌａｎｄＣ＋＋，开发出满足功能要求的ＤＬＬ，在应用程序中调用ＤＬＬ函数，从而实现了函数资源的共享。     

关于3x＋1问题的推广

推广了3x 1问题，得到一个一般意义的运算法则，用计算机验证了这个猜测。     

基于COM 组件的分布式DSS模型系统的开发

分布式决策支持系统将决策支持系统运用于网络环境中,是决策支持系统发展的一个重要趋势,针对分布式系统的特点,COM 组件标准提供了一个可靠的、高效的开发环境,该文通过一个基于AHP方法的COM 应用程序的开发,介绍了一个分布式DSS模型系统的开发过程。     

从过程式程序到Prolog程序

ＰＲＯＬＯＧ是一种人工智能语言，它与过程控制语言在数据结构，程序结构和程序设计方法等许多方面都不相同。本文描述了如何从过程的观点出发，编写ＰＲＯＬＯＧ程序，可帮助熟悉过程控制语言的程序员使用ＰＲＯＬＯＧ。     

程序分片技术及应用

程序分片是一种分析和理解程序的技术。系统介绍程序分片的概念，计算方法及分片工具，应用领域，研究现状和发展趋势等方面的问题。     

ESSAP程序设计

ESSAP程序(Static alialyse program for etectrical switchs)为在 IBM—PC/XT,AT 及其兼容机上开发的用于求解非常规非线性平面梁柱系统静力问题的专用软件。它主要适用于对各类电器开关结构的求解。除了适应微动开关的求解外,还特别适应推推电源开关、按钮开关等类似结构的求解,后者与微动开关的主要差别是:求解中两个或两个以上的动节点合为一个动节点以及一个节点位移受另一个节点的约束(即同步约束)。能求解推推电源开关和按钮开关的程序在国内属首次推出,国外类似的程序亦尚未见报道。     

Applesoft动态程序

利用程序运行中自身的变化来组织的程序称为动态程序，本文就其一般应用作了讨论。     

程序规约变换技术在程序设计中的应用

算法设计是程序设计的难点和关键。本文利用程序规约的变换技术得到了排序问题和最长升序问题的算法,并清晰地展示了程序设计的过程,为算法程序设计提供了一种有效的方法和途径。