| 1989 | A Novel Way 1o Identify IneguaIity Query Subclasses Which possess the Homomorphism Property. | Tianzheng Wu, James L. Clark, Nong Zhou, Kazem Taghva |
| 1989 | Object Formation in A Hybrid Knowledge Representation. | Stephen T. C. Wong, John L. Wilson |
| 1989 | Conceptualizing the Software Engineering Process. | Bruce W. Weide, Samuel DeFazio |
| 1989 | A Form-based Pictorial Query Language For Pictorial Database. | Jinsong Wang, Qing-Yun Shi |
| 1989 | A Knowledge-based System for Engineering Design. | S. L. Wang, S. T. Peng, T. L. Teng |
| 1989 | Knowledge-oriented Specification Analysis and Transformation. | Shun-Tzu Tsai, Chien-Chiao Yang, Chih-Cheng Lien, Shih-Tsung Chen, Chien-Hao Hsiao |
| 1989 | Requirement Specifications For The AT8T 5ESS(R) Switch. | Rati C. Thanawala |
| 1989 | Temporal Theory for Automatic Verification of Infinite State Concurrent Programs. | Tong G. Tang |
| 1989 | Imagery Analyst's Assistant. | Chuck Smyrniotis |
| 1989 | PM: A Metrics Driven Plan Compiler. | Robert G. Reynolds, Jonathan I. Maletic, Stephen E. Porvin |
| 1989 | Conceptual Modeling of Software Requirements. | Miin-Jeng Pan, Chien-Chiao Yang, Ping-Long Chang |
| 1989 | Architecture of the Knowledge Integration Tocl: A Knowledge Based System Development Environment. | Philip Newcomb |
| 1989 | Petri Net Method for Real-Time Control of Rule-Based Systems. | Tadao Murata, Jaegeol Yim |
| 1989 | Abstractions in Object-oriented Data Models: A Formalized Representation Scheme. | Lil Mohan, Rangasami L. Kashyap |
| 1989 | Performance Verification of the AT&T 5ESSOR Switch. | Michael N. Meyers |
| 1989 | A Hybrid Modeling Paradigm for Simulating Existing Software and Its Execution Environment. | Xiaofeng Li, Arnaud Rubin, Robert Phelps, Jean Steinier |
| 1989 | Knowledge Representation in Automatic COBOL Programmer. | Holmes S. Liao, Abraham Kandel, Robert Christopher |
| 1989 | A Two-Level Model for Software Rapid Prototyping. | Ren-Juh Lea, Chyan-Goei Chung |
| 1989 | Deriving Temporal Logic Specifications from Predicate Transition Petri Net. | Xudong He, John A. N. Lee |
| 1989 | Derivation of Magic Sets by Compilation. | Jiawei Han, Lawrence J. Henschen, Ning Zhuang |
| 1989 | A Comprehensive Software Complexity Metric for Primitive Modules. | Zhemin Fan, Jeffrey M. Harris |
| 1989 | Recursive Query Specification Using Nested Databases. | Bogdan D. Czejdo |
| 1989 | Proving Properties of Software Design Methods. | Daniel E. Cooke |
| 1989 | Semantic Query Optimization and Prolog. | Jiann-Tsair Chen, Chiou-Rurng Tseng, Wei-Pang Yang |
| 1989 | Visual Programming in Object-oriented Style. | K. Y. Cheng, W. H. Huang, M. S. Hwu |