| 1993 | A New Complexity Metric for OPS5 Rule-Based Systems. | Albert Mo Kim Cheng |
| 1993 | VCFS: A File System for Transparent Version Control. | Chye-Lin Chee, Sevki S. Erdogan, Chon-Keat Wong |
| 1993 | DARET: A Logic-Based Language in Object-Oriented Databases. | Tak-Wai Chan, Wen-Chong Wang |
| 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 | 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 | 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, Vclav Rajlich |
| 1993 | An Expert Tool For Automatic Visual VLSI Reverse Engineering. | Nikolaos G. Bourbakis, D. Rice |
| 1993 | An Expert Solution to Functional Testability Analysis of VLSI Circuits. | Massimo Bombana, Giacomo Buonanno, Patrizia Cavalloro, Fabrizio Ferrandi, Donatella Sciuto, Giuseppe Zaza |
| 1993 | A Neural Net-Based Approach to Software Metrics. | Gary D. Boetticher, K. Srinivas, David Eichmann |
| 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 | Partial Evaluation for the Understanding of FORTRAN Programs. | Sandrine Blazy, Philippe Facon |
| 1993 | Acquisition, Analysis and Validation of Informal Requirements. | Brigitte Bibow, Sylvie Szulman |
| 1993 | Architecture-driven Reuse of Code in KASE. | Sanjay Bhansali |
| 1993 | Operations for Evolving Specifications. | Sudin Bhat, Kanth Miriyala |
| 1993 | Catastrophe Prevention in Safety-Critical Systems. | Alfs T. Berztiss |
| 1993 | A Version and Configuration Model for Software Evolution. | Salah Badr, Luqi |
| 1993 | Using Software Engineering Principles to Design Intelligent Cooperative Systems. | H. Bachatne, Michel Coriat, Amal El Fallah Seghrouchni |
| 1993 | Implementation-Oriented Testing and Reliability Determination of Prolog Programs. | Alireza Azem, Fevzi Belli, Oliver Jack |
| 1993 | Engineering Issues for No monotonic Knowledge: Structuring, Specification, Modules. | Grigoris Antoniou |
| 1993 | Formal Program Development by Transformation and Non-Functional Properties Evaluations. An Application to Numerical Programs. | Yamine At Ameur |
| 1993 | BENTON: A Multi-Agent System for Larch Specification Generation. | Perry Alexander |
| 1993 | Recovering Conceptual Data Models is Human-Intensive. | Fabio Abbattista, Filippo Lanubile, Giuseppe Visaggio |
| 1992 | An Open System Protocol for Agent-Oriented Programming. | Wen-Ran Zhang, Wenhua Wang, Angela Guercio |
| 1992 | Using Version Spaces to Support Incremental Searches in a Software Library. | Yu Chung Wong |