1990年第1卷第2期目录
通过程序变换对数字系统进行优化胡振江,孙永强1990,1(2):1-11 [摘要(4180)] [PDF(4312)540.17 K][HTML(0)]Occam语言的时态语义耿峻,谭新明1990,1(2):12-27 [摘要(4158)] [PDF(4424)859.41 K][HTML(0)]在不同DBMS上的数据库转换唐世渭,杨冬青,裴芳1990,1(2):28-38 [摘要(3777)] [PDF(4763)616.41 K][HTML(0)]需求描述及分析工具CPSL/CPSA许龙山,吴东升,程崇炎1990,1(2):39-47 [摘要(4073)] [PDF(13403)486.39 K][HTML(0)]智能CAD工具杨乔林1990,1(2):48-55 [摘要(4340)] [PDF(4709)1021.39 K][HTML(0)]微机网上的分布式专家联合系统UNION(上)赵致琢,庄庆雨,曹华,陆汝钤1990,1(2):56-64 [摘要(4224)] [PDF(4301)481.75 K][HTML(0)]