Volume 11,Issue 8,2000 Table of Contents
Foreword for the Special Issue on New Software Technology and Tools杨芙清2000,11(8):995 [Abstract(3548)] [View PDF(331)]A Methodology for Automatically Constructing a Multimedia Synchronize r in XYZ/REZHAO Chen,TANG Zhi-song and MA Hua-dong2000,11(8):996-1002 [Abstract(3824)] [View PDF(3987)449.91 K]Optimization of Function Evaluation in Formal Specification LanguageZHANG Rong-hua and DONG Yun-mei2000,11(8):1003-1008 [Abstract(3357)] [View PDF(3800)358.56 K]Ontology-Oriented Requirements AnalysisLU Ru-qian,JIN Zhi and CHEN Gang2000,11(8):1009-1017 [Abstract(3958)] [View PDF(5802)570.76 K]Research on Componentware Framework Based on Mobile Agent TechnologyLü Jian,ZHANG Ming,LIAO Yu and TAO Xian-ping2000,11(8):1018-1023 [Abstract(3711)] [View PDF(4386)430.57 K]Visual Architecture Description Language XYZ/ADLLUO Hua-jun,TANG Zhi-song and ZHENG Jian-dan2000,11(8):1024-1029 [Abstract(3391)] [View PDF(4166)433.11 K]Generating Sentences of CFL Based on Partition of CFG Production SetWANG Hong-hao and DONG Yun-mei2000,11(8):1030-1034 [Abstract(4478)] [View PDF(3877)353.47 K]Validation Test of Distributed Program Based on Event Sequencing Con straintsGU Qing,CHEN Dao-xu,YU Meng,XIE Li and SUN Zhong-xiu2000,11(8):1035-1040 [Abstract(3386)] [View PDF(3958)394.87 K]From Object-Oriented Z Specification to Code by Refinement CalculusWANG Yun-feng,PANG Jun,ZHA Ming,YANG Zhao -hui and ZHENG Guo-liang2000,11(8):1041-1046 [Abstract(4167)] [View PDF(4295)392.63 K]Active-Connector-Based Software Architecture and Its Description MethodZHANG Jia-chen,FENG Tie,CHEN Wei and JIN Chun-zhao2000,11(8):1047-1052 [Abstract(3715)] [View PDF(4489)379.23 K]A Test System Framework for Distributed ProgrammingGU Qing,CHEN Dao-xu,HAN Jie,XIE Li and SUN Zhong-xiu2000,11(8):1053-1059 [Abstract(3367)] [View PDF(3941)514.74 K]Communication Mechanism in Mogent SystemTAO Xian-ping,FENG Xin-yu,LI Xin,ZHANG Guan-qun and Lü Jian2000,11(8):1060-1065 [Abstract(4091)] [View PDF(3920)454.34 K]Program Development and Verification Based on Rewriting TechniquesSUN Yong-qiang,LU Chao-jun and SHAO Zhi-qing2000,11(8):1066-1070 [Abstract(3505)] [View PDF(4241)357.42 K]On Refinement Calculus with Program Window InferenceWANG Yun-feng,LI Bi-xin,PANG Jun,ZHA Ming and ZHENG Guo-liang2000,11(8):1071-1077 [Abstract(3885)] [View PDF(4246)443.17 K]Software Architecture Specification Based on a Framework and Role TypeFENG Tie,ZHANG Jia-chen,CHEN Wei and JIN Chun-zhao2000,11(8):1078-1086 [Abstract(3722)] [View PDF(4209)561.20 K]Super-Linearly Convergent BP Learning Algorithm for Feedforward Neural NetworksLIANG Jiu-zhen,HE Xin-gui and HUANG De-shuang2000,11(8):1094-1096 [Abstract(3740)] [View PDF(6414)216.20 K]A Static Scheduling Algorithm on DAG Partition-Reconfiguration in the Network of WorkstationsZHOU Jia-xiang and ZHENG Wei-min2000,11(8):1097-1104 [Abstract(3893)] [View PDF(4183)457.51 K]Mapping Integrated Service to Differentiated Service on the InternetGUO Guo-qiang and ZHANG Yao-xue2000,11(8):1105-1111 [Abstract(3534)] [View PDF(4466)458.47 K]Binary Tree Drawing Algorithm Based on Genetic AlgorithmsHUANG Jing-wei,KANG Li-shan and CHEN Yu-ping2000,11(8):1112-1117 [Abstract(4300)] [View PDF(4000)354.22 K]Research and Improvement of the Interpreter of BDI AgentLU Jun,WANG Ya-dong and WANG Xiao-long2000,11(8):1118-1125 [Abstract(3688)] [View PDF(4178)558.67 K]Real-Time Lip Locating Method for Lip-Movement RecognitionYAO Hong-xun,GAO Wen,LI Jing-mei,Lü Ya-juan and WANG Rui2000,11(8):1126-1132 [Abstract(4029)] [View PDF(3975)1.78 M]Partial Key Escrow Monitoring SchemeJIANG Shao-quan and ZHANG Yu-feng2000,11(8):1133-1137 [Abstract(3599)] [View PDF(4166)277.78 K]
Parallel Volume Rendering on a Virtual MachineDENG Jun-hui and TANG Ze-sheng2000,11(8):1087-1093 [Abstract(6560)] [View PDF(5491)444.67 K]