主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第9期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
 

1995年第6卷第zk期目录

   
浏览其它刊期:  
  

本期目录

数据传送进程的符号互模拟*
  林惠民
  1995,6(zk):1-9 [摘要(2670)]  [PDF 484.37 K (2643)]
  
含数组引用的过程间数据流分析*
  吉晓梅,张兆庆,乔如良,李杰
  1995,6(zk):10-17 [摘要(2570)]  [PDF 422.41 K (2340)]
  
面向对象的MIs开发方法DDD*
  诸葛海
  1995,6(zk):18-27 [摘要(2087)]  [PDF 585.75 K (2628)]
  
基于知识的数据自动分布模型*
  杨莉,葛建新,何志均
  1995,6(zk):28-35 [摘要(2365)]  [PDF 563.67 K (2456)]
  
最小平方高阶联想存贮器*
  陈松灿,陈德建
  1995,6(zk):36-39 [摘要(2226)]  [PDF 247.79 K (2463)]
  
增量式解释学习算法EBG—plus*
  郝继刚,石纯一
  1995,6(zk):40-45 [摘要(2461)]  [PDF 403.74 K (2147)]
  
分配问题及其数学模型*
  苏明,薛宏熙,洪先龙
  1995,6(zk):46-51 [摘要(2178)]  [PDF 384.48 K (2449)]
  
基于多UIO序列的协议一致性测试生成*
  刘积仁,都军
  1995,6(zk):52-58 [摘要(2147)]  [PDF 475.17 K (2644)]
  
随机高级Petri网的层次模型和分层性能评价*
  林闯,吴建平,王鼎兴
  1995,6(zk):59-67 [摘要(2495)]  [PDF 556.96 K (2193)]
  
门阵列和标准单元布图中一种有效的走线道分配算法*
  洪先龙,黄劲
  1995,6(zk):68-77 [摘要(2154)]  [PDF 594.54 K (2345)]
  
基于搭配词典的词汇语义驱动算法*
  唐泓英,姚天顺
  1995,6(zk):78-85 [摘要(2150)]  [PDF 552.17 K (2361)]
  
面向对象的PROLOG程序测试工具的研究与实现*
  王雷,侯广德
  1995,6(zk):86-93 [摘要(2275)]  [PDF 514.06 K (2423)]
  
支持智能体的通信原语库系统的研究与实现*
  周立,吴泉源,陈火旺
  1995,6(zk):94-99 [摘要(2686)]  [PDF 415.09 K (2467)]
  
关于McEliece公钥体制的安全性*
  隆永红
  1995,6(zk):100-103 [摘要(2195)]  [PDF 258.27 K (2076)]
  
MIDS P++语言*
  车敦仁,麦中凡
  1995,6(zk):104-111 [摘要(2146)]  [PDF 486.27 K (2172)]
  
具有非线性映射能力的RAM式联想存贮器*
  陈松灿
  1995,6(zk):112-117 [摘要(2201)]  [PDF 324.93 K (2393)]
  
一个基于层次结构的超媒体写作系统*
  杨德顺,王文清
  1995,6(zk):118-123 [摘要(2467)]  [PDF 409.30 K (2395)]
  
利用超级编译技术优化串行程序*
  张兆庆,乔如良
  1995,6(zk):124-131 [摘要(2349)]  [PDF 486.05 K (2565)]
  
关于有ω-穷自动机的两个新的接受条件*
  周文俊,苏锦祥
  1995,6(zk):132-137 [摘要(2384)]  [PDF 361.69 K (2247)]
  
分解式软件流水DESP——一种开发循环程序指令级并行性的新方法*
  汤志忠,张赤红,王剑
  1995,6(zk):138-147 [摘要(2211)]  [PDF 600.66 K (2282)]
  
带条件分支的指令级循环优化新方法*
  汤志忠,张赤红,王剑
  1995,6(zk):148-156 [摘要(2216)]  [PDF 561.11 K (2540)]
  
