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