| 1993 | A Case for Declarative Programming-in-the-Large. Paul Singleton, Pearl Brereton |
| 1993 | A Common Architecture To Encourage Reuse Of Natural Language/Text Processing Tools. T. Richard MacMillan, Martha L. Farinacci, Sharon J. Laskowski, Elaine P. Lusher, Leonard J. Seligman |
| 1993 | A Computational Theory of Knowledge Discovery and Revision. Aizhong Li, Xuhua Liu |
| 1993 | A Framework for Query Processing Utilizing Knowledge. Atsuo Yoshitaka, Masahito Hirakawa, Tadao Ichikawa |
| 1993 | A Framework for Systematic Testing of Software Specifications. Wei-Tek Tsai, Weiwen Xie, Imran A. Zualkernan, Satish K. Musukula |
| 1993 | A Generic Shell-Specialized Knowledge Acquisition Tool for Developing Network Management Software. Chau-Young Ivan Lin, Chih-Cheng Chien, Cheng-Seen Ho |
| 1993 | A High Level Programming Language Based Upon Ordered Multisets. Daniel E. Cooke |
| 1993 | A Knowledge Processing Language and Its Parallel Inference System. Cui Zhang, Qinping Zhao, Jiafu Xu |
| 1993 | A Meta Knowledge Structure for Program Development Support. Chunye Li, Setsuo Ohsuga |
| 1993 | A Neural Net-Based Approach to Software Metrics. Gary D. Boetticher, K. Srinivas, David Eichmann |
| 1993 | A New Complexity Metric for OPS5 Rule-Based Systems. Albert Mo Kim Cheng |
| 1993 | A Packager for Multicast Software in Distributed Systems. Chen Chen, Elizabeth L. White, James M. Purtilo |
| 1993 | A Re-cnginacring Tool for the Reuse of Large Scale Software Systems. William C. Chu, Sukesh Patel |
| 1993 | A Version and Configuration Model for Software Evolution. Salah Badr, Luqi |
| 1993 | Acquiring Design Schemas for Software Reuse. Mehdi T. Harandi, Hing-Yan Lee |
| 1993 | Acquisition, Analysis and Validation of Informal Requirements. Brigitte Biébow, Sylvie Szulman |
| 1993 | Action Design: From Modeling To Support of the Software Process. Toomas Timpka, James M. Nyce, Cecilia Sjöberg, Mikael Johansson |
| 1993 | An Empirical Study of Intelligent Test Case Generation Methods for Software Branch Coverage. Kai H. Chang, James H. Cross II, W. Homer Carlisle, Shih-Sung Liao |
| 1993 | An Environment for the Control and Software Integration of Expert Systems. Robert K. Chun, Bradley J. Perry |
| 1993 | An Experimental Analysis for Classifying Specification Processes. Seiichi Komiya, Motoshi Saeki, Shinichi Honiden, Junzou Kato, Akira Ohmori, Hisayuki Horai, Shigeru Ohtsuki, Kazuhito Ohmaki |
| 1993 | An Expert Solution to Functional Testability Analysis of VLSI Circuits. Massimo Bombana, Giacomo Buonanno, Patrizia Cavalloro, Fabrizio Ferrandi, Donatella Sciuto, Giuseppe Zaza |
| 1993 | An Expert Tool For Automatic Visual VLSI Reverse Engineering. Nikolaos G. Bourbakis, D. Rice |
| 1993 | An Integrated Development Environment for Formal Specifications. Michael R. Laux, Robert H. Bourdeau, Betty H. C. Cheng |
| 1993 | An Intelligent Documentation Support Environment. Jason Tsong-Li Wang, Fortune S. Mhlanga, Qianhong Liu, Wen-Chung Shang, Peter A. Ng |
| 1993 | An Intelligent Environment for Spacecraft Simulation. Alex Quilici, Lawrence Miller |
| 1993 | An OI5ce Document Retrieval System with the Capability of Processing Incomplete and Vague Queries. Qianhong Liu, Jason Tsong-Li Wang, Peter A. Ng |
| 1993 | Application of Testing Techniques in Conventional Software to Knowledge-Based Software. Natalia Juristo Juzgado |
| 1993 | Architecture-driven Reuse of Code in KASE. Sanjay Bhansali |
| 1993 | Attributed State Machines For Behavior Specification of Reactive Systems. Shiyuan Ding, Takuya Katayama |
| 1993 | Automated Merging of Software Prototypes. David A. Dampier, Luqi, Valdis Berzins |
| 1993 | BENTON: A Multi-Agent System for Larch Specification Generation. Perry Alexander |
| 1993 | BIZSPEC: A Business-Oriented Model for Specification and Analysis of Office Information Systems. Trent Jaeger, Atul Prakash |
| 1993 | CLOS: A Key Issue To Bridge the Gap Between Object-Oriented and Logic Programming. Vincenzo Loia, Michel Quaggetto |
| 1993 | Cardinality Evolution in Specifications. Martin S. Feather |
| 1993 | Catastrophe Prevention in Safety-Critical Systems. Alfs T. Berztiss |
| 1993 | Closing the Knowledge Engineering Gap. Mari Georges |
| 1993 | DARET: A Logic-Based Language in Object-Oriented Databases. Tak-Wai Chan, Wen-Chong Wang |
| 1993 | Debugging Logic-Based Requirements Specifications - a FRORL Approach. Jeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair |
| 1993 | Definition of Properties of User Interfaces Using Action-Based Temporal Logic. Fabio Paternò |
| 1993 | Developing Knowledge-Based Systems with Active Expert Participation. Kristian Sandahl |
| 1993 | Developing and Analyzing Classification Rules for Predicting Faulty Software Components. Adam A. Porter |
| 1993 | Engineering Issues for No monotonic Knowledge: Structuring, Specification, Modules. Grigoris Antoniou |
| 1993 | Executable Graphic Specifications in Automation Projects. Kari Kaarela, Ari Okkonen |
| 1993 | Executable Specifications for the Design of Object-Oriented Systems. Yi Deng, Raimund K. Ege, Wei Sun |
| 1993 | Experience Verifying a Rule-based Program as Part of a Cleanroom Project: AOEXPERT/MVS. Todd R. Kushner, Deborah S. Eisenberg |
| 1993 | Formal Program Development by Transformation and Non-Functional Properties Evaluations. An Application to Numerical Programs. Yamine Aït Ameur |
| 1993 | Formalism for Hierarchical Organization and Flexible Abstraction of Program Knowledge. Javed I. Khan, Isao Miyamoto |
| 1993 | How Semantical Design Languages Help to Preserve Specification/Design-Consistency. Christian Stary, Rudolf Freund |
| 1993 | Hyperknowledge Engineering: The Next Generation of Intelligent Hypertext Documents. Israel Hilerio, Roger Lippert, Murat M. Tanik |
| 1993 | Hypermedia and Knowledge Representation: An Object-Oriented Design Based on Fuzzy Logic. Michalis Vazirgiannis, K. Petrou, A. Tsobanidis, Michael Hatzopoulos |
| 1993 | INTEK: A Software Tool for an Intermediate Knowledge Representation Formalism. Sang C. Suh, Clênio F. Salviano, Murat M. Tanik |
| 1993 | ISESS '93 A Reality Check. David W. Russell |
| 1993 | Implementation-Oriented Testing and Reliability Determination of Prolog Programs. Alireza Azem, Fevzi Belli, Oliver Jack |
| 1993 | Induction of Generic Data Models by Conceptual Clustering. Guy W. Mineau, Robert Godin, Rokia Missaoui |
| 1993 | Intelligent Assistance for Transformation-Based Environments. Michael DeBellis |
| 1993 | Intermediate Executable Architectural Specifications for KBSA, Part I. Michael Evangelist |
| 1993 | Intermediate Executable Architectural Specifications for KBSA, Part II. Yi Deng |
| 1993 | Issues in the Development and Application of Reuse Metrics in a Corporate Environment. Jeffrey S. Poulin |
| 1993 | KBS Development: From Design Models to Implementations. Willem Jonker, Bob Goedhart |
| 1993 | Knowledge Engineering in Concurrent Engineering and Experience Factories. David Eichmann |
| 1993 | Knowledge Engineering in Fault Diagnostic Problem Solving. Lianhui Chen, Paul Voumard |
| 1993 | Knowledge Representation for Intelligent Query Processing. Ralph D. Semmel |
| 1993 | Machine Learning Techniques for Knowledge Acquisition and Refinement. Floriana Esposito, Donato Malerba, Giovanni Semeraro |
| 1993 | Machine Learning for Program Transformations in Software Reuse. Claire P. Willis, Derek J. Paddon |
| 1993 | Mode Based Type Inference for Prolog Programs. Dongwook Shin, Youngmin Chung, Hyunsoo Yoon |
| 1993 | Modeling Semantic Data Concepts with VDM. Regine Laleau, Philippe Facon |
| 1993 | More Expressive Temporal Logic for Specifications. Noriaki Yoshiura, Naoki Yonezaki |
| 1993 | Multi-Layer Repertory Grid Classification for Increasing Software Reusability. Sen-Tarng Lai, Chien-Chiao Yang |
| 1993 | Multiview Modeling in Software Engineering. Markku Oivo |
| 1993 | Object Evolution. Martine Magnan, Chabane Oussalah |
| 1993 | Object-Oriented Design of a Distributed Blackboard Kernel. Michael Weis |
| 1993 | Operations for Evolving Specifications. Sudin Bhat, Kanth Miriyala |
| 1993 | Partial Evaluation for the Understanding of FORTRAN Programs. Sandrine Blazy, Philippe Facon |
| 1993 | Perspectives in Knowledge Base Verification. Du Zhang |
| 1993 | Plan-Based Guidance for Knowledge-Based Software Engineering. William C. Sasso, Michael DeBellis |
| 1993 | Process Integration for KBSE Environments. Walt Scacchi |
| 1993 | Programs as Databases: Treating Code and Comments as First Class Objects. Antonio Massari, Gennaro Costagliola, Panos K. Chrysanthis, Shi-Kuo Chang |
| 1993 | Prototyping in Transformation-Based CASE Environments. Odd Ivar Lindland, Geir Willumsen, Jon Atle Gulla, Arne Sølvberg |
| 1993 | Rapid Prototyping of User Interfaces in the KIWIS System. François Staes, Laura Tarantino, Dirk Venneir |
| 1993 | Recovering Conceptual Data Models is Human-Intensive. Fabio Abbattista, Filippo Lanubile, Giuseppe Visaggio |
| 1993 | Restricted Abduction in Constraint Logic Programs. Enrico Maim |
| 1993 | Reuse-Oriented Knowledge Engineering with MoMo. Hans Voß, Angi Voß |
| 1993 | Reusing a Large Domain-Independent Knowledge Base. Thomas Pirlein |
| 1993 | Reverse Engineering Structured Code to an Object-Oriented Representation. Don McFall, Gillian Fiona Sleith, John Hughes |
| 1993 | Reverse Engineering and Interactive Animation of Ada Programs. Gerardo Canfora, Aniello Cimitile, Ugo de Carlini, Lucio Sansone |
| 1993 | Reverse Engineering. Frank W. Calliss, Joseph E. Urban, James H. Cross II, Václav Rajlich |
| 1993 | Rule-Based Programming for Real-Time Knowledge-Based Systems Development. Frank P. Coyle, Murat M. Tanik, Dennis J. Frailey |
| 1993 | 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 |
| 1993 | Situated Software Design. Hubert F. Hofmann, Rolf Pfeifer, Erik Vinkhuyzen |
| 1993 | Software Automation. Daniel E. Cooke |
| 1993 | Software Creation: Implementation and Application of Design Process Knowledge in Automatic Software Design. Zenya Koono, Behrouz H. Far, Takeshi Takizawa, Mari Ohmori, Ken-Ichiroh Hatae, Takeshi Baba |
| 1993 | Software Creation: Towards Automatic Software Design By Simulating Human Designers. Zenya Koono, Behrouz H. Far, Takeshi Baba, Yasukiyo Yamasaki, Mari Ohmori, Ken-Ichiroh Hatae |
| 1993 | Software Engineering Disciplines in the Visual Era. Charles R. Kirklen, Murat M. Tanik |
| 1993 | Software Engineering in the Year 2000. Bruce I. Blum, Victor R. Basili, S. K. Chang, Michael Evangelist, C. V. Ramamoorthy, Raymond T. Yeh |
| 1993 | Software Maturity Measurement for Software Risk Management. Raymond A. Paul |
| 1993 | Structured Specifications, Semantics, and System Semantics. Ping Hung Karl R. Leung, Haizhou Li |
| 1993 | Supporting Tool for Cooperative Specification Processes. Motoshi Saeki, Kazuhisa Iguchi, Masanori Shinohara |
| 1993 | TAP: A New Model for Software Process: Tasks-Agents-Products. Naoki Yonezaki, Tapani Kinnula, Motoshi Saeki, Jan Ljungberg |
| 1993 | Temporal Reasoning in a Medical Expertise. Michel Dojat, Claudette Sayettat |
| 1993 | The Design and Specification of SEMAL - A Cost Language Based on the Calculus of Self-Modifiable Algorithms. Eugeniusz Eberbach |
| 1993 | The Design of Real-Time Distributed information Systems with Object-Oriented and Fault-Tolerant Characteristics. Shi-Kuo Chang, Angelo Perkusich, Jorge C. A. de Figueiredo, Bing Yu, Wolfgang D. Ehrenberger |
| 1993 | The KBSA ADM Process Model. Michael DeBellis |
| 1993 | The Knowledge-Based Software Assistant Program. Douglas A. White |
| 1993 | The SAOS Approach to Software Lifecycle Support. Toshimi Minoura, Sungwoon Choi, Anil Srivastava |
| 1993 | The Tool Development Language TDL for the Software Development Environment WSDW. Andrea De Lucia, Margherita Napoli, Genny Tortora, Maurizio Tucci |
| 1993 | The Use of Refinement Metrics to Assess Programming Language Support for the Stepwise Refinement Process. Robert G. Reynolds, Jonathan I. Maletic |
| 1993 | Towards a Formalized Context for Designing User Interface Management Systems. W. David Hurley, Niels Vejrup Carlsen |
| 1993 | Transforming Postconditions To Aid Program Development. Jianxin Li |
| 1993 | Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered Model. Sumio Mochizuki, Akira Yamauchi, Takuya Katayama |
| 1993 | Using Datalog as a Language for Data Dictionary Design: A Deductive Support. Fiora Pirri, Clara Pizzuti |
| 1993 | Using Software Engineering Principles to Design Intelligent Cooperative Systems. H. Bachatène, Michel Coriat, Amal El Fallah Seghrouchni |
| 1993 | Using the Inference Engine Strategy in the Automatic Construction of Test Cases for a Knowledge-Based System. Ruddy Lelouche, Laurence Vignollet |
| 1993 | VCFS: A File System for Transparent Version Control. Chye-Lin Chee, Sevki S. Erdogan, Chon-Keat Wong |
| 1993 | Virtual Agents and Virtual Communities: An Agent-Oriented Software and Knowledge Engineering Paradigm for Distributed Cooperative Systems. Wen-Ran Zhang, Meiying Cheng |
| 1993 | Visual Software Requirements Specification Language: VRDL. Atsushi Ohnishi |