ω幂上下文无关语言及其封闭性质*
  郭清泉
  1995,6(zk):157-161 [摘要(2384)]  [PDF 288.44 K (2005)]
  
“青鸟”系统中永久对象的实现*
  柳军飞,邵维忠,杨芙清
  1995,6(zk):162-169 [摘要(2338)]  [PDF 522.67 K (2295)]
  
用于描述面向对象并发系统的实用图文法模型*
  徐建礼,周龙骧
  1995,6(zk):170-181 [摘要(2431)]  [PDF 764.11 K (2701)]
  
并行程序的流程图分析法*
  马军,马绍汉
  1995,6(zk):182-186 [摘要(2764)]  [PDF 308.36 K (3421)]
  
广义继承及其在面向对象程序设计语言中的实现*
  李宣东,郑国梁
  1995,6(zk):187-193 [摘要(2129)]  [PDF 471.59 K (2551)]
  
基于知识的计算机辅助命题及分析系统外壳的系统设计*
  林复华,陈光中,洪潮兴,汪国强
  1995,6(zk):194-201 [摘要(2967)]  [PDF 521.04 K (2500)]
  
管理信息系统中的面向对象体系模型*
  王立福,易晓勇,杨芙清
  1995,6(zk):202-206 [摘要(2261)]  [PDF 365.64 K (2723)]
  
对象形式语义模型*
  黄涛,冯玉琳,李京
  1995,6(zk):207-212 [摘要(2328)]  [PDF 425.73 K (2238)]
  
电子CAD框架系统的数据模型和DDL*
  潘雪增,寿宇澄,赵余平,平玲娣
  1995,6(zk):213-218 [摘要(2228)]  [PDF 378.80 K (2274)]
  
信息系统的开发方法及其体系模型*
  仲萃豪,曹东启,郭荷清
  1995,6(zk):219-225 [摘要(2335)]  [PDF 509.38 K (2672)]
  
MIs系统的程序生成方法*
  郭荷清,仲萃豪,马建
  1995,6(zk):226-230 [摘要(2129)]  [PDF 358.58 K (2195)]
  
软件构造过程中的对象规范和实现*
  李京,冯玉琳,黄涛
  1995,6(zk):231-237 [摘要(2361)]  [PDF 401.07 K (2205)]
  
中文页面描述语言解释器CPDL Level 2的设计与实现*
  徐福培,金亚东,周栋,吴钊
  1995,6(zk):238-245 [摘要(2623)]  [PDF 557.26 K (2478)]
  
拟双线性方程(组)的展开算法及其求解*
  孙永强,袁华强
  1995,6(zk):246-252 [摘要(2222)]  [PDF 426.87 K (2240)]
  
STREAMS机制及IP协议实现*
  胡彦莉,鞠九滨
  1995,6(zk):253-257 [摘要(2313)]  [PDF 364.46 K (2538)]
  
函数式语言编译实现技术的研究*
  廖湖声
  1995,6(zk):258-265 [摘要(2599)]  [PDF 488.23 K (2625)]
  
一种用于基于知识系统开发的形式化模型*
  徐殿祥,郑国梁
  1995,6(zk):266-273 [摘要(2174)]  [PDF 503.45 K (2314)]
  
一种责任驱动的面向对象分析与设计方法*
  田忠,钱乐秋,赵文耘,钱家骅
  1995,6(zk):274-280 [摘要(2244)]  [PDF 509.40 K (2450)]
  
基于小波变换的多尺度立体视觉方法*
  钟声,石青云,程民德
  1995,6(zk):281-291 [摘要(2199)]  [PDF 2.83 M (2223)]
  
从软件工程的发展看软件自动化*
  白光野,徐崇,范植华,蒋东溟
  1995,6(zk):292-300 [摘要(2674)]  [PDF 646.26 K (2598)]
  
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利