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

1992年第3卷第2期目录

   
浏览其它刊期:  
  

本期目录

基于CCS执行模型的逻辑式语言POLYLOG的设计与实现
  徐凯,章萃
  1992,3(2):1-8 [摘要(2799)]  [PDF 422.17 K (2512)]
  
问题的有序分解及中转站网络
  胡振华,万发贯
  1992,3(2):9-14 [摘要(2523)]  [PDF 395.27 K (2570)]
  
自然语言句法分析的顺序控制算法
  宋柔,王鑫
  1992,3(2):15-20 [摘要(2685)]  [PDF 388.96 K (2779)]
  
方程式语言及其实现
  陆汝占,韩启龙,林凯,奚宏伟,孙永强
  1992,3(2):21-28 [摘要(2487)]  [PDF 473.69 K (2484)]
  
一个基于位向量存储结构的统计与科学数据库管理系统原型
  李建中
  1992,3(2):29-36 [摘要(2571)]  [PDF 511.97 K (2501)]
  
SAIS:一个基于规则的软件结构分析集成系统
  费翔林,王和珍,汪承藻,魏红,朱根江
  1992,3(2):37-44 [摘要(1980)]  [PDF 614.49 K (2644)]
  
一种基于JSD方法的规格说明语言及其支撑系统的设计与开发
  刘琳,徐永森,严明
  1992,3(2):45-52 [摘要(2999)]  [PDF 492.88 K (2525)]
  
基于知识的软件全程生成系统体系结构设计与综合
  吴振容
  1992,3(2):53-59 [摘要(2668)]  [PDF 554.02 K (2371)]
  
三种归结原理间的相容性问题
  刘叙华
  1992,3(2):60-64 [摘要(2889)]  [PDF 319.02 K (2633)]
  
 

京公网安备 11040202500064号

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