Contents

SEMIREGULAR TERM REWRITING SYSTEM AND ITS CONFLUENCE Lin Kai and Sun Yongqiang 1992,3(4):1-11 [Abstract(4257)]  [View PDF(5557)575.21 K]

THE PROBABILISTIC UNLIMITED REGISTER MACHINE (PURM) AND THE RANDOM FUNCTIONS THAT CAN BE SIMULATED BY PURM PROGRAMS Dang Zhe and Zhou Weifang 1992,3(4):12-18 [Abstract(5370)]  [View PDF(5809)412.65 K]

AN APPROXIMATION ALGORITHM ON GRAPH (K,M) OPTIMAL PARTITION PROBLEM Lu Qicheng 1992,3(4):19-23 [Abstract(4581)]  [View PDF(5499)339.27 K]

THE AUTOMATIC TRANSFORMATION FROM THE EXAMPLE SPECIFICATION TO THE FORMAL FUNCTIONAL SPECIFICATION Lu Jian and Xu Jiafu 1992,3(4):24-31 [Abstract(4491)]  [View PDF(5654)471.02 K]

ONE METHOD OF DEFAULT REASONING AND ITS APPLICATION Chen Shifu,Pan Jingui and Xu Dianxiang 1992,3(4):32-36 [Abstract(3937)]  [View PDF(5761)293.89 K]

A NEW SOFTWARE PROCESS MODEL BASE ON PROGRAM GENERATION Zhou Shanqiong,Ju Dehua and Liao Suping 1992,3(4):37-44 [Abstract(4140)]  [View PDF(5436)478.12 K]

ON THE COMBINATION OF OBJECT-ORIENTED AND LOGIC SYSTEMS Zhu Haibin 1992,3(4):45-50 [Abstract(4412)]  [View PDF(5527)412.98 K]

THE METHODS OF DATABASE PROGRAM CONVERSION Du Xiaoyong 1992,3(4):51-55 [Abstract(3773)]  [View PDF(5386)371.19 K]

一体化MIS快速开发自动生成器CDBAG-4GL的设计与实现 Li Zhaoyuan and Wang Hui 1992,3(4):56-61 [Abstract(4556)]  [View PDF(6111)423.58 K]