Contents

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

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

Ontology-Oriented Requirements Analysis LU Ru-qian,JIN Zhi and CHEN Gang 2000,11(8):1009-1017 [Abstract(4099)]  [View PDF(6525)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(3799)]  [View PDF(5078)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(3499)]  [View PDF(4867)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(4581)]  [View PDF(4598)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(3500)]  [View PDF(4710)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(4261)]  [View PDF(5016)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(3801)]  [View PDF(5194)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(3459)]  [View PDF(4646)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(4254)]  [View PDF(4626)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(3616)]  [View PDF(4947)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(3961)]  [View PDF(4944)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(3843)]  [View PDF(4910)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(3849)]  [View PDF(7170)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(4018)]  [View PDF(4833)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(3605)]  [View PDF(5161)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(4416)]  [View PDF(4666)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(3796)]  [View PDF(4886)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(4150)]  [View PDF(4705)1.78 M]

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