We use cookies to improve your experience with our site.

NDAUTO: An Experimental Software Automation System
Xu Jiafu, Dai Min, Yuan Feng, Chen Daoxu
1989, 4(2): 97-105.
Abstract
Properties of Semijoin Sequences
Beng C. Ooi, B. Srinivasan
1989, 4(2): 106-115.
Abstract
The Determining Method about the Conflict between the Null Constraints and the Set of Functional Dependencies
Liu Weiyi
1989, 4(2): 116-125.
Abstract
The Comparison between the Statistical Heuristic Search and A
Zhang Bo, Zhang Ling
1989, 4(2): 126-132.
Abstract
Synthesis of Communicating Process Skeletons from Temporal-Spatial Logic Specifications
Cai Biaodong, Cai Xiyiao, Chen Jiazheng
1989, 4(2): 133-146.
Abstract
Speedup Studies of Leading Iteration Model for Non-DO Loops in Comparison with Sequential Iteration Model
Chen Haibo, Ci Yungui
1989, 4(2): 147-154.
Abstract
A New Method for Generating Conic Sections
Wang Wenping, Wang Jiaye
1989, 4(2): 155-162.
Abstract
On the Structure of Binary Feedforward Inverses with Delay 2
Zhu Xinjie
1989, 4(2): 163-171.
Abstract
Fault-Tolerance Analysis of Multibus Multiprocessor System
Yao Rong, Chen Tinghuai, Kang Tai
1989, 4(2): 172-177.
Abstract
A Proof Rule for While Loop in VDM
Jiang Xinjie, Xu Yongsen
1989, 4(2): 178-183.
Abstract
Monolingual: One Way Towards the Integrated Software Development Environment
Wang Zhenyu
1989, 4(2): 184-187.
Abstract
Interface for Voice Input and Output to the Transputer System
Ni Yongren
1989, 4(2): 188-192.
Abstract