The Third International Conference on Software Engineering and Knowledge Engineering June 27-29, 1991 TABLE OF CONTENTS Session 1: Process D.E. Cooke, Chair The University of Texas at El Paso Holistic Application Development Bruce I. Blum, Johns Hopkins University ......................................1 A Software Development and Evolution Model Based on Decision-Making Jinghuan Dong, Old Dominion University..................................................................9 A Case Study in Hybrid System Design R.D. Semmel, Johns Hopkins University ................................................... 1 5 Distributed Cluster Design: A Logic-Based Design Culture Patrick O. Bobbie, University of West Florida ............................................. 21 Session 2: CASE G. Vissaggio, Chair Universita Degli Studi Di Bari Why and How Should We Hide Conceptual Models? G. Grosz and C. Rolland, Universite Faris 1 - Sorbonne, France .............................. 28 A CASE Tool for Reusable Software Component Storage and Retrieval in Rapid Prototyping R. Steigerwald, Luqi, and J. McDowell, Naval Postgraduate School ............................... 34 Programming Activities in an I-CASE Context K. Coninx and E. Flerackers, Limburg University Center, Belgium.................................... 40 Session 3: Knowledge Engineering B.I. Blum, Chair Johns Hopkins University A New Induction Algorithm - 2W/RS W.W. Koczkodaj and W. Pang, Laurentian University, Canada ................................ 46 Knowledge Representation and Inference Control in a Natural Language System P. Buchheit, University of Illinois at Chicago ............................................ 52 Knowledge Elicitation: Some Implications for Research and Practice Mehdi Sagheb-Tehrani, Lund University, Sweden .............................................. 58 Panel on Information Engineering Methodology M.L. Gibson, Moderator Auburn University Panelists: Dennis Minnium, Texas Instruments, Peter Privatee, KnowledgeWare, and Tim Rineman, Information Engineering Systems............................................64 Session 4: Specification I M. Deck, Chair IBM Making Data Flow Diagrams Executable by the Annotation of Transformation Logic M.-J. Chen and C.-G. Chung, National Chiao Tung University, Taiwan ...............................................65 A Framework for Distributed Information System Design Yi Deng and Shi-Kuo Chang, University of Pittsburgh .................................................71 Interaction of Data Structures and Primitive Operations of Language LO D.E. Cooke, M. Pedroza, and A. Gates, The University of Texas at El Paso.......................................78 A Task-Based Methodology for Knowledge Specification John Yen and Jonathan Lee, Texas A&M University ....................................................84 Session 5: SE Applied to KE D. Eichmann, Chair West Virginia University Solving The Monkey-Bananas Problem in Object-Oriented Programming Xiaofeng Li, NEC America and Qin Shen, VUB AI-Lab....................................................90 Reasoning Types and Al Programming Paradigm H. Kaindl and H.G. Ziegeler, SIEMENS AG, Austria ..........................................96 Rule-Based Petri Nets G.S. Bassen, Kingsborough Community College...................................................102 Decoding the Stepwise Refinement Process: Stepwise Refinement as a Problem Solving Activity R.G. Reynolds, J. I. Maletic, and S. E. Porvin, Wayne State University...............,...............108 Panel on Ambiguity in Software Engineering D.E. Cooke, Moderator University of Texas at El Paso Panelists: Terry Escamilla, Texas A&M University, and Michael L. Gibson, Auburn University ................114 Session 6: Knowledge Systems B. Joos, Chair Motorola A Self-Adaptive Expert Selection System (SAESS) and Its Application to Selection Problems S.P. Lin, M.A. Breuer, and C.A. Njinda, University of Southern California .................116 CBDKS: An Artificial Intelligence Approach to Enhancement of Circuit Board Design S.S. Huang, AT&T Bell Laboratories.......................................................................122 Applying Truth Maintenance Techniques to Expert Systems with Time Constraints: A Case Study in Railway Signalling B. Fringuelli, E. Lamma, P. Mello, and G. Santocchia, University of Bologna, Italy ...........128 Assistance and Guidance in Software Production through Software Process Modeling K.Benali and J.C. Derniame, Universite de Metz, France .................................134 Session 9: Reverse Engineering and Reusability Lakhotia, Chair University of Southwestern Louisiana Design Recovery of a Data-Strong Application G. Como, F. Lanubile, G. Visaggio, Universita degli Studi di Bari, Italy.......................................205 Petri Nets and Reverse Engineering in Concurrent Environment G. Canfora, A. Cimitile, and U. De Carlini, Universita di Napoli, Italy..................................213 Parametrized Performance Control of Systems Built from Reusable Software Components Muralidharan Sitaraman, West Virginia University.......................................................224 Type-Safe Reuse of Prototype Software Lujun Shang, Nanjing University, P.R. of’China .....................................................230 A Hybrid Approach to Software Repository Retrieval: Blending Faceted Classification and Type Signatures D. Eichmann, West Virginia University ..................................................................236 Testing Programs by Queries V. De Leo, M. Napoli, G.Nota and G. Tortora, Universita di Salerno ...........................................241 TL-Model: A Cost Estimation Model for Telecommunication Software S.N. Huang, J.Y. Jeng, P.L. Wei and Y.S. Lee, Telecommunications Laboratories, Taiwan ...... 249 Session 10: Specification II J.E. Vargas, Chair University of South Carolina An Object-Oriented Executable Requirements Specification Language O. Barros and G. Pavez, Universidad de Chile......................................................255 Program Generation from Real-Time Software Specification Described with a Conceptual Data Model-Based Language Katsumi Okamoto and Masaaki Hashimoto, ATR Communication Systems Research Laboratories, Japan ...................261. Conceptual Modeling for Software Development Methodologies P. Armenise and S. Depanfilis, Engineering - Ingegneria Informatica S.P.A., Italy ...............................271 Session 11: Software Visualization E. Flerackers, Chair Limburg University Center, Belgium Automated Visualization of Tasking Behavior for Ada Programs: A Petri Net Approach S. Tu, F. Sanchez, and S.M. Shatz, University of Illinois at Chicago...............279 On the Design of FLEDGED-A Flexible Editing Tool for Data Flow Diagrams M.-J. Chen and C.-G. Chung, National Chiao Tung University, Taiwan ........................................285 Formal Modeling of Visualized Data Flow Diagrams K.P. Tan and P.T. Lee, Yiational University of Singapore ......................................291