Contents

Foreword for the Special Issue on New Software Technology and Tools 杨芙清 2000,11(8):995 [Abstract(3604)]  [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(3913)]  [View PDF(4579)449.91 K]

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

Ontology-Oriented Requirements Analysis LU Ru-qian,JIN Zhi and CHEN Gang 2000,11(8):1009-1017 [Abstract(4078)]  [View PDF(6433)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(3789)]  [View PDF(5009)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(3483)]  [View PDF(4790)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(4563)]  [View PDF(4531)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(3478)]  [View PDF(4619)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(4245)]  [View PDF(4933)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(3784)]  [View PDF(5115)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(3445)]  [View PDF(4550)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(4214)]  [View PDF(4544)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(3605)]  [View PDF(4894)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(3946)]  [View PDF(4873)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(3820)]  [View PDF(4825)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(3835)]  [View PDF(7105)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(4008)]  [View PDF(4775)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(3595)]  [View PDF(5098)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(4404)]  [View PDF(4600)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(3783)]  [View PDF(4784)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(4134)]  [View PDF(4620)1.78 M]

Partial Key Escrow Monitoring Scheme JIANG Shao-quan and ZHANG Yu-feng 2000,11(8):1133-1137 [Abstract(3661)]  [View PDF(4826)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(6656)]  [View PDF(6793)444.67 K]