| |
2000年第11卷第8期目录
本期目录 | | | “软件新技术和新工具专辑”序 | | | 杨芙清 | | | 2000,11(8):995 | | | [摘要](4118) [PDF](331) | | | 基于XYZ/RE的多媒体同步器自动构造方法 | | | 赵琛,唐稚松,马华东 | | | 2000,11(8):996-1002 | | | [摘要](4531) [PDF 449.91 K](5477) | | | 形式规约语言中函数运算的优化 | | | 张荣华,董韫美 | | | 2000,11(8):1003-1008 | | | [摘要](4047) [PDF 358.56 K](5284) | | | 面向本体的需求分析 | | | 陆汝钤,金芝,陈刚 | | | 2000,11(8):1009-1017 | | | [摘要](4767) [PDF 570.76 K](7398) | | | 基于移动Agent技术的构件软件框架研究 | | | 吕建,张鸣,廖宇,陶先平 | | | 2000,11(8):1018-1023 | | | [摘要](4475) [PDF 430.57 K](5866) | | | 可视化体系结构描述语言XYZ/ADL | | | 骆华俊,唐稚松,郑建丹 | | | 2000,11(8):1024-1029 | | | [摘要](4137) [PDF 433.11 K](5646) | | | 基于产生式集划分的上下文无关语言句子生成 | | | 王泓皓,董韫美 | | | 2000,11(8):1030-1034 | | | [摘要](5187) [PDF 353.47 K](5461) | | | 基于事件约束的分布式程序正确性测试 | | | 顾庆,陈道蓄,于勐,谢立,孙钟秀 | | | 2000,11(8):1035-1040 | | | [摘要](4086) [PDF 394.87 K](5573) | | | 一种从面向对象Z规约到代码的精化演算方法 | | | 王云峰,庞军,查鸣,杨朝晖,郑国梁 | | | 2000,11(8):1041-1046 | | | [摘要](4920) [PDF 392.63 K](5908) | | | 基于主动连接件的软件体系结构及其描述方法 | | | 张家晨,冯铁,陈伟,金淳兆 | | | 2000,11(8):1047-1052 | | | [摘要](4356) [PDF 379.23 K](6022) | | | 一个面向分布式程序的测试系统框架 | | | 顾庆,陈道蓄,韩杰,谢立,孙钟秀 | | | 2000,11(8):1053-1059 | | | [摘要](4064) [PDF 514.74 K](5495) | | | Mogent系统的通信机制 | | | 陶先平,冯新宇,李新,张冠群,吕建 | | | 2000,11(8):1060-1065 | | | [摘要](4945) [PDF 454.34 K](5671) | | | 基于重写技术的程序开发与验证 | | | 孙永强,陆朝俊,邵志清 | | | 2000,11(8):1066-1070 | | | [摘要](4257) [PDF 357.42 K](5805) | | | 基于程序窗口推理的精化演算 | | | 王云峰,李必信,庞军,查鸣,郑国梁 | | | 2000,11(8):1071-1077 | | | [摘要](4556) [PDF 443.17 K](5795) | | | 基于框架和角色模型的软件体系结构规约 | | | 冯铁,张家晨,陈伟,金淳兆 | | | 2000,11(8):1078-1086 | | | [摘要](4489) [PDF 561.20 K](5898) | | | 前馈网络的一种超线性收敛BP学习算法 | | | 梁久祯,何新贵,黄德双 | | | 2000,11(8):1094-1096 | | | [摘要](4412) [PDF 216.20 K](7975) | | | 基于DAG图解-重构的机群系统静态调度算法 | | | 周佳祥,郑纬民 | | | 2000,11(8):1097-1104 | | | [摘要](4691) [PDF 457.51 K](5686) | | | Internet上集成服务到区分服务的映射 | | | 郭国强,张尧学 | | | 2000,11(8):1105-1111 | | | [摘要](4241) [PDF 458.47 K](5929) | | | 基于遗传算法的二叉树画树算法 | | | 黄竞伟,康立山,陈毓屏 | | | 2000,11(8):1112-1117 | | | [摘要](5000) [PDF 354.22 K](5384) | | | BDI Agent解释器的研究和改进 | | | 路军,王亚东,王晓龙 | | | 2000,11(8):1118-1125 | | | [摘要](4374) [PDF 558.67 K](5729) | | | 用于口型识别的实时唇定位方法 | | | 姚鸿勋,高文,李静梅,吕雅娟,王瑞 | | | 2000,11(8):1126-1132 | | | [摘要](4747) [PDF 1.78 M](5562) | | | 部分密钥托管的监听体制 | | | 蒋绍权,张玉峰 | | | 2000,11(8):1133-1137 | | | [摘要](4152) [PDF 277.78 K](5613) | |
综述文章
|
