The Second International Conference on Software Engineering and Knowledge Engineering June 21-23, 1990 TABLE OF CONTENTS Methodology I Daniel E. Cooke, Chair University of Texas Knowledge-Based Software Engineering: A Different Approach Bruce I. Blum, John Hopkins University.............................1 Integrating Software Engineering and Knowledge Engineering to Design Interactive Systems William David Hurley, University of Pittsburgh ....................7 Software Engineering Issues in Knowledge Engineering Xiaofeng Li, S.W.I.F.T., Belgium ............................................ 12 Learning to Recognize Reusable Software by Induction Juan Carlos Esteva, Eastern Michigan University, and Robert G. Reynolds, Wayne State University............19 Object-oriented Systems Robert G. Reynolds, Chair Wayne State University Integrated Process Description and Execution in Manufacturing Environments P.C-Y. Sheu, Rutgers University, R. Venugopal and Shirley S. Huang, AT&T Bell Laboratories ..............25 A Framework For Building Knowledge-Intensive Data Models L. Mohan and R.L. Kashyap, Purdue University ...................... 33 Modeling Software Objects Using Hypergraph Ying Yang and Frances Hunt, Case Western Reserve University ............. 39 Conceptual Structores ot Object-Oriented Programming for Application Development K.Y. Cheng, Academia Sinica, and M.S. Hwu, National Taiwan University, Taiwan .............. 45 Rapid Prototyping Xiaofeng Li, Chair S.W.I.F.T., Belgium The Prototyping Language SF and its Implementation A. T. Berztiss and C. T. Liu, University of Pittsburgh ............ 51 Using Data-flow Description Supported By The Rapid Prototyping Tool For Specifying and Developing of Knowledge-Based System Krista Rizman and Ivan Rozman, University of Maribor, Yugoslavia................. 58 Rapid Prototyping: A Practitioner’s Viewpoint in Software Development Chuck Smyrniotis, Lockheed .......................... 64 Panel on Software Engineering and Al Research Rebecca Joos, Moderator Motorola Panelists: Jeffrey M. Harris, Helmut Korp, Susan McGill, Karen Petersen, Motorola ....................70 Methodology II Bruce W. Weide, Chair Ohio State University Cleanroom Software Engineering: Theory and Practice Michael D. Deck and Philip A. Hausler, IBM..........................71 Program Development by Stepwise ’Enhancement’ Arun Lakhotia, University of Southwestern Louisiana, and Leon Sterling, Case Western Reserve University .. 78 The Role of Traditional Engineering Design Techniques in Software Engineering Michael P. Stovsky and Bruce W. Weide, Ohio State University...................................................84 Design of a Lattice-Based Faceted Classification System David Eichmann and John Atkins, West Virginia University.......................................... 90 Knowledge-based Systems P.C- Y. Sheu, Chair Rutgers University Plan Integration in Knowledge-Based Software Environments Vasudevan Venugopal, Motorola............................................. 98 A Model for Testing Knowledge Bases Laurence Vignollet and Marc Ayel, University of Savoie, France .........................104 Knowledge-Based Programming for Call Processing Program in Telecommunication Switching System John C.C. Hsueh, Telecommunications Lab, Taiwan and D.T. Lee, NSF...................................110 Automatic Rule Base Inspection for Data-Access Oriented Knowledge-based Systems Fang- Yie Leu and Chien-Chiao Yang, National Taiwan Institute of Technology, Taiwan ........................ 116 Software Engineering of Expert Systems S. Shekhar, Chair University of Minnesota KID-a- Knowledge Acquisition Support Tool to develop Validated Knowledge Base Yasusi Sinohara, Central Research Institute of Electric Power Industry, Japan ..............122 Towards a Unified Framework for Testing Expert Systems W.T. Tsai and I.A. Zualkernan, University of Minnesota ...................... 127 Theoretical Aspects of the Universal Programming Language Genotype John C. Baird and Sabastian K. Shaumyan, Baird Technologies, Inc.................135 Engineering An Expert System For Creativity Management Vipa Ongwisesphaiboon, Illene Burnstein, Martha Evens, Anjali Puri and Martin E. Ginn Illinois Institute of Technoiogy ........... 141 Expert System Application in Software Quality Evaluation Nikolay S. Bukovsky, Research 8c Development Institute INTERPROGRAMA, Bulgaria..............272 Logic Programming and Knowledge Representation E. Maim, Chair SYSECA Temps Reel, France Integrating Database Technology and iogic Programming Paradigm Selmin Nurcan, Jacques Kouloumdjian, INSA, France, and Lei Li, Jilin University, P.R.C............147 Intelligent Forward Execution in Logic Programs Sudharsan R. Iyengar, Winona State University ..........................153 A Metalanguage for Representation and Control in Assumption-based Problem Solvers Pierre Saveant, Syseca Temps Reel, and Philippe Codognet, INRIA, France........159 Parallel Processes of Decision Making and Multivalued Interpretation of Contradictory Data by Learning Neuron Machines Vl. D. Mazurov, Institute of Mathematics, U.S.S.R.................................... 165 CKRL: A Connectionist Knowledge Representation Language Jue Wang, Yiping Yang and Juwei Tai, CAS, China ............. 166 Database Systems C.C. Yang, Chair NTIT, ROC Development and Programming of Deductive Databases with PROTOS-L Stefan Bottcher, IBM Deutschland, West Germany................................................171 Query-Independent Compilation of Linear Recursions Abdallah Al-Sukairi and Lawrence Henschen, Northwestern University ..................................177 Design of Knowiedge-Based Integrity Systems with ISL+ + J.F. Peters, S. Ramanna and E.A. Unger, Kansas State University ...................................................183 Path: An Approach to Incorporate List Processing in A Relational Database W.S. Luk, Weining Zhang and Jiawei Han, Simon Fraser University, Canada...................................189 Software Design A.T. Berztiss, Chair University of Pittsburgh Evaluation of Characteristics of Design Quality Metrics G. Como, F. Lanubile and G. Visaggio, Universita’ Degli Studi Di Bari, Italy .................................195 An Introduction To The Recognition of Iterative Structures by a CASE Tool A. Gates and D.E. Cooke, University of Texas at El Paso...................................202 CRL: Common Representation Language Enrico Maim, SYSECA Temps Reel, France......................................................209 What Software Engineering Can Learn From Practitioners Dmitry Volovik,University of Minnesota, Ramin Mojdehbakhsh,Honeywell, W-T. Tsai,University of Minnesota...........216 An Automatic Programming Method of Nonprocedural / Procedural Program Specification Mok-Dong Chung, Pusan University of Foreign Studies, Yung-Taek Kim, Seoul National University, Korea ........222 Applying DSS Techniques in Software Cost Estimation Shu-Cheen Kuo, Gu-Ping Shen, Su-Nu Huang and Yen-Sung Lee, Telecommunication Laboratories, Taiwan ............... 228 Graphics and Graph Models Tadao Murata, Chair University of Illinois at Chicago Graphics Application Development Under Window Environment Tam Siu Sun and Chan Yiu Keung, City Polytechnic of Hong Kong, Hong Kong..................................234 Aesthetics Rules in The Diagrams of Linked Data Structures Prabhaker Mateti and Chen Ding, Case Western Reserve University...................................................239 HelpDez: Colored-Petri-Net-Based Hypermedia Help System Designer Huan Chao Keh and T.G. Lewis, Oregon State University.......................................245 Toward Verification and Validation of Software Requirements G.M. Shi and I. Miyamoto, University of Hawaii at Manoa......................................................251 A High-Level Petri Net for a Subset of FGHC John Jeffrey, Elmhurst College, and Tadao Murata, University of Illinois at Chicago ......................260 A State Space Model for Currency Exchange Rate Prediction J. Clark, Capricornia Institute, Australia.............................................................267