Contents

Foreword for the Special Issue on New Software Technology and Tools 杨芙清 2000,11(8):995 [Abstract(3593)]  [View PDF(331)]

A Methodology for Automatically Constructing a Multimedia Synchronize r in XYZ/RE ZHAO Chen,TANG Zhi-song and MA Hua-dong 2000,11(8):996-1002 [Abstract(3902)]  [View PDF(4526)449.91 K]

Optimization of Function Evaluation in Formal Specification Language ZHANG Rong-hua and DONG Yun-mei 2000,11(8):1003-1008 [Abstract(3421)]  [View PDF(4396)358.56 K]

Ontology-Oriented Requirements Analysis LU Ru-qian,JIN Zhi and CHEN Gang 2000,11(8):1009-1017 [Abstract(4060)]  [View PDF(6365)570.76 K]

Research on Componentware Framework Based on Mobile Agent Technology Lü Jian,ZHANG Ming,LIAO Yu and TAO Xian-ping 2000,11(8):1018-1023 [Abstract(3775)]  [View PDF(4955)430.57 K]

Visual Architecture Description Language XYZ/ADL LUO Hua-jun,TANG Zhi-song and ZHENG Jian-dan 2000,11(8):1024-1029 [Abstract(3472)]  [View PDF(4730)433.11 K]

Generating Sentences of CFL Based on Partition of CFG Production Set WANG Hong-hao and DONG Yun-mei 2000,11(8):1030-1034 [Abstract(4553)]  [View PDF(4465)353.47 K]

Validation Test of Distributed Program Based on Event Sequencing Con straints GU Qing,CHEN Dao-xu,YU Meng,XIE Li and SUN Zhong-xiu 2000,11(8):1035-1040 [Abstract(3463)]  [View PDF(4560)394.87 K]

From Object-Oriented Z Specification to Code by Refinement Calculus WANG Yun-feng,PANG Jun,ZHA Ming,YANG Zhao -hui and ZHENG Guo-liang 2000,11(8):1041-1046 [Abstract(4227)]  [View PDF(4871)392.63 K]

Active-Connector-Based Software Architecture and Its Description Method ZHANG Jia-chen,FENG Tie,CHEN Wei and JIN Chun-zhao 2000,11(8):1047-1052 [Abstract(3771)]  [View PDF(5054)379.23 K]

A Test System Framework for Distributed Programming GU Qing,CHEN Dao-xu,HAN Jie,XIE Li and SUN Zhong-xiu 2000,11(8):1053-1059 [Abstract(3429)]  [View PDF(4495)514.74 K]

Communication Mechanism in Mogent System TAO Xian-ping,FENG Xin-yu,LI Xin,ZHANG Guan-qun and Lü Jian 2000,11(8):1060-1065 [Abstract(4192)]  [View PDF(4475)454.34 K]

Program Development and Verification Based on Rewriting Techniques SUN Yong-qiang,LU Chao-jun and SHAO Zhi-qing 2000,11(8):1066-1070 [Abstract(3594)]  [View PDF(4840)357.42 K]

On Refinement Calculus with Program Window Inference WANG Yun-feng,LI Bi-xin,PANG Jun,ZHA Ming and ZHENG Guo-liang 2000,11(8):1071-1077 [Abstract(3944)]  [View PDF(4812)443.17 K]

Software Architecture Specification Based on a Framework and Role Type FENG Tie,ZHANG Jia-chen,CHEN Wei and JIN Chun-zhao 2000,11(8):1078-1086 [Abstract(3804)]  [View PDF(4766)561.20 K]

Super-Linearly Convergent BP Learning Algorithm for Feedforward Neural Networks LIANG Jiu-zhen,HE Xin-gui and HUANG De-shuang 2000,11(8):1094-1096 [Abstract(3808)]  [View PDF(7051)216.20 K]

A Static Scheduling Algorithm on DAG Partition-Reconfiguration in the Network of Workstations ZHOU Jia-xiang and ZHENG Wei-min 2000,11(8):1097-1104 [Abstract(3993)]  [View PDF(4717)457.51 K]

Mapping Integrated Service to Differentiated Service on the Internet GUO Guo-qiang and ZHANG Yao-xue 2000,11(8):1105-1111 [Abstract(3587)]  [View PDF(5042)458.47 K]

Binary Tree Drawing Algorithm Based on Genetic Algorithms HUANG Jing-wei,KANG Li-shan and CHEN Yu-ping 2000,11(8):1112-1117 [Abstract(4389)]  [View PDF(4548)354.22 K]

Research and Improvement of the Interpreter of BDI Agent LU Jun,WANG Ya-dong and WANG Xiao-long 2000,11(8):1118-1125 [Abstract(3771)]  [View PDF(4719)558.67 K]

Real-Time Lip Locating Method for Lip-Movement Recognition YAO Hong-xun,GAO Wen,LI Jing-mei,Lü Ya-juan and WANG Rui 2000,11(8):1126-1132 [Abstract(4116)]  [View PDF(4575)1.78 M]

Partial Key Escrow Monitoring Scheme JIANG Shao-quan and ZHANG Yu-feng 2000,11(8):1133-1137 [Abstract(3647)]  [View PDF(4755)277.78 K]

Review Articles

Parallel Volume Rendering on a Virtual Machine DENG Jun-hui and TANG Ze-sheng 2000,11(8):1087-1093 [Abstract(6646)]  [View PDF(6597)444.67 K]