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
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
Software Reuse
- 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
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
Intelligent Software Systems
- Chuck Smyrniotis: Imagery Analyst's Assistant. 98-103
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
- 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
- Tianzheng Wu, James L. Clark, Nong Zhou, Kazem Taghva: A Novel Way 1o Identify IneguaIity Query Subclasses Which possess the Homomorphism Property. 158-163
Panel Session on Software Engineering Process Framework and Application Case Studies
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team