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

1992年第3卷第4期目录

   
浏览其它刊期:  
  

本期目录

半正则重写系统及其合流性
  林凯,孙永强
  1992,3(4):1-11 [摘要(2381)]  [PDF 575.21 K (2502)]
  
关于概率无限寄存器机器PURM及其程序可模拟的随机函数
  党哲,周维芳
  1992,3(4):12-18 [摘要(3090)]  [PDF 412.65 K (2869)]
  
图(k,m)最优划分的近似算法
  吕其诚
  1992,3(4):19-23 [摘要(2915)]  [PDF 339.27 K (2525)]
  
从软件功能实例规格说明到软件功能形式规格说明的自动转换
  吕建,徐家福
  1992,3(4):24-31 [摘要(2403)]  [PDF 471.02 K (2696)]
  
一种缺省推理方法及其应用
  陈世福,潘金贵,徐殿祥
  1992,3(4):32-36 [摘要(2069)]  [PDF 293.89 K (2651)]
  
基于程序生成的软件过程模型
  周善琼,居德华,廖素萍
  1992,3(4):37-44 [摘要(2248)]  [PDF 478.12 K (2430)]
  
论面向对象与逻辑系统的结合
  朱海滨
  1992,3(4):45-50 [摘要(2457)]  [PDF 412.98 K (2598)]
  
数据库应用程序的转换方法
  杜小勇
  1992,3(4):51-55 [摘要(1981)]  [PDF 371.19 K (2561)]
  
一体化MIS快速开发自动生成器CDBAG-4GL的设计与实现
  李昭原,王辉
  1992,3(4):56-61 [摘要(2476)]  [PDF 423.58 K (2938)]
  
 

京公网安备 11040202500064号

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