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

1997年第8卷第9期目录

   
浏览其它刊期:  
  

本期目录

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

京公网安备 11040202500064号

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