| 1995 | Panelists: Software Visualization through Active Presentation. | Gruia-Catalin Roman |
| 1995 | Evolution Based Approaches to Software Engineering: Culturing Software. | Robert G. Reynolds, Victor R. Basili, Vclav Rajlich, Nikolaos G. Bourbakis |
| 1995 | A Framework for Analysing Reuse Knowledge. | Muthu Ramachandran, Ian Sommerville |
| 1995 | Formal Semantics for Object Oriented Systems. | Claudia Pons |
| 1995 | Integrated Design of Object-Oriented Real-Time Control and Database Systems. | Maria Ligia B. Perkusich, Angelo Perkusich, Ulrich Schiel |
| 1995 | On the Object Oriented Design of a Track-Vehicle System. | Angelo Perkusich, Jorge C. A. de Figueiredo |
| 1995 | A Unified Framework for Knowledge Representation: A Formal Object-Oriented Approach. | Panos A. Patsouris |
| 1995 | Text-Based Requirements Modeling Support System. | Sooyong Park, Richard P. Evans, James D. Palmer |
| 1995 | EQL: A Learn-Easy and Use-Easy Query Language for Object-Oriented Databases. | Wen-Wei Pan, Wei-Pang Yang |
| 1995 | Combining Constraints and Objects. | Mourad Chabane Oussalah, Veronique Puig |
| 1995 | A Development Methodology for KB/DB Coupling based on the Object-Oriented EA Model. | Sun-Young Oh, Chung Nam, Doo-Kwon Baik |
| 1995 | An Approach Based on 'Frames' for Knowledge Representation and Scenes Interpretation in a Robot-Vision System. | M. Nour, K. Ouriachi |
| 1995 | Toward Uniform Presentation of Software Dynamics. | Jun'ichi Miyao, S. K. Chang |
| 1995 | Optimizing Complex Objects Queries in A Visual Data Manipulation Language. | Takao Miur |
| 1995 | Computational Mechanisms for Distributed Requirements Engineering. | Neil A. M. Maiden, Alistair G. Sutcliffe, Petia Assenova, P. Johanneson, Matthias Jarke, Hans W. Nissen, Panos Constantopoulos, George Spanoudakis |
| 1995 | An Environment for Specification, Simulation and Analysis of Distributed Object-Oriented Systems. | Shengkai Lu, Yi Deng |
| 1995 | Formal Verification of a Message-Passing Protocol with Model Checking. | Arthur Lin, Fuyau Lin |
| 1995 | Formal Verification of the File Transfer Protocol. | Fuyau Lin |
| 1995 | An Integrated Testing Framework for Object-Oriented Programs-Work in Progress. | Shih-Sung Liao, Kai H. Chang, Stephen B. Seidman |
| 1995 | Apprenticeship Learning of Domain Models. | Yinqing Liang, Gheorghe Tecuci |
| 1995 | Parallel Execution of Logic Programs with Breadth-first Search. | Won S. Lee |
| 1995 | Contraints, Rules and Modelisation in a Meta-CASE Tool. | Anne Lapujade |
| 1995 | Comparing models for identifying fault-prone software components. | Filippo Lanubile, A. Lonigro, Giuseppe Vissagio |
| 1995 | Visual Scenarios for Validation of Requirements Specification. | V. Lalioti, Babis Theodoulidis |
| 1995 | The Decomposition Slice Display System. | Bradley M. Kuhn, Dennis J. Smith, Keith Brian Gallagher |