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

2000年第11卷第8期目录

   
浏览其它刊期:  
  

本期目录

“软件新技术和新工具专辑”序
  杨芙清
  2000,11(8):995 [摘要(2626)]  [PDF]
  
基于XYZ/RE的多媒体同步器自动构造方法
  赵琛,唐稚松,马华东
  2000,11(8):996-1002 [摘要(2799)]  [PDF 449.91 K (2617)]
  
形式规约语言中函数运算的优化
  张荣华,董韫美
  2000,11(8):1003-1008 [摘要(2450)]  [PDF 358.56 K (2400)]
  
面向本体的需求分析
  陆汝钤,金芝,陈刚
  2000,11(8):1009-1017 [摘要(2870)]  [PDF 570.76 K (3958)]
  
基于移动Agent技术的构件软件框架研究
  吕建,张鸣,廖宇,陶先平
  2000,11(8):1018-1023 [摘要(2622)]  [PDF 430.57 K (2816)]
  
可视化体系结构描述语言XYZ/ADL
  骆华俊,唐稚松,郑建丹
  2000,11(8):1024-1029 [摘要(2308)]  [PDF 433.11 K (2710)]
  
基于产生式集划分的上下文无关语言句子生成
  王泓皓,董韫美
  2000,11(8):1030-1034 [摘要(3439)]  [PDF 353.47 K (2517)]
  
基于事件约束的分布式程序正确性测试
  顾庆,陈道蓄,于勐,谢立,孙钟秀
  2000,11(8):1035-1040 [摘要(2418)]  [PDF 394.87 K (2615)]
  
一种从面向对象Z规约到代码的精化演算方法
  王云峰,庞军,查鸣,杨朝晖,郑国梁
  2000,11(8):1041-1046 [摘要(3025)]  [PDF 392.63 K (2847)]
  
基于主动连接件的软件体系结构及其描述方法
  张家晨,冯铁,陈伟,金淳兆
  2000,11(8):1047-1052 [摘要(2797)]  [PDF 379.23 K (3069)]
  
一个面向分布式程序的测试系统框架
  顾庆,陈道蓄,韩杰,谢立,孙钟秀
  2000,11(8):1053-1059 [摘要(2396)]  [PDF 514.74 K (2545)]
  
Mogent系统的通信机制
  陶先平,冯新宇,李新,张冠群,吕建
  2000,11(8):1060-1065 [摘要(2813)]  [PDF 454.34 K (2436)]
  
基于重写技术的程序开发与验证
  孙永强,陆朝俊,邵志清
  2000,11(8):1066-1070 [摘要(2673)]  [PDF 357.42 K (2892)]
  
基于程序窗口推理的精化演算
  王云峰,李必信,庞军,查鸣,郑国梁
  2000,11(8):1071-1077 [摘要(2793)]  [PDF 443.17 K (2793)]
  
基于框架和角色模型的软件体系结构规约
  冯铁,张家晨,陈伟,金淳兆
  2000,11(8):1078-1086 [摘要(2615)]  [PDF 561.20 K (2764)]
  
前馈网络的一种超线性收敛BP学习算法
  梁久祯,何新贵,黄德双
  2000,11(8):1094-1096 [摘要(2830)]  [PDF 216.20 K (4704)]
  
基于DAG图解-重构的机群系统静态调度算法
  周佳祥,郑纬民
  2000,11(8):1097-1104 [摘要(2844)]  [PDF 457.51 K (2658)]
  
Internet上集成服务到区分服务的映射
  郭国强,张尧学
  2000,11(8):1105-1111 [摘要(2631)]  [PDF 458.47 K (2953)]
  
基于遗传算法的二叉树画树算法
  黄竞伟,康立山,陈毓屏
  2000,11(8):1112-1117 [摘要(3280)]  [PDF 354.22 K (2620)]
  
BDI Agent解释器的研究和改进
  路军,王亚东,王晓龙
  2000,11(8):1118-1125 [摘要(2591)]  [PDF 558.67 K (2818)]
  
用于口型识别的实时唇定位方法
  姚鸿勋,高文,李静梅,吕雅娟,王瑞
  2000,11(8):1126-1132 [摘要(2944)]  [PDF 1.78 M (2560)]
  
部分密钥托管的监听体制
  蒋绍权,张玉峰
  2000,11(8):1133-1137 [摘要(2692)]  [PDF 277.78 K (2811)]
  

综述文章

基于虚拟机的并行体绘制
  邓俊辉,唐泽圣
  2000,11(8):1087-1093 [摘要(4913)]  [PDF 444.67 K (3387)]
  
 

京公网安备 11040202500064号

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