NDAUTO: An experimental software automation system Xu JiafuDai MinChen Daoxu Regular Papers Pages: 97 - 105
The determining method about the conflict between the null constraints and the set of functional dependencies Liu Weiyi Regular Papers Pages: 116 - 125
The comparison between the statistical heuristic search and A Zhang BoZhang Ling Regular Papers Pages: 126 - 132
Synthesis of communicating process skeletons from temporal-spatial logic specifications Cai BiaodongCai XiyiaoChen Jiazheng Regular Papers Pages: 133 - 146
Speedup studies of leading iteration model for non-DO loops in comparison with sequential iteration model Chen HaiboCi Yungui Regular Papers Pages: 147 - 154
On the structure of binary feedforward inverses with delay 2 Zhu Xinjie Regular Papers Pages: 163 - 171
Fault-tolerance analysis of multibus multiprocessor system Yao RongChen TinghuaiKang Tai Regular Papers Pages: 172 - 177
Monolingual: One way towards the integrated software development environment Wang Zhenyu Short Papers Pages: 184 - 187
Interface for voice input and output to the transputer system Ni Yongren Short Papers Pages: 188 - 192