2000年第11卷第8期目录
“软件新技术和新工具专辑”序杨芙清2000,11(8):995 [摘要(3658)] [PDF(331)][HTML(0)]基于XYZ/RE的多媒体同步器自动构造方法赵琛,唐稚松,马华东2000,11(8):996-1002 [摘要(3976)] [PDF(4803)449.91 K][HTML(0)]形式规约语言中函数运算的优化张荣华,董韫美2000,11(8):1003-1008 [摘要(3498)] [PDF(4641)358.56 K][HTML(0)]面向本体的需求分析陆汝钤,金芝,陈刚2000,11(8):1009-1017 [摘要(4145)] [PDF(6704)570.76 K][HTML(0)]基于移动Agent技术的构件软件框架研究吕建,张鸣,廖宇,陶先平2000,11(8):1018-1023 [摘要(3844)] [PDF(5211)430.57 K][HTML(0)]可视化体系结构描述语言XYZ/ADL骆华俊,唐稚松,郑建丹2000,11(8):1024-1029 [摘要(3535)] [PDF(4986)433.11 K][HTML(0)]基于产生式集划分的上下文无关语言句子生成王泓皓,董韫美2000,11(8):1030-1034 [摘要(4638)] [PDF(4731)353.47 K][HTML(0)]基于事件约束的分布式程序正确性测试顾庆,陈道蓄,于勐,谢立,孙钟秀2000,11(8):1035-1040 [摘要(3554)] [PDF(4842)394.87 K][HTML(0)]一种从面向对象Z规约到代码的精化演算方法王云峰,庞军,查鸣,杨朝晖,郑国梁2000,11(8):1041-1046 [摘要(4320)] [PDF(5136)392.63 K][HTML(0)]基于主动连接件的软件体系结构及其描述方法张家晨,冯铁,陈伟,金淳兆2000,11(8):1047-1052 [摘要(3836)] [PDF(5321)379.23 K][HTML(0)]一个面向分布式程序的测试系统框架顾庆,陈道蓄,韩杰,谢立,孙钟秀2000,11(8):1053-1059 [摘要(3500)] [PDF(4768)514.74 K][HTML(0)]Mogent系统的通信机制陶先平,冯新宇,李新,张冠群,吕建2000,11(8):1060-1065 [摘要(4330)] [PDF(4810)454.34 K][HTML(0)]基于重写技术的程序开发与验证孙永强,陆朝俊,邵志清2000,11(8):1066-1070 [摘要(3646)] [PDF(5052)357.42 K][HTML(0)]基于程序窗口推理的精化演算王云峰,李必信,庞军,查鸣,郑国梁2000,11(8):1071-1077 [摘要(3996)] [PDF(5079)443.17 K][HTML(0)]基于框架和角色模型的软件体系结构规约冯铁,张家晨,陈伟,金淳兆2000,11(8):1078-1086 [摘要(3879)] [PDF(5110)561.20 K][HTML(0)]前馈网络的一种超线性收敛BP学习算法梁久祯,何新贵,黄德双2000,11(8):1094-1096 [摘要(3891)] [PDF(7294)216.20 K][HTML(0)]基于DAG图解-重构的机群系统静态调度算法周佳祥,郑纬民2000,11(8):1097-1104 [摘要(4095)] [PDF(4951)457.51 K][HTML(0)]Internet上集成服务到区分服务的映射郭国强,张尧学2000,11(8):1105-1111 [摘要(3639)] [PDF(5275)458.47 K][HTML(0)]基于遗传算法的二叉树画树算法黄竞伟,康立山,陈毓屏2000,11(8):1112-1117 [摘要(4459)] [PDF(4823)354.22 K][HTML(0)]BDI Agent解释器的研究和改进路军,王亚东,王晓龙2000,11(8):1118-1125 [摘要(3851)] [PDF(5011)558.67 K][HTML(0)]用于口型识别的实时唇定位方法姚鸿勋,高文,李静梅,吕雅娟,王瑞2000,11(8):1126-1132 [摘要(4221)] [PDF(4837)1.78 M][HTML(0)]部分密钥托管的监听体制蒋绍权,张玉峰2000,11(8):1133-1137 [摘要(3700)] [PDF(5026)277.78 K][HTML(0)]
基于虚拟机的并行体绘制邓俊辉,唐泽圣2000,11(8):1087-1093 [摘要(6729)] [PDF(7146)444.67 K][HTML(0)]
