We use cookies to improve your experience with our site.

Indexed in:

SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
Advanced Search

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

Copyright ©2025 JCST, All Rights Reserved     京ICP备05002829号-1

Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190, P.R. China

Tel.: 86-10-62610746 E-mail: jcst@ict.ac.cn