主管/主办:重庆西南信息有限公司
CODEN JKIEBK
-
Robin Milner谈程序语言及计算机科学
佟金荣. Robin Milner谈程序语言及计算机科学[J]. 计算机科学, 1993, 20(6): 1-7.
- 佟金荣
- 计算机科学. 1993, 20 (6): 1-7.
- 摘要 ( 66 ) PDF(305KB) ( 279 )
- 相关文章 | 多维度评价
-
美国ACM通讯杂志高级编辑Karen A. Frenkel于1992年底访问了英国爱丁保大学图灵奖获得者Robin Milner教授,他结合本人的经历谈到了ML的设计过程,通讯系统演算的成长,硬件与并发性关系,面向对象程序设计的基本问题以及对计算机科学与实践关系的看法,颇有见地,值得一读。
-
知识进化和高级思维过程的逻辑基础
洪家荣. 知识进化和高级思维过程的逻辑基础[J]. 计算机科学, 1993, 20(6): 8-16.
- 洪家荣
- 计算机科学. 1993, 20 (6): 8-16.
- 摘要 ( 67 ) PDF(405KB) ( 253 )
- 相关文章 | 多维度评价
-
90年代计算机网络和分布式系统的发展趋势
桑杰. 90年代计算机网络和分布式系统的发展趋势[J]. 计算机科学, 1993, 20(6): 17-23.
- 桑杰
- 计算机科学. 1993, 20 (6): 17-23.
- 摘要 ( 73 ) PDF(310KB) ( 236 )
- 相关文章 | 多维度评价
-
神经网络计算机的现状与发展趋势
章锦文 马远良. 神经网络计算机的现状与发展趋势[J]. 计算机科学, 1993, 20(6): 24-27.
- 章锦文 马远良
- 计算机科学. 1993, 20 (6): 24-27.
- 摘要 ( 97 ) PDF(154KB) ( 211 )
- 相关文章 | 多维度评价
-
可重用软件对象定位和理解的认识工具
张世琨. 可重用软件对象定位和理解的认识工具[J]. 计算机科学, 1993, 20(6): 34-41.
- 张世琨
- 计算机科学. 1993, 20 (6): 34-41.
- 摘要 ( 43 ) PDF(333KB) ( 175 )
- 相关文章 | 多维度评价
-
软件重用是一个利用现存构件生成新程序的过程。在构件被重用之前,它们必须能够被潜在的重用者找到并理解。这里描述支持这种需要的两个原型系统:用来定位软件构件的CodeFinder和允许用户得到程序实例解释的Explainer.软件重用的问题远非简单地定位,理解和修改程序,而必须把它看作一个设计过程。当用户解决某个问题时,他们对问题的理解也在加深和改变。通常,这种在设计中固有的提炼和渐进过程,必须与软件
-
MIS数据流图一致性检查的研究与实现
姚俊 胡上序. MIS数据流图一致性检查的研究与实现[J]. 计算机科学, 1993, 20(6): 47-50.
- 姚俊 胡上序
- 计算机科学. 1993, 20 (6): 47-50.
- 摘要 ( 215 ) PDF(161KB) ( 182 )
- 相关文章 | 多维度评价
-
演绎数据库规则语言的分研与研究
张汝元. 演绎数据库规则语言的分研与研究[J]. 计算机科学, 1993, 20(6): 51-58.
- 张汝元
- 计算机科学. 1993, 20 (6): 51-58.
- 摘要 ( 48 ) PDF(348KB) ( 220 )
- 相关文章 | 多维度评价
-
本文概述了数据库的规则语言,分析比较了COL LDL和RDL。这些语言的理论框架是DATALOG,扩充基于一阶逻辑的DATALOG规则语言,可以支持过程性功能,否定,更新,复杂对象以及用户控制性结构。
-
后关系数据库语言DBPL
丁宝康 董小洁. 后关系数据库语言DBPL[J]. 计算机科学, 1993, 20(6): 59-65.
- 丁宝康 董小洁
- 计算机科学. 1993, 20 (6): 59-65.
- 摘要 ( 50 ) PDF(286KB) ( 207 )
- 相关文章 | 多维度评价
-
从关系模型到面向对象模型的演变
丁宝康 于珩. 从关系模型到面向对象模型的演变[J]. 计算机科学, 1993, 20(6): 66-70.
- 丁宝康 于珩
- 计算机科学. 1993, 20 (6): 66-70.
- 摘要 ( 54 ) PDF(188KB) ( 190 )
- 相关文章 | 多维度评价
-
本文试图阐述面向对象模型可以从关系模型经过嵌套关系模型,复合对象模型演变而来。文中介绍了嵌套关系,关系图,概括/特化概念以及面向对象的类型定义,数据库定义,对象询查,对象修改等操作。
-
面向对象的模型管理问题
聂培尧. 面向对象的模型管理问题[J]. 计算机科学, 1993, 20(6): 71-74.
- 聂培尧
- 计算机科学. 1993, 20 (6): 71-74.
- 摘要 ( 73 ) PDF(165KB) ( 184 )
- 相关文章 | 多维度评价
-
在使用面向对象方法的模型管理中,模型应解释为能根据对“消息“的接收及回答来执行各种模型管理功能的对象的集合。本文讨论了使用结构模型框架对构成模型的对象类进行划分的问题,并对执行各种模型操作所需要的协议进行描述。本文还就使用一个关系DBMS来实现面向对象的模型管理系统的可能性问题进行了探讨。
-
群体决策支持系统的工程观点评述
聂培尧. 群体决策支持系统的工程观点评述[J]. 计算机科学, 1993, 20(6): 75-76.
- 聂培尧
- 计算机科学. 1993, 20 (6): 75-76.
- 摘要 ( 49 ) PDF(144KB) ( 206 )
- 相关文章 | 多维度评价
-
本文对群体决策支持系统研究领域中的三种主要方法,即面向内容的方法,面向过程的方法及信息系统方法,进行了综合评述。同时,本文还考查了这些方法用于多准则GDSS设计中的需求分析的可能性。