1. SEKE 1989: Skokie, USA

SEKE'89, Proceedings of the First International Conference on Software Engineering and Knowledge Engineering, Skokie, USA, June 15-16, 1989. Knowledge Systems Institute 1989

Knowledge-Based Software Design and Testing

W. P. Yin, David Y. Y. Yun, Murat M. Tanik: Design Activity Agent: A Knowledge-Based Software Design Environment. 1-8
Daniel E. Cooke: Proving Properties of Software Design Methods. 9-12
Kai-Hsiung Chang, James H. Cross II, W. Homer Carlisle, David B. Brown: An Intelligent Test Data Generator for Software Branch Coverage. 13-18
Ren-Dar Yang, Chyan-Goei Chung: Testing Concurrent Ada Program with Reproducible Test Cases. 19-24

Software Knowledge Acquisition

Robert G. Reynolds, Jonathan I. Maletic, Stephen E. Porvin: PM: A Metrics Driven Plan Compiler. 25-30
Philip Newcomb: Architecture of the Knowledge Integration Tocl: A Knowledge Based System Development Environment. 31 -37
Holmes S. Liao, Abraham Kandel, R. Chris Lacher: Knowledge Represen1ation in Automatic COBOL Programmer. 38-41
Stephen T. C. Wong, John L. Wilson: Object Formation in A Hybrid Knowledge Representation. 42-47

Software Reuse

Maryam Asdjodi, James W. Hopper: An Environment for Software Reusability. 48-53
Z. Chen: Rule Mapping and Expert Systems Reuse. 54-57

Panel Session on Software Engineering Methods & Practices

Rati C. Thanawala: Requirement Specifications For The AT8T 5ESS(R) Switch. 58
Lewis G. Anderson: Software Design for the 5ESS(R) Switch. 59
Michael N. Meyers: Performance Verification of the AT&T 5ESSOR Switch. 60

Software Measurement and Simulation

Xiaofeng Li, Arnaud Rubin, Robert Phelps, Jean Steinier: A Hybrid Modeling Paradigm for Simulating Existing Software and Its Execution Environment. 61-66
Zhemin Fan, Jeffrey M. Harris: A Comprehensive Software Complexity Metric for Primitive Modules. 67-72
Ren-Juh Lea, Chyan-Goei Chung: A Two-Level Model for Software Rapid Prototyping. 73-78

Object-Oriented Systems

Lil Mohan, Rangasami L. Kashyap: Abstractions in Object-oriented Data Models: A Formalized Representation Scheme. 79-84
Hsing-Lung Chen, Shi-Kuo Chang: Assignment of Objects in a Dual Processor System with Limited Objects. 85-92
K. Y. Cheng, W. H. Huang, M. S. Hwu: Visual Programming in Object-oriented Style. 93-97

Intelligent Software Systems

Chuck Smyrniotis: Imagery Analyst's Assistant. 98-103
S. L. Wang, S. T. Peng, T. L. Teng: A Knowledge-based System for Engineering Design. 104-109

Specifications and Transformations

Shun-Tzu Tsai, Chien-Chiao Yang, Chih-Cheng Lien, Shih-Tsung Chen, Chien-Hao Hsiao: Knowledge-oriented Specification Analysis and Transformation. 110-115
Xudong He, John A. N. Lee: Deriving Temporal Logic Specifications from Predicate Transition Petri Net. 116-121
Tadao Murata, Jaegeol Yim: Petri Net Method for Real-Time Control of Rule-Based Systems. 122-127
Miin-Jeng Pan, Chien-Chiao Yang, Ping-Long Chang: Conceptual Modeling of Software Requirements. 128-133
Tong G. Tang: Temporal Theory for Automatic Verification of Infinite State Concurrent Programs. 134-139

Query Languages

Bogdan D. Czejdo: Recursive Query Specification Using Nested Databases. 140-145
Jiann-Tsair Chen, Chiou-Rurng Tseng, Wei-Pang Yang: Semantic Query Optimization and Prolog. 146-151
Jinsong Wang, Qing-Yun Shi: A Form-based Pictorial Query Language For Pictorial Database. 152-157
Tianzheng Wu, James L. Clark, Nong Zhou, Kazem Taghva: A Novel Way 1o Identify IneguaIity Query Subclasses Which possess the Homomorphism Property. 158-163
Jiawei Han, Lawrence J. Henschen, Ning Zhuang: Derivation of Magic Sets by Compilation. 164-171

Panel Session on Software Engineering Process Framework and Application Case Studies

Bruce W. Weide, Samuel DeFazio: Conceptualizing the Software Engineering Process. 172-