| 1993 | BIZSPEC: A Business-Oriented Model for Specification and Analysis of Office Information Systems. | Trent Jaeger, Atul Prakash |
| 1993 | Towards a Formalized Context for Designing User Interface Management Systems. | W. David Hurley, Niels Vejrup Carlsen |
| 1993 | Situated Software Design. | Hubert F. Hofmann, Rolf Pfeifer, Erik Vinkhuyzen |
| 1993 | Hyperknowledge Engineering: The Next Generation of Intelligent Hypertext Documents. | Israel Hilerio, Roger Lippert, Murat M. Tanik |
| 1993 | Acquiring Design Schemas for Software Reuse. | Mehdi T. Harandi, Hing-Yan Lee |
| 1993 | Closing the Knowledge Engineering Gap. | Mari Georges |
| 1993 | Cardinality Evolution in Specifications. | Martin S. Feather |
| 1993 | Intermediate Executable Architectural Specifications for KBSA, Part I. | Michael Evangelist |
| 1993 | Machine Learning Techniques for Knowledge Acquisition and Refinement. | Floriana Esposito, Donato Malerba, Giovanni Semeraro |
| 1993 | Knowledge Engineering in Concurrent Engineering and Experience Factories. | David Eichmann |
| 1993 | The Design and Specification of SEMAL - A Cost Language Based on the Calculus of Self-Modifiable Algorithms. | Eugeniusz Eberbach |
| 1993 | Temporal Reasoning in a Medical Expertise. | Michel Dojat, Claudette Sayettat |
| 1993 | Attributed State Machines For Behavior Specification of Reactive Systems. | Shiyuan Ding, Takuya Katayama |
| 1993 | Executable Specifications for the Design of Object-Oriented Systems. | Yi Deng, Raimund K. Ege, Wei Sun |
| 1993 | Intermediate Executable Architectural Specifications for KBSA, Part II. | Yi Deng |
| 1993 | The KBSA ADM Process Model. | Michael DeBellis |
| 1993 | Intelligent Assistance for Transformation-Based Environments. | Michael DeBellis |
| 1993 | Automated Merging of Software Prototypes. | David A. Dampier, Luqi, Valdis Berzins |
| 1993 | Rule-Based Programming for Real-Time Knowledge-Based Systems Development. | Frank P. Coyle, Murat M. Tanik, Dennis J. Frailey |
| 1993 | A High Level Programming Language Based Upon Ordered Multisets. | Daniel E. Cooke |
| 1993 | Software Automation. | Daniel E. Cooke |
| 1993 | A Re-cnginacring Tool for the Reuse of Large Scale Software Systems. | William C. Chu, Sukesh Patel |
| 1993 | An Environment for the Control and Software Integration of Expert Systems. | Robert K. Chun, Bradley J. Perry |
| 1993 | A Packager for Multicast Software in Distributed Systems. | Chen Chen, Elizabeth L. White, James M. Purtilo |
| 1993 | Knowledge Engineering in Fault Diagnostic Problem Solving. | Lianhui Chen, Paul Voumard |