Volume 11,Issue 8,2000 Table of Contents

Other Issues:  
  
Contents

  • Foreword for the Special Issue on New Software Technology and Tools
  • 杨芙清
  • 2000,11(8):995 [Abstract(2491)]  [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(2642)]  [View PDF(2526)449.91 K]
  • Optimization of Function Evaluation in Formal Specification Language
  • ZHANG Rong-hua and DONG Yun-mei
  • 2000,11(8):1003-1008 [Abstract(2314)]  [View PDF(2322)358.56 K]
  • Ontology-Oriented Requirements Analysis
  • LU Ru-qian,JIN Zhi and CHEN Gang
  • 2000,11(8):1009-1017 [Abstract(2653)]  [View PDF(3861)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(2440)]  [View PDF(2726)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(2149)]  [View PDF(2625)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(3290)]  [View PDF(2428)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(2250)]  [View PDF(2531)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(2814)]  [View PDF(2763)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(2602)]  [View PDF(2993)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(2224)]  [View PDF(2459)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(2532)]  [View PDF(2344)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(2456)]  [View PDF(2802)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(2614)]  [View PDF(2715)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(2452)]  [View PDF(2680)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(2672)]  [View PDF(4616)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(2653)]  [View PDF(2572)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(2488)]  [View PDF(2862)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(3047)]  [View PDF(2537)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(2424)]  [View PDF(2713)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(2784)]  [View PDF(2486)1.78 M]
  • Partial Key Escrow Monitoring Scheme
  • JIANG Shao-quan and ZHANG Yu-feng
  • 2000,11(8):1133-1137 [Abstract(2541)]  [View PDF(2729)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(4595)]  [View PDF(3269)444.67 K]