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(4007)]  [View PDF(4018)422.17 K]

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

THE SEQUENCIAL ALGORITHMS OF A GRAMMAR PARSER OF NATURAL LANGUAGES Song Rou and Wang Xin 1992,3(2):15-20 [Abstract(3864)]  [View PDF(4289)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(3832)]  [View PDF(3975)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(3686)]  [View PDF(3980)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(3250)]  [View PDF(4307)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(4266)]  [View PDF(4112)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(3734)]  [View PDF(3824)554.02 K]

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