Volume 1,Issue 2,1990 Table of Contents
OPTIMIZING A DIGITAL SYSTEM BY PROGRAM TRANSFORMATIONHu Zhenjiang and Sun Yongqiang1990,1(2):1-11 [Abstract(4786)] [View PDF(5878)540.17 K]A TEMPORAL SEMANTICS FOR OCCAMGeng Jun and Tan Xinming1990,1(2):12-27 [Abstract(4798)] [View PDF(6067)859.41 K]在不同DBMS上的数据库转换Tang Shiwei,Yang Dongqing and Pei Fang1990,1(2):28-38 [Abstract(4441)] [View PDF(6266)616.41 K]REQUIREMENT DESCRIPTION AND ANALYSIS TOOL CPSL/CPSAXu Longshan,Wu Dongsheng and Cheng Chongyan1990,1(2):39-47 [Abstract(4795)] [View PDF(14946)486.39 K]AI CAD TOOLS杨乔林1990,1(2):48-55 [Abstract(5244)] [View PDF(6343)1021.39 K]A DISTRIBUTED EXPERTS UNITED SYSTEM UNION ON MICROCOMPUTER NET (PART 1)Zhao Zhizhuo,Zhuang Qingyu,Cao Hua and Lu Ruqian1990,1(2):56-64 [Abstract(5088)] [View PDF(5856)481.75 K]
