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

1997年第8卷第9期目录

   
浏览其它刊期:  
  

本期目录

DATALOG程序的组及其应用
  王云明,施伯乐
  1997,8(9):641-646 [摘要(3353)]  [PDF 421.31 K (2857)]
  
基于微核心的文件系统服务器虚拟文件子系统
  张斌,孙玉方
  1997,8(9):647-652 [摘要(2625)]  [PDF 434.21 K (2907)]
  
一个过程间数据流分析的框架
  郁卫江,朱根江,谢立
  1997,8(9):653-662 [摘要(3237)]  [PDF 628.36 K (3851)]
  
用于反应系统的修改时序逻辑
  贾国平,郑国梁
  1997,8(9):663-672 [摘要(4373)]  [PDF 684.44 K (2908)]
  
构件类和构件的概念及其定义语言和操作语言
  顾明,仲萃豪
  1997,8(9):673-679 [摘要(3142)]  [PDF 459.12 K (2882)]
  
CAPP系统的开放式数据集成模型
  曹尚稳,孔繁胜,董金祥,何志均
  1997,8(9):680-686 [摘要(3020)]  [PDF 477.91 K (2861)]
  
一个用于异构的数据库集成的多context逻辑
  刘海燕,陈火旺,刘凤岐
  1997,8(9):687-693 [摘要(2936)]  [PDF 451.96 K (2977)]
  
Z的面向对象扩充COOZ的设计
  袁晓东,郑国梁
  1997,8(9):694-700 [摘要(3252)]  [PDF 452.90 K (3094)]
  
基于遗传算法的Rosenbrock函数优化问题的研究
  梁艳春,周春光,李寿范
  1997,8(9):701-708 [摘要(3960)]  [PDF 494.75 K (3089)]
  
Z规格说明的前置条件的简化
  缪淮扣
  1997,8(9):709-715 [摘要(3115)]  [PDF 458.63 K (3081)]
  
汉英机器翻译的英文词形态生成
  黄河燕,陈肇雄
  1997,8(9):716-721 [摘要(3151)]  [PDF 429.20 K (2881)]
  
 

京公网安备 11040202500064号

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