2. SEKE 1990: Skokie, USA

SEKE'90, Proceedings of the Second International Conference on Software Engineering and Knowledge Engineering, Skokie, USA, June 21-23, 1990. Knowledge Systems Institute 1990

Methodology I

Bruce I. Blum: Knowledge-Based Software Engineering: A Different Approach. 1-6
W. David Hurley: Integrating Software Engineering and Knowledge Engineering to Design Interactive Systems. 7-11
Xiaofeng Li: Software Engineering Issues in Knowledge Engineering. 12-18
Juan Carlos Esteva, Robert G. Reynolds: Learning to Recognize Reusable Software by Induction. 19-24

Object-oriented Systems

Phillip C.-Y. Sheu, Ragu Venugopal, Shirley S. Huang: Integrated Process Description and Execution in Manufacturing Environments. 25-32
Lil Mohan, Rangasami L. Kashyap: A Framework For Building Knowledge-Intensive Data Models. 33-38
Ying Yang, Frances Hunt: Modeling Software Objects Using Hypergraph. 39-44
K. Y. Cheng, M. S. Hwu: Conceptual Structores ot Object-Oriented Programming for Application Development. 45-50

Rapid Prototyping

Alfs T. Berztiss, C. T. Liu: The Prototyping Language SF and its Implementation. 51-57
Krista Rizman, Ivan Rozman: Using Data-flow Description Supported By The Rapid Prototyping Tool For Specifying and Developing of Knowledge-Based System. 58-63
Chuck Smyrniotis: Rapid Prototyping: A Practitioner's Viewpoint in Software Development. 64-69

Panel on Software Engineering and Al Research

Rebecca Joos, Moderator
Panelists: Jeffrey M. Harris, Helmut Korp, Susan McGill, Karen Petersen

Methodology II

Michael D. Deck, Philip A. Hausler: Cleanroom Software Engineering: Theory and Practice. 71-77
Arun Lakhotia, Leon Sterling: Program Development by Stepwise 'Enhancement'. 78-83
Michael P. Stovsky, Bruce W. Weide: The Role of Traditional Engineering Design Techniques in Software Engineering. 84-89
David Eichmann, John Atkins: Design of a Lattice-Based Faceted Classification System. 90-97

Knowledge-based Systems

Vasudevan Venugopal: Plan Integration in Knowledge-Based Software Environments. 98-103
Laurence Vignollet, Marc Ayel: A Model for Testing Knowledge Bases. 104-109
John C. C. Hsueh, D. T. Lee: Knowledge-Based Programming for Call Processing Program in Telecommunication Switching System. 110-115
Fang-Yie Leu, Chien-Chiao Yang: Automatic Rule Base Inspection for Data-Access Oriented Knowledge-based Systems. 116-121

Software Engineering of Expert Systems

Yasusi Sinohara: KID-a- Knowledge Acquisition Support Tool to develop Validated Knowledge Base. 122-126
Wei-Tek Tsai, Imran A. Zualkernan: Towards a Unified Framework for Testing Expert Systems. 127-134
John C. Baird, Sabastian K. Shaumyan: Theoretical Aspects of the Universal Programming Language Genotype. 135-140
Vipa Ongwisesphaiboon, Ilene Burnstein, Martha W. Evens, Anjali Puri, Martin E. Ginn: Engineering An Expert System For Creativity Management. 141-146
Nikolay S. Bukovsky: Expert System Application in Software Quality Evaluation. 272-

Logic Programming and Knowledge Representation

Selmin Nurcan, Jacques Kouloumdjian, Lei Li: Integrating Database Technology and iogic Programming Paradigm. 147-152
Sudharsan R. Iyengar: Intelligent Forward Execution in Logic Programs. 153-158
Pierre Savéant, Philippe Codognet: A Metalanguage for Representation and Control in Assumption-based Problem Solvers. 159-164
Vladimir D. Mazurov: Parallel Processes of Decision Making and Multivalued Interpretation of Contradictory Data by Learning Neuron Machines. 165
Jue Wang, Yiping Yang, Juwei Tai: CKRL: A Connectionist Knowledge Representation Language. 166-170

Database Systems

Stefan Böttcher: Development and Programming of Deductive Databases with PROTOS-L. 171-176
Abdallah Al-Sukairi, Lawrence J. Henschen: Query-Independent Compilation of Linear Recursions. 177-182
James F. Peters, Sheela Ramanna, E. A. Unger: Design of Knowiedge-Based Integrity Systems with ISL++. 183-188
W. S. Luk, Weining Zhang, Jiawei Han: Path: An Approach to Incorporate List Processing in A Relational Database. 189-194

Software Design

G. Como, Filippo Lanubile, Giuseppe Visaggio: Evaluation of Characteristics of Design Quality Metrics. 195-201
Ann Q. Gates, Daniel E. Cooke: An Introduction To The Recognition of Iterative Structures by a CASE Tool. 202-208
Enrico Maim: CRL: Common Representation Language. 209-215
Dmitry Volovik, Ramin Mojdehbakhsh, Wei-Tek Tsai: What Software Engineering Can Learn From Practitioners. 216-221
Mok-Dong Chung, Yung-Taek Kim: An Automatic Programming Method of Nonprocedural / Procedural Program Specification. 222-227
Shu-Cheen Kuo, Gu-Ping Shen, Su-Nu Huang, Yen-Sung Lee: Applying DSS Techniques in Software Cost Estimation. 228-233

Graphics and Graph Models

Tam Siu Sun, Chan Yiu Keung: Graphics Application Development Under Window Environment. 234-238
Prabhaker Mateti, Chen Ding: Aesthetics Rules in The Diagrams of Linked Data Structures. 239-244
Huan Chao Keh, T. G. Lewis: HelpDez: Colored-Petri-Net-Based Hypermedia Help System Designer. 245-250
G. M. Shi, I. Miyamoto: Toward Verification and Validation of Software Requirements. 251-259
John Jeffrey, Tadao Murata: A High-Level Petri Net for a Subset of FGHC. 260-266
J. Clark: A State Space Model for Currency Exchange Rate Prediction. 267-271