| 1993 | Restricted Abduction in Constraint Logic Programs. | Enrico Maim |
| 1993 | Object Evolution. | Martine Magnan, Chabane Oussalah |
| 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 | The Tool Development Language TDL for the Software Development Environment WSDW. | Andrea De Lucia, Margherita Napoli, Genny Tortora, Maurizio Tucci |
| 1993 | CLOS: A Key Issue To Bridge the Gap Between Object-Oriented and Logic Programming. | Vincenzo Loia, Michel Quaggetto |
| 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 | A Meta Knowledge Structure for Program Development Support. | Chunye Li, Setsuo Ohsuga |
| 1993 | Prototyping in Transformation-Based CASE Environments. | Odd Ivar Lindland, Geir Willumsen, Jon Atle Gulla, Arne Slvberg |
| 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 Computational Theory of Knowledge Discovery and Revision. | Aizhong Li, Xuhua Liu |
| 1993 | Transforming Postconditions To Aid Program Development. | Jianxin Li |
| 1993 | Structured Specifications, Semantics, and System Semantics. | Ping Hung Karl R. Leung, Haizhou Li |
| 1993 | Using the Inference Engine Strategy in the Automatic Construction of Test Cases for a Knowledge-Based System. | Ruddy Lelouche, Laurence Vignollet |
| 1993 | An Integrated Development Environment for Formal Specifications. | Michael R. Laux, Robert H. Bourdeau, Betty H. C. Cheng |
| 1993 | Modeling Semantic Data Concepts with VDM. | Regine Laleau, Philippe Facon |
| 1993 | Multi-Layer Repertory Grid Classification for Increasing Software Reusability. | Sen-Tarng Lai, Chien-Chiao Yang |
| 1993 | Experience Verifying a Rule-based Program as Part of a Cleanroom Project: AOEXPERT/MVS. | Todd R. Kushner, Deborah S. Eisenberg |
| 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 | An Experimental Analysis for Classifying Specification Processes. | Seiichi Komiya, Motoshi Saeki, Shinichi Honiden, Junzou Kato, Akira Ohmori, Hisayuki Horai, Shigeru Ohtsuki, Kazuhito Ohmaki |
| 1993 | Software Engineering Disciplines in the Visual Era. | Charles R. Kirklen, Murat M. Tanik |
| 1993 | Formalism for Hierarchical Organization and Flexible Abstraction of Program Knowledge. | Javed I. Khan, Isao Miyamoto |
| 1993 | Executable Graphic Specifications in Automation Projects. | Kari Kaarela, Ari Okkonen |
| 1993 | Application of Testing Techniques in Conventional Software to Knowledge-Based Software. | Natalia Juristo Juzgado |
| 1993 | KBS Development: From Design Models to Implementations. | Willem Jonker, Bob Goedhart |