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 BibTeX

Methodology I

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

Object-oriented Systems

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

Rapid Prototyping

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

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 BibTeX
Arun Lakhotia, Leon Sterling: Program Development by Stepwise 'Enhancement'. 78-83 BibTeX
Michael P. Stovsky, Bruce W. Weide: The Role of Traditional Engineering Design Techniques in Software Engineering. 84-89 BibTeX
David Eichmann, John Atkins: Design of a Lattice-Based Faceted Classification System. 90-97 BibTeX

Knowledge-based Systems

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

Software Engineering of Expert Systems

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

Logic Programming and Knowledge Representation

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

Database Systems

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

Software Design

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

Graphics and Graph Models

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