主管/主办:重庆西南信息有限公司
CODEN JKIEBK
-
面向对象程序设计语言的形式语义研究
瞿裕忠 王志坚. 面向对象程序设计语言的形式语义研究[J]. 计算机科学, 1995, 22(2): 6-10.
- 瞿裕忠 王志坚
- 计算机科学. 1995, 22 (2): 6-10.
- 摘要 ( 77 ) PDF(195KB) ( 279 )
- 相关文章 | 多维度评价
-
一种基于算法骨架的函数式程序变换技术
姚春玲 孙永强. 一种基于算法骨架的函数式程序变换技术[J]. 计算机科学, 1995, 22(2): 11-16.
- 姚春玲 孙永强
- 计算机科学. 1995, 22 (2): 11-16.
- 摘要 ( 65 ) PDF(211KB) ( 280 )
- 相关文章 | 多维度评价
-
分布式系统中合作进程及其同步关系
赵宏. 分布式系统中合作进程及其同步关系[J]. 计算机科学, 1995, 22(2): 17-20.
- 赵宏
- 计算机科学. 1995, 22 (2): 17-20.
- 摘要 ( 61 ) PDF(165KB) ( 317 )
- 相关文章 | 多维度评价
-
函数式语言并行化的方法
古志民 郑守淇. 函数式语言并行化的方法[J]. 计算机科学, 1995, 22(2): 21-22.
- 古志民 郑守淇
- 计算机科学. 1995, 22 (2): 21-22.
- 摘要 ( 53 ) PDF(106KB) ( 221 )
- 相关文章 | 多维度评价
-
讲授并行程序设计课程的一次实验
李晓明. 讲授并行程序设计课程的一次实验[J]. 计算机科学, 1995, 22(2): 23-25.
- 李晓明
- 计算机科学. 1995, 22 (2): 23-25.
- 摘要 ( 65 ) PDF(110KB) ( 233 )
- 相关文章 | 多维度评价
-
对计算机辅助软件工程的若干看法
黄日日 杨芙清. 对计算机辅助软件工程的若干看法[J]. 计算机科学, 1995, 22(2): 26-30.
- 黄日日 杨芙清
- 计算机科学. 1995, 22 (2): 26-30.
- 摘要 ( 67 ) PDF(177KB) ( 223 )
- 相关文章 | 多维度评价
-
本文从国家经济信息化角度出发,讨论了计算机辅助软件工程(CASE)的实质、发展过程、技术分类及其现状与未来研究方向。
-
IDEF4与面向对象设计方法
周之英 王萍. IDEF4与面向对象设计方法[J]. 计算机科学, 1995, 22(2): 31-34.
- 周之英 王萍
- 计算机科学. 1995, 22 (2): 31-34.
- 摘要 ( 92 ) PDF(134KB) ( 266 )
- 相关文章 | 多维度评价
-
IDEF方法是由美国空军并行工程信息集成项目的Armstrong实验室研制的,IDEF4是其家族的一员。本文以IDEF4为主探索了各主要面向对象设计方法的特点,并对IDEF4方法的优缺点作了简要分析,旨在本文能作为研制一种实用的面向对象设计方法的基础,为设计面向对象计算机辅助软件设计工具提供参考。
-
STEP的开发,应用与测试方法论
杨小虎 何志均. STEP的开发,应用与测试方法论[J]. 计算机科学, 1995, 22(2): 35-37.
- 杨小虎 何志均
- 计算机科学. 1995, 22 (2): 35-37.
- 摘要 ( 53 ) PDF(148KB) ( 228 )
- 相关文章 | 多维度评价
-
面向对象的MIS开发方法和平台
诸葛海. 面向对象的MIS开发方法和平台[J]. 计算机科学, 1995, 22(2): 38-42.
- 诸葛海
- 计算机科学. 1995, 22 (2): 38-42.
- 摘要 ( 68 ) PDF(211KB) ( 245 )
- 相关文章 | 多维度评价
-
基于ER方法的面向对象数据库建模技术
谌效东 蔡希尧. 基于ER方法的面向对象数据库建模技术[J]. 计算机科学, 1995, 22(2): 43-46.
- 谌效东 蔡希尧
- 计算机科学. 1995, 22 (2): 43-46.
- 摘要 ( 54 ) PDF(140KB) ( 241 )
- 相关文章 | 多维度评价
-
模拟进化优化方法及其应用:遗传算法
韩祯祥 文福拴. 模拟进化优化方法及其应用:遗传算法[J]. 计算机科学, 1995, 22(2): 47-56.
- 韩祯祥 文福拴
- 计算机科学. 1995, 22 (2): 47-56.
- 摘要 ( 69 ) PDF(403KB) ( 279 )
- 相关文章 | 多维度评价
-
多Agent系统的研究
刘海燕 王献昌. 多Agent系统的研究[J]. 计算机科学, 1995, 22(2): 57-62.
- 刘海燕 王献昌
- 计算机科学. 1995, 22 (2): 57-62.
- 摘要 ( 61 ) PDF(231KB) ( 244 )
- 相关文章 | 多维度评价
-
关于人工智能的哲学思考
刘泉宝 刘永清. 关于人工智能的哲学思考[J]. 计算机科学, 1995, 22(2): 62-67.
- 刘泉宝 刘永清
- 计算机科学. 1995, 22 (2): 62-67.
- 摘要 ( 97 ) PDF(262KB) ( 289 )
- 相关文章 | 多维度评价
-
基于概率的类MYCIN确定因子模型
邱玉辉 罗旭东. 基于概率的类MYCIN确定因子模型[J]. 计算机科学, 1995, 22(2): 68-72.
- 邱玉辉 罗旭东
- 计算机科学. 1995, 22 (2): 68-72.
- 摘要 ( 66 ) PDF(151KB) ( 248 )
- 相关文章 | 多维度评价
-
HKR——一个启发式知识求精系统
钟珞 李桂青. HKR——一个启发式知识求精系统[J]. 计算机科学, 1995, 22(2): 73-75.
- 钟珞 李桂青
- 计算机科学. 1995, 22 (2): 73-75.
- 摘要 ( 53 ) PDF(104KB) ( 260 )
- 相关文章 | 多维度评价
-
DIES:一个领域独立的专家系统
褚东升. DIES:一个领域独立的专家系统[J]. 计算机科学, 1995, 22(2): 76-78.
- 褚东升
- 计算机科学. 1995, 22 (2): 76-78.
- 摘要 ( 70 ) PDF(125KB) ( 219 )
- 相关文章 | 多维度评价
-
非对称互联神经网络平衡点的稳定性分析(II)
但琦 章俯. 非对称互联神经网络平衡点的稳定性分析(II)[J]. 计算机科学, 1995, 22(2): 79-81.
- 但琦 章俯
- 计算机科学. 1995, 22 (2): 79-81.
- 摘要 ( 57 ) PDF(77KB) ( 284 )
- 相关文章 | 多维度评价