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