计算机研究与发展 1993年 30卷 11期

栏目

选择全部

一个支持非独立“与”并行的逻辑程序“与”并行执行模型

郑宇华, 戴非, 谢立

1993, 30(11): 1-7.

摘要

面向对象数据库类型继承关系的代数模型

杨立

1993, 30(11): 8-14.

摘要

一种可行的自动程序理解途径

花全香, 邢汉承

1993, 30(11): 15-20.

摘要

基于知识的信息系统开发环境

曹建庆

1993, 30(11): 21-26.

摘要

CAD Framework中基于知识的设计流管理

许建国

1993, 30(11): 27-32,26.

摘要

一个四余度容错计算机系统(QFTCS)的硬件/软件结构设计

臧红伟, 谢克嘉

1993, 30(11): 33-37.

摘要

执行支持系统ESS的设计与实现

胡增炎

1993, 30(11): 38-44.

摘要

Foxbase彻底反编译工具SeeFox

张朝晖, 马新宇

1993, 30(11): 45-50.

摘要

延迟插入式存取方式的排队模型

逯昭义, 王思明

1993, 30(11): 51-54,50.

摘要

一种新的数据流图转换成结构图的设计方法

张钢, 王同胜

1993, 30(11): 55-60.

摘要

超大规模集成电路内装测试生成模式新方法

徐秀兰

1993, 30(11): 61-66.

摘要