Volume 3,Issue 4,1992 Table of Contents
SEMIREGULAR TERM REWRITING SYSTEM AND ITS CONFLUENCELin Kai and Sun Yongqiang1992,3(4):1-11 [Abstract(3710)] [View PDF(4688)575.21 K]THE PROBABILISTIC UNLIMITED REGISTER MACHINE (PURM) AND THE RANDOM FUNCTIONS THAT CAN BE SIMULATED BY PURM PROGRAMSDang Zhe and Zhou Weifang1992,3(4):12-18 [Abstract(4684)] [View PDF(5013)412.65 K]AN APPROXIMATION ALGORITHM ON GRAPH (K,M) OPTIMAL PARTITION PROBLEMLu Qicheng1992,3(4):19-23 [Abstract(4047)] [View PDF(4670)339.27 K]THE AUTOMATIC TRANSFORMATION FROM THE EXAMPLE SPECIFICATION TO THE FORMAL FUNCTIONAL SPECIFICATIONLu Jian and Xu Jiafu1992,3(4):24-31 [Abstract(3793)] [View PDF(4881)471.02 K]ONE METHOD OF DEFAULT REASONING AND ITS APPLICATIONChen Shifu,Pan Jingui and Xu Dianxiang1992,3(4):32-36 [Abstract(3385)] [View PDF(4979)293.89 K]A NEW SOFTWARE PROCESS MODEL BASE ON PROGRAM GENERATIONZhou Shanqiong,Ju Dehua and Liao Suping1992,3(4):37-44 [Abstract(3517)] [View PDF(4610)478.12 K]ON THE COMBINATION OF OBJECT-ORIENTED AND LOGIC SYSTEMSZhu Haibin1992,3(4):45-50 [Abstract(3819)] [View PDF(4735)412.98 K]THE METHODS OF DATABASE PROGRAM CONVERSIONDu Xiaoyong1992,3(4):51-55 [Abstract(3168)] [View PDF(4649)371.19 K]一体化MIS快速开发自动生成器CDBAG-4GL的设计与实现Li Zhaoyuan and Wang Hui1992,3(4):56-61 [Abstract(3848)] [View PDF(5259)423.58 K]