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

1994年第5卷第9期目录

   
浏览其它刊期:  
  

本期目录

一个从中间语言生成目标语言的原理和方法
  卞世力,姚天顺,金鸿
  1994,5(9):1-8 [摘要(2679)]  [PDF 383.43 K (2627)]
  
基于反射的规划方法
  李永成,张钹
  1994,5(9):9-15 [摘要(2435)]  [PDF 431.85 K (3018)]
  
一个面向对象的二级并发模型
  王戟,陈火旺
  1994,5(9):16-23 [摘要(2686)]  [PDF 423.56 K (2229)]
  
事件代数与主动知识库系统
  何新贵
  1994,5(9):23-29 [摘要(2465)]  [PDF 478.38 K (2458)]
  
增量静态语义分析的一个对象模型
  徐智晨,钱家骅
  1994,5(9):30-37 [摘要(2788)]  [PDF 475.30 K (2453)]
  
SDL支撑系统
  李志斌,曹东启
  1994,5(9):38-43 [摘要(2659)]  [PDF 504.00 K (2790)]
  
具有无损联结性且保持依赖性关系模式的BCNF完备分解算法
  徐庆生,周行仁
  1994,5(9):44-48 [摘要(4146)]  [PDF 366.85 K (2928)]
  
基于大型计算机系统的办公室应用支持环境
  宋传杰,丁兆迎,董继润
  1994,5(9):49-55 [摘要(2579)]  [PDF 323.56 K (2407)]
  
关于交替的ω─有穷自动机的接受条件
  周清雷,周文俊,庄雷,苏锦祥
  1994,5(9):56-58 [摘要(2700)]  [PDF 457.09 K (2654)]
  
一个模糊时态关系代数
  张师超,罗旭东
  1994,5(9):59-64 [摘要(3149)]  [PDF 188.44 K (2522)]
  
 

京公网安备 11040202500064号

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