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(2545)]  [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(2701)]  [View PDF(2565)449.91 K]
  • Optimization of Function Evaluation in Formal Specification Language
  • ZHANG Rong-hua and DONG Yun-mei
  • 2000,11(8):1003-1008 [Abstract(2365)]  [View PDF(2354)358.56 K]
  • Ontology-Oriented Requirements Analysis
  • LU Ru-qian,JIN Zhi and CHEN Gang
  • 2000,11(8):1009-1017 [Abstract(2747)]  [View PDF(3900)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(2511)]  [View PDF(2765)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(2207)]  [View PDF(2658)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(3346)]  [View PDF(2466)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(2312)]  [View PDF(2568)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(2896)]  [View PDF(2800)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(2673)]  [View PDF(3022)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(2284)]  [View PDF(2488)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(2667)]  [View PDF(2380)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(2566)]  [View PDF(2837)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(2675)]  [View PDF(2747)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(2519)]  [View PDF(2711)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(2735)]  [View PDF(4647)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(2719)]  [View PDF(2599)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(2549)]  [View PDF(2895)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(3160)]  [View PDF(2565)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(2489)]  [View PDF(2760)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(2843)]  [View PDF(2513)1.78 M]
  • Partial Key Escrow Monitoring Scheme
  • JIANG Shao-quan and ZHANG Yu-feng
  • 2000,11(8):1133-1137 [Abstract(2596)]  [View PDF(2758)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(4717)]  [View PDF(3313)444.67 K]