Contents

DESIGN AND IMPLEMENTATION OF THE NEW LOGIC PROGRAMMING LANGUAGE POLYLOG BASED ON THE CCS EXECUTION MODEL Xu Kai and Zhang Cui 1992,3(2):1-8 [Abstract(4068)]  [View PDF(4523)422.17 K]

THE ORDERED DECOMPOSITION OF PROBLEMS AND THE TRANSFER-STATION NETWORK Hu Zhenhua and Wan Faguan 1992,3(2):9-14 [Abstract(3837)]  [View PDF(4610)395.27 K]

THE SEQUENCIAL ALGORITHMS OF A GRAMMAR PARSER OF NATURAL LANGUAGES Song Rou and Wang Xin 1992,3(2):15-20 [Abstract(3942)]  [View PDF(4773)388.96 K]

EQUATIONAL PROGRAMMING LANGUAGE AND ITS IMPLEMENTATION Lu Ruzhan,Han Qilong,Lin Kai;,Xi Hongwei and Sun Yongqiang 1992,3(2):21-28 [Abstract(3887)]  [View PDF(4476)473.69 K]

A PROTOTYPE SYSTEM FOR STATISTICAL/SCIENTIFIC DATA MANAGEMENT BASED ON BIT VECTOR STORAGE STRUCTURE Li Jianzhong 1992,3(2):29-36 [Abstract(3745)]  [View PDF(4446)511.97 K]

SAIS: AN INTEGRATED RULE-BASED SYSTEM FOR ANALYSIS OF SOFTWARE STRUCTURE Fei Xianglin,Wang Hezhen,Wang Chengzao,Wei hong and Zhu Genjiang 1992,3(2):37-44 [Abstract(3318)]  [View PDF(4831)614.49 K]

DESIGN OF A JSD-BASED SPECIFICATOIN LANGUAGE ANDDEVELOPMENT OF ITS SUPPORTING SYSTEM Liu Lin,Xu Yongsen and Yan Ming 1992,3(2):45-52 [Abstract(4319)]  [View PDF(4649)492.88 K]

THE DESIGN AND INTEGRATION OF SOFTWARE FULL PHASES GENERATING SYSTEM ARCHITECTURE BASED ON KNOWLEDGE Wu Zhenrong 1992,3(2):53-59 [Abstract(3770)]  [View PDF(4330)554.02 K]

THE COMPATIBILITY AMONG THREE RESOLUTION PRINCIPLES Liu Xuhua 1992,3(2):60-64 [Abstract(4095)]  [View PDF(4855)319.02 K]