Computer-Aided Software Development Process Design (Abstract)

A Relational Calculus with Set Operators, Its Safety, and Equivalent Graphical Languages (Abstract)

Process Synchronization: Design and Performance Evaluation of Distributed Algorithms (Abstract)

An Efficient Digital Search Algorithm by Using a Double-Array Structure (Abstract)

Development Life Cycle of Computer Networks: The Executable Model Approach (Abstract)

Chameleon: A System for Solving the Data-Translation Problem (Abstract)

Linearization of Nonlinear Recursive Rules (Abstract)

An Entity-Relationship Programming Language (Abstract)

An Empirical Comparison of Textual and Graphical Data Structure Documentation for Cobol Programs (Abstract)

On the Design of a Single-Key-Lock Mechanism Based on Newton's Interpolating Polynomial (Abstract)