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

1992年第3卷第3期目录

   
浏览其它刊期:  
  

本期目录

脉动阵列的自动综合—FP方法
  夏心杰,孙永强,胡振江
  1992,3(3):1-8 [摘要(2381)]  [PDF 439.05 K (2576)]
  
并行算法的FP描述及其脉动化的判定
  胡振江,孙永强
  1992,3(3):9-16 [摘要(2359)]  [PDF 458.55 K (2660)]
  
使用显式策略进行程序构造
  谭庆平,陈火旺
  1992,3(3):17-23 [摘要(2566)]  [PDF 429.43 K (2768)]
  
基于扩展的BNF文法的通用语法分析算法
  杨明辉,郭肇德
  1992,3(3):24-32 [摘要(3558)]  [PDF 501.15 K (3722)]
  
基于形式源级转换的可执行规格说明技术
  张幸儿,朱晓军
  1992,3(3):33-39 [摘要(2459)]  [PDF 448.00 K (2788)]
  
模式化简序与重写系统的终止性
  林凯,孙永强,陆汝占
  1992,3(3):40-48 [摘要(2596)]  [PDF 550.34 K (2910)]
  
计算高级Petri网S-不变量的一种简单算法
  林闯,张彤
  1992,3(3):49-55 [摘要(3030)]  [PDF 397.80 K (2675)]
  
模型描述语言NUMDL的设计与实现
  陈世福,樊莉萍,徐殿祥,陆庆文
  1992,3(3):56-60 [摘要(3072)]  [PDF 329.69 K (3030)]
  
一类表达式及其典型形式的推广
  郭福顺,黄仲伟,罗昕
  1992,3(3):61-64 [摘要(2071)]  [PDF 274.18 K (2383)]
  
 

京公网安备 11040202500064号

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