一个基于程序变换的制表程序

本文介绍了一种报表打印程序生成系统的设计思想和实现方法。系统采用程序变换的思想,设计使用一种用来描述报表格式的报表描述语句对报表结构进行描述,由微机自动生成报表打印程序。     

TSR程序的驻留及其撤离

通过分析MCB链结构、TSR程序驻留及其撤离应考虑的问题，提出了一种安全性、可移植性和可操作性较好的TSR程序设计思路。     

同步FTP上载/下载程序的实现技术

通常意义上的FTP客户程序都是指纯粹的异步上载／下载程序，但在实际应用开发中。FTP功能往往需要与特定的应用相结合。对于某些特殊的应用。通常的异步FTP程序设计方法不适用系统的需求。需要设计同步的FTP上载／下载程序。但开发工具如VB不提供直接的同步FTP支持。本文结合实际的系统开发，探讨了在特定应用中实现同步FTP上载／下载程序的方法和技术。     

自动按幅面要求编排打印程序清单

本文提供一个能自动按幅面大小编排打印源程序清单的BASIC程序,不但简单快速,而且在改排以后能保持幅面的整齐与语句的可读性。利用BASIC语言较强的打印功能,还可以选择不同的字体打印标题、正文和注释等。     

基准程序法

本文系统地介绍了基准程序测试法经历了三十多年的发展历史.基准程序法从早期仅仅面向CPU的评价发展到如今对整个系统的评价,并且和计算机的发展密切相关.编译程序,操作系统和体系结构的发展提高了计算机的性能,作为评价方法的基准程序法也相应地发展.对目前广泛应用的工作站和联机事务处理系统的评价,基准程序法也进行了尝试.远程终端仿真器RTE的引入使得基准程序测试活动领域的进展更为迅速.     

一种基于程序正确性证明理论的程序开发方法

程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法,它使得程序的开发和证明同时进行,程序开发完成的同时其正确性亦得以保 证,以两个问题的程序开发为例说明了程序的形式推导方法的使用。     

同步FTP上载／下载程序的实现技术

通常意义上的FTP（文件传输协议）客户程序都是指纯粹的异步上载／下载程序，但在实际应用开发中，FTP功能往往需要与特定的应用相结合，对于某些特殊的应用，通常的异步FTP程序设计方法不适用系统的需求，需要设计同步的FTP上载／下载程序，但开发工具如VB不提供直接的同步FTP支持。文章结合实际的系统开发，探讨了在特定应用中实现同步FTP上载／下载程序的方法和技术。     

在PRG程序中调用大的可执行程序

问题的提出开发MIS软件时需要编写数据备份程序，把一批数据文件从硬盘拷贝到软盘。我们在用FoxBase＋、FoxPro等数据库语言编写数据备份PRG程序时，遇到了这样的问题：需要备份的文件占用将近4M的硬盘空间，用C。py命令拷贝时一张软盘容纳不下，而且拷贝到几张软盘上也不行，因为其中一个文件的大小就超过1．44M。用ARJ程序把这些文件压缩到一张软盘中，数据恢复时再用ARJ将压缩文件解开，在硬盘中恢复出原来的那些数据文件。但从数据备份PRG程序中用run命令调用ARJ程序时，出现“。utofmemory”（超出内存）的错误，这是因为在…     

用Clipper实现后台动画程序

Windows之相对于DOS，除了其他诸多先进功能以外，能同时进行多个程序的运行是一个极其重要的方面。但DOS毕竟独领风骚多年，岂能轻易退出历史舞台！其实，如果用一些技巧或使用某种具备此功能的软件，在DOS上同样可以实现多道程序作业。如BASIC中的PLAY语句等，就可以实现后台音乐演奏。以下的Clipper程序，是某一系统的主控模块，它能做到一边在屏幕上循环显示商标信息，一边接收键盘输入，核对口令，若正确，则进入。若错误，则提示错误信息并重新输入，也可以键人“******”退出系统。*以上为系统画面……RESTOREFROM＼JB…     

LOCK89加密程序的不足及其对策

LOCK89程序是近来十分流行的一个较好的加密程序。笔者曾在文献[1]中介绍过它的主要优点。但是,如果说它是个十全十美的程序却是不现实的。本文对其存在的不足之处进行探讨,并以此找出解密的方法。