Contents

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

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

Ontology-Oriented Requirements Analysis LU Ru-qian,JIN Zhi and CHEN Gang 2000,11(8):1009-1017 [Abstract(4766)]  [View PDF(7396)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(4475)]  [View PDF(5866)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(4137)]  [View PDF(5646)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(5185)]  [View PDF(5458)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(4086)]  [View PDF(5572)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(4919)]  [View PDF(5907)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(4355)]  [View PDF(6020)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(4062)]  [View PDF(5492)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(4942)]  [View PDF(5669)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(4254)]  [View PDF(5802)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(4554)]  [View PDF(5791)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(4488)]  [View PDF(5894)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(4411)]  [View PDF(7972)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(4691)]  [View PDF(5685)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(4241)]  [View PDF(5928)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(4997)]  [View PDF(5383)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(4372)]  [View PDF(5726)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(4747)]  [View PDF(5561)1.78 M]

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