| 1994 | Reliability determination of Prolog programs. | Alireza Azem, Fevzi Belli |
| 1994 | A language for debugging automation. | Mikhail Auguston |
| 1994 | An experiment in eliminating the separation between data, functional, and behavioral models during requirements specification. | Hany M. Atchan, Gordon C. Everest |
| 1994 | Symbolic execution of logic programs. | Timothy Arndt, Angela Guercio, Giuliano Pacini, Genny Tortora |
| 1994 | A process for verification based inspections. | Latifa Ben Arfa Rabai, Marc Frappier, Rym Mili, Ali Mili, Douglas R. Skuce |
| 1994 | Combining transformational and derivational analogy in Larch specification generation. | Perry Alexander |
| 1994 | Structured hypertext for using and learning function point analysis. | Alain Abran, Jean-Marc Desharnais, Dirk Meyerhoff, Monika Mllerburg, Denis St-Pierre |
| 1994 | A tool for assisting the understanding and formal development of software. | Salwa K. Abd-El-Hafiz, Victor R. Basili |
| 1994 | Open architecture for a process-centered development environment. | Fabio Abbattista, Filippo Lanubile, Giuseppe Visaggio |
| 1993 | A Knowledge Processing Language and Its Parallel Inference System. | Cui Zhang, Qinping Zhao, Jiafu Xu |
| 1993 | Virtual Agents and Virtual Communities: An Agent-Oriented Software and Knowledge Engineering Paradigm for Distributed Cooperative Systems. | Wen-Ran Zhang, Meiying Cheng |
| 1993 | Perspectives in Knowledge Base Verification. | Du Zhang |
| 1993 | More Expressive Temporal Logic for Specifications. | Noriaki Yoshiura, Naoki Yonezaki |
| 1993 | A Framework for Query Processing Utilizing Knowledge. | Atsuo Yoshitaka, Masahito Hirakawa, Tadao Ichikawa |
| 1993 | TAP: A New Model for Software Process: Tasks-Agents-Products. | Naoki Yonezaki, Tapani Kinnula, Motoshi Saeki, Jan Ljungberg |
| 1993 | Machine Learning for Program Transformations in Software Reuse. | Claire P. Willis, Derek J. Paddon |
| 1993 | The Knowledge-Based Software Assistant Program. | Douglas A. White |
| 1993 | Object-Oriented Design of a Distributed Blackboard Kernel. | Michael Weis |
| 1993 | An Intelligent Documentation Support Environment. | Jason Tsong-Li Wang, Fortune S. Mhlanga, Qianhong Liu, Wen-Chung Shang, Peter A. Ng |
| 1993 | Reuse-Oriented Knowledge Engineering with MoMo. | Hans Vo, Angi Vo |
| 1993 | Hypermedia and Knowledge Representation: An Object-Oriented Design Based on Fuzzy Logic. | Michalis Vazirgiannis, K. Petrou, A. Tsobanidis, Michael Hatzopoulos |
| 1993 | A Framework for Systematic Testing of Software Specifications. | Wei-Tek Tsai, Weiwen Xie, Imran A. Zualkernan, Satish K. Musukula |
| 1993 | Debugging Logic-Based Requirements Specifications - a FRORL Approach. | Jeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair |
| 1993 | Action Design: From Modeling To Support of the Software Process. | Toomas Timpka, James M. Nyce, Cecilia Sjberg, Mikael Johansson |
| 1993 | INTEK: A Software Tool for an Intermediate Knowledge Representation Formalism. | Sang C. Suh, Clnio F. Salviano, Murat M. Tanik |