• 
  SEKE'93, The 5th International Conference on Software Engineering and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, USA. Knowledge Systems Institute 1993

Knowledge-Based Query Processing

• 
  Atsuo Yoshitaka, Masahito Hirakawa, Tadao Ichikawa: A Framework for Query Processing Utilizing Knowledge. 1-10
• 
  Qianhong Liu, Jason Tsong-Li Wang, Peter A. Ng: An OI5ce Document Retrieval System with the Capability of Processing Incomplete and Vague Queries. 11-17
• 
  Ralph D. Semmel: Knowledge Representation for Intelligent Query Processing. 18-27
• 
  Tak-Wai Chan, Wen-Chong Wang: DARET: A Logic-Based Language in Object-Oriented Databases. 28-35

Object Orientation in SE & KE

• 
  Shi-Kuo Chang, Angelo Perkusich, Jorge C. A. de Figueiredo, Bing Yu, Wolfgang D. Ehrenberger: The Design of Real-Time Distributed information Systems with Object-Oriented and Fault-Tolerant Characteristics. 36-45
• 
  Yi Deng, Raimund K. Ege, Wei Sun: Executable Specifications for the Design of Object-Oriented Systems. 46-53
• 
  Toshimi Minoura, Sungwoon Choi, Anil Srivastava: The SAOS Approach to Software Lifecycle Support. 54-61
• 
  Vincenzo Loia, Michel Quaggetto: CLOS: A Key Issue To Bridge the Gap Between Object-Oriented and Logic Programming. 62-69

Panel: The Workshop on Software Automation

• 
  Daniel E. Cooke: Software Automation. 70-72

Reverse Engineering

• 
  Nikolaos G. Bourbakis, D. Rice: An Expert Tool For Automatic Visual VLSI Reverse Engineering. 73-77
• 
  Antonio Massari, Gennaro Costagliola, Panos K. Chrysanthis, Shi-Kuo Chang: Programs as Databases: Treating Code and Comments as First Class Objects. 78-85
• 
  Don McFall, Gillian Sleith, John Hughes: Reverse Engineering Structured Code to an Object-Oriented Representation. 86-93
• 
  William C. Chu, Sukesh Patel: A Re-cnginacring Tool for the Reuse of Large Scale Software Systems. 94-101

Small-Group Presentations

• 
  Alfs T. Berztiss: Catastrophe Prevention in Safety-Critical Systems. 102-108
• 
  Brigitte Biebow, Sylvie Szulman: Acquisition, Analysis and Validation of Informal Requirements. 109-116
• 
  Daniel E. Cooke: A High Level Programming Language Based Upon Ordered Multisets. 117-124
• 
  Perry Alexander: BENTON: A Multi-Agent System for Larch Specification Generation. 125-133
• 
  Michel Dojat, Claudette Sayettat: Temporal Reasoning in a Medical Expertise. 134-141
• 
  Frank P. Coyle, Murat M. Tanik, Dennis J. Frailey: Rule-Based Programming for Real-Time Knowledge-Based Systems Development. 142-149
• 
  Robert G. Reynolds, Jonathan I. Maletic: The Use of Refinement Metrics to Assess Programming Language Support for the Stepwise Refinement Process. 150-157
• 
  Michael DeBellis: Intelligent Assistance for Transformation-Based Environments. 158-165
• 
  Eugeniusz Eberbach: The Design and Specification of SEMAL - A Cost Language Based on the Calculus of Self-Modifiable Algorithms. 166-173
• 
  Mari Georges: Closing the Knowledge Engineering Gap. 174-182
• 
  Grigoris Antoniou: Engineering Issues for No monotonic Knowledge: Structuring, Specification, Modules. 183-190
• 
  Trent Jaeger, Atul Prakash: BIZSPEC: A Business-Oriented Model for Specification and Analysis of Office Information Systems. 191-198
• 
  Cui Zhang, Qinping Zhao, Jiafu Xu: A Knowledge Processing Language and Its Parallel Inference System. 199-206
• 
  Wen-Ran Zhang, Mei-Ying Cheng: Virtual Agents and Virtual Communities: An Agent-Oriented Software and Knowledge Engineering Paradigm for Distributed Cooperative Systems. 207-214

Panels: Advances in SE & KE

• 
  Aizhong Li, Xuhua Liu: A Computational Theory of Knowledge Discovery and Revision. 215-218
• 
  Atsushi Ohnishi: Visual Software Requirements Specification Language: VRDL. 219-221
• 
  Enrico Maim: Restricted Abduction in Constraint Logic Programs. 222-224
• 
  Salah Badr, Luqi: A Version and Configuration Model for Software Evolution. 225-227
• 
  Regine Laleau, Philippe Facon: Modeling Semantic Data Concepts with VDM. 228-230
• 
  Seiichi Komiya, Motoshi Saeki, Shinichi Honiden, Junzou Kato, Akira Ohmori, Hisayuki Horai, Shigeru Ohtsuki, Kazuhito Ohmaki: An Experimental Analysis for Classifying Specification Processes. 231-234
• 
  Chau-Young Ivan Lin, Chih-Cheng Chien, Cheng-Seen Ho: A Generic Shell-Specialized Knowledge Acquisition Tool for Developing Network Management Software. 235-238
• 
  Dongwook Shin, Youngmin Chung, Hyunsoo Yoon: Mode Based Type Inference for Prolog Programs. 239-243
• 
  Albert Mo Kim Cheng: A New Complexity Metric for OPS5 Rule-Based Systems. 244-247
• 
  Chye-Lin Chee, Sevki S. Erdogan, Chon-Keat Wong: VCFS: A File System for Transparent Version Control. 248-251
• 
  Sen-Tarng Lai, Chien-Chiao Yang: Multi-Layer Repertory Grid Classification for Increasing Software Reusability. 252-254
• 
  Lianhui Chen, Paul Voumard: Knowledge Engineering in Fault Diagnostic Problem Solving. 255-257
• 
  Jeffrey S. Poulin: Issues in the Development and Application of Reuse Metrics in a Corporate Environment. 258-262
• 
  Massimo Bombana, Giacomo Buonanno, Patrizia Cavalloro, Fabrizio Ferrandi, Donatella Sciuto, Giuseppe Zaza: An Expert Solution to Functional Testability Analysis of VLSI Circuits. 263-265
• 
  T. Richard MacMillan, Martha L. Farinacci, Sharon J. Laskowski, Elaine P. Lusher, Leonard J. Seligman: A Common Architecture To Encourage Reuse Of Natural Language/Text Processing Tools. 266-270
• 
  Gary D. Boetticher, K. Srinivas, David Eichmann: A Neural Net-Based Approach to Software Metrics. 271-274
• 
  Claire P. Willis, Derek J. Paddon: Machine Learning for Program Transformations in Software Reuse. 275-277
• 
  Israel Hilerio, Roger Lippert, Murat M. Tanik: Hyperknowledge Engineering: The Next Generation of Intelligent Hypertext Documents. 278-281
• 
  Natalia Juristo Juzgado: Application of Testing Techniques in Conventional Software to Knowledge-Based Software. 282-284
• 
  Michael Weis: Object-Oriented Design of a Distributed Blackboard Kernel. 285-287
• 
  Sang C. Suh, Clenio F. Salviano, Murat M. Tanik: INTEK: A Software Tool for an Intermediate Knowledge Representation Formalism. 288-290
• 
  Sumio Mochizuki, Akira Yamauchi, Takuya Katayama: Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered Model. 291-295
• 
  Kari Kaarela, Ari Okkonen: Executable Graphic Specifications in Automation Projects. 296-300
• 
  Javed I. Khan, Isao Miyamoto: Formalism for Hierarchical Organization and Flexible Abstraction of Program Knowledge. 301-303
• 
  Fiora Pirri, Clara Pizzuti: Using Datalog as a Language for Data Dictionary Design: A Deductive Support. 304-308
• 
  H. Bachatène, Michel Coriat, Amal El Fallah-Seghrouchni: Using Software Engineering Principles to Design Intelligent Cooperative Systems. 309-313
• 
  Fabio Paternò: Definition of Properties of User Interfaces Using Action-Based Temporal Logic. 314-318
• 
  Floriana Esposito, Donato Malerba, Giovanni Semeraro: Machine Learning Techniques for Knowledge Acquisition and Refinement. 319-323
• 
  Ping Hung Karl R. Leung, Haizhou Li: Structured Specifications, Semantics, and System Semantics. 324-326
• 
  Zenya Koono, Behrouz H. Far, Takeshi Baba, Yasukiyo Yamasaki, Mari Ohmori, Ken-Ichiroh Hatae: Software Creation: Towards Automatic Software Design By Simulating Human Designers. 327-331
• 
  Zenya Koono, Behrouz H. Far, Takeshi Takizawa, Mari Ohmori, Ken-Ichiroh Hatae, Takeshi Baba: Software Creation: Implementation and Application of Design Process Knowledge in Automatic Software Design. 332-336
• 
  Michalis Vazirgiannis, K. Petrou, A. Tsobanidis, Michael Hatzopoulos: Hypermedia and Knowledge Representation: An Object-Oriented Design Based on Fuzzy Logic. 337-342
• 
  Sudin Bha, Kanth Miriyala: Operations for Evolving Specifications. 343-345
• 
  Naoki Yonezaki, Tapani Kinnula, Motoshi Saeki, Jan Ljungberg: TAP: A New Model for Software Process: Tasks-Agents-Products. 346-350
• 
  Motoshi Saeki, Kazuhisa Iguchi, Masanori Shinohara: Supporting Tool for Cooperative Specification Processes. 351-354
• 
  François Staes, Laura Tarantino, Dirk Venneir: Rapid Prototyping of User Interfaces in the KIWIS System. 355-359
• 
  Paul Singleton, Pearl Brereton: A Case for Declarative Programming-in-the-Large. 360-362
• 
  Noriaki Yoshiura, Naoki Yonezaki: More Expressive Temporal Logic for Specifications. 363-366
• 
  Hans Voß, Angi Voß: Reuse-Oriented Knowledge Engineering with MoMo. 367-371

Knowledge-Level V&V

• 
  Jeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair: Debugging Logic-Based Requirements Specifications - a FRORL Approach. 372-379
• 
  Wei-Tek Tsai, Weiwen Xie, Imran A. Zualkernan, Satish K. Musukula: A Framework for Systematic Testing of Software Specifications. 380-387
• 
  Ruddy Lelouche, Laurence Vignollet: Using the Inference Engine Strategy in the Automatic Construction of Test Cases for a Knowledge-Based System. 388-395
• 
  Du Zhang: Perspectives in Knowledge Base Verification. 396-405

Tools and Environments

• 
  W. David Hurley, Niels Vejrup Carlsen: Towards a Formalized Context for Designing User Interface Management Systems. 406-413
• 
  Alex Quilici, Lawrence Miller: An Intelligent Environment for Spacecraft Simulation. 414-420
• 
  Andrea De Lucia, Margherita Napoli, Genny Tortora, Maurizio Tucci: The Tool Development Language TDL for the Software Development Environment WSDW. 421-428
• 
  Jason Tsong-Li Wang, Fortune S. Mhlanga, Qianhong Liu, Wen-Chung Shang, Peter A. Ng: An Intelligent Documentation Support Environment. 429-436

Program-Level V&V

• 
  Kai H. Chang, James H. Cross II, W. Homer Carlisle, Shih-Sung Liao: An Empirical Study of Intelligent Test Case Generation Methods for Software Branch Coverage. 437-444
• 
  Todd R. Kushner, Deborah S. Eisenberg: Experience Verifying a Rule-based Program as Part of a Cleanroom Project: AOEXPERT/MVS. 445-452
• 
  Adam A. Porter: Developing and Analyzing Classification Rules for Predicting Faulty Software Components. 453-461
• 
  Christian Stary, Rudolf Freund: How Semantical Design Languages Help to Preserve Specification/Design-Consistency. 462-471

Panel: KE in Concurrent Engineering and Experience Factories

• 
  David Eichmann: Knowledge Engineering in Concurrent Engineering and Experience Factories. 472

Panel: Software Engineering in the Year 2000

• 
  Bruce I. Blum, Victor R. Basili, S. K. Chang, Michael Evangelist, C. V. Ramamoorthy, Raymond T. Yeh: Software Engineering in the Year 2000. 473

Reuse

• 
  Thomas Pirlein: Reusing a Large Domain-Independent Knowledge Base. 474-482
• 
  Sanjay Bhansali: Architecture-driven Reuse of Code in KASE. 483-490
• 
  Mehdi T. Harandi, Hing-Yan Lee: Acquiring Design Schemas for Software Reuse. 491-498
• 
  Robert K. Chun, Bradley J. Perry: An Environment for the Control and Software Integration of Expert Systems. 499-506

Testing and Understanding Programs

• 
  Gerardo Canfora, Aniello Cimitile, Ugo de Carlini, Lucio Sansone: Reverse Engineering and Interactive Animation of Ada Programs. 507-516
• 
  Sandrine Blazy, Philippe Facon: Partial Evaluation for the Understanding of FORTRAN Programs. 517-525
• 
  Alireza Azem, Fevzi Belli, Oliver Jack: Implementation-Oriented Testing and Reliability Determination of Prolog Programs. 526-533
• 
  Fabio Abbattista, Filippo Lanubile, Giuseppe Visaggio: Recovering Conceptual Data Models is Human-Intensive. 534-543

Panel: Knowledge-Based Support for Reverse Engineering

• 
  Frank W. Calliss, Joseph E. Urban, James H. Cross II, Vaclav Rajlich: Reverse Engineering. 544-545

The Dynamics of Model Construction

• 
  Martine Magnan, Chabane Oussalah: Object Evolution. 546-553
• 
  Guy W. Mineau, Robert Godin, Rokia Missaoui: Induction of Generic Data Models by Conceptual Clustering. 554-564
• 
  Markku Oivo: Multiview Modeling in Software Engineering. 565-574
• 
  Martin S. Feather: Cardinality Evolution in Specifications. 575-583

Panel: Future Directions of the KBSA Program

• 
  Michael Evangelist: Intermediate Executable Architectural Specifications for KBSA, Part I. 584
• 
  Michael DeBellis: The KBSA ADM Process Model. 585
• 
  Yi Deng: Intermediate Executable Architectural Specifications for KBSA, Part II. 586
• 
  Walt Scacchi: Process Integration for KBSE Environments. 587
• 
  Douglas A. White: The Knowledge-Based Software Assistant Program. 588

Prototyping

• 
  Kristian Sandahl: Developing Knowledge-Based Systems with Active Expert Participation. 589-595
• 
  Odd Ivar Lindland, Geir Willumsen, Jon Atle Gulla, Arne Sølvberg: Prototyping in Transformation-Based CASE Environments. 596-603
• 
  David A. Dampier, Luqi, Valdis Berzins: Automated Merging of Software Prototypes. 604-611
• 
  Chen Chen, Elizabeth L. White, James M. Purtilo: A Packager for Multicast Software in Distributed Systems. 612-621

A Context for Software Development

• 
  Hubert F. Hofmann, Rolf Pfeifer, Erik Vinkhuyzen: Situated Software Design. 622-628
• 
  Toomas Timpka, James M. Nyce, Cecilia Sjöberg, Mikael Johansson: Action Design: From Modeling To Support of the Software Process. 629-636
• 
  David W. Russell: ISESS '93 A Reality Check. 637-640
• 
  Raymond A. Paul: Software Maturity Measurement for Software Risk Management. 641-648

SE & KE Process Issues

• 
  Chunye Li, Setsuo Ohsuga: A Meta Knowledge Structure for Program Development Support. 649-656
• 
  Willem Jonker, Bob Goedhart: KBS Development: From Design Models to Implementations. 657-664
• 
  William C. Sasso, Michael DeBellis: Plan-Based Guidance for Knowledge-Based Software Engineering. 665-672
• 
  Charles R. Kirklen, Murat M. Tanik: Software Engineering Disciplines in the Visual Era. 673-680

Diversity in Formal Methods

• 
  Michael R. Laux, Robert H. Bourdeau, Betty H. C. Cheng: An Integrated Development Environment for Formal Specifications. 681-688
• 
  Jianxin Li: Transforming Postconditions To Aid Program Development. 689-694
• 
  Shiyuan Ding, Takuya Katayama: Attributed State Machines For Behavior Specification of Reactive Systems. 695-702
• 
  Yamine Aït Ameur: Formal Program Development by Transformation and Non-Functional Properties Evaluations. An Application to Numerical Programs. 703-710