1. NDAUTO: An experimental software automation system

   • Xu Jiafu
   • Dai Min
   • Chen Daoxu

   Regular Papers Pages: 97 - 105

2. Properties of semijoin sequences

   • Beng C. Ooi
   • B. Srinivasan

   Regular Papers Pages: 106 - 115

3. The determining method about the conflict between the null constraints and the set of functional dependencies

   • Liu Weiyi

   Regular Papers Pages: 116 - 125

4. The comparison between the statistical heuristic search and A

   • Zhang Bo
   • Zhang Ling

   Regular Papers Pages: 126 - 132

5. Synthesis of communicating process skeletons from temporal-spatial logic specifications

   • Cai Biaodong
   • Cai Xiyiao
   • Chen Jiazheng

   Regular Papers Pages: 133 - 146

6. Speedup studies of leading iteration model for non-DO loops in comparison with sequential iteration model

   • Chen Haibo
   • Ci Yungui

   Regular Papers Pages: 147 - 154

7. A new method for generating conic sections

   • Wang Wenping
   • Wang Jiaye

   Regular Papers Pages: 155 - 162

8. On the structure of binary feedforward inverses with delay 2

   • Zhu Xinjie

   Regular Papers Pages: 163 - 171

   

9. Fault-tolerance analysis of multibus multiprocessor system

   • Yao Rong
   • Chen Tinghuai
   • Kang Tai

   Regular Papers Pages: 172 - 177

10. A proof rule for while loop in VDM

    • Jiang Xinjie
    • Xu Yongsen

    Regular Papers Pages: 178 - 183

11. Monolingual: One way towards the integrated software development environment

    • Wang Zhenyu

    Short Papers Pages: 184 - 187

12. Interface for voice input and output to the transputer system

    • Ni Yongren

    Short Papers Pages: 188 - 192