| 1995 | A Cognitive Framework of Debugging. Byung-do Yoon, Oscar N. Garcia |
| 1995 | A Dedicated Process Design Language based on EER-models, Statecharts and Tables. Gerald Junkermann |
| 1995 | A Development Methodology for KB/DB Coupling based on the Object-Oriented EA Model. Sun-Young Oh, Chung Nam, Doo-Kwon Baik |
| 1995 | A Framework for Analysing Reuse Knowledge. Muthu Ramachandran, Ian Sommerville |
| 1995 | A G-Net Module Synthesis Method for Software Applications. Vladimir P. Sliva |
| 1995 | A Generation Process of Object-Oriented Databases From E/R Schemas. M. Ayache, André Flory |
| 1995 | A Graph-Based Model for Dynamic Process Nets. Bernhard Westfechtel |
| 1995 | A Hierarchy Testing of Object-Oriented Program Structure. Chi-Ming Chung, Chun-Chia Wang, Timothy K. Shih |
| 1995 | A Software Engineering Approach to Buildling Reusable Expert System. Wei Dai |
| 1995 | A Unified Approach to Requirements Specification and System Analysis in the Design of Knowledge-Based Systems. John K. Debenham |
| 1995 | A Unified Framework for Knowledge Representation: A Formal Object-Oriented Approach. Panos A. Patsouris |
| 1995 | AURA-CFG/E: An Object-Oriented approach for Acquisition and Decomposition of DFDs from End users. O. A. Al-Saadoon, W. T. Tsai, H. El-bedour |
| 1995 | An Approach Based on 'Frames' for Knowledge Representation and Scenes Interpretation in a Robot-Vision System. M. Nour, K. Ouriachi |
| 1995 | An Environment for Specification, Simulation and Analysis of Distributed Object-Oriented Systems. Shengkai Lu, Yi Deng |
| 1995 | An Integrated Testing Framework for Object-Oriented Programs-Work in Progress. Shih-Sung Liao, Kai H. Chang, Stephen B. Seidman |
| 1995 | An Integrated Toolkit for Pattern Matching and Pattern Discovery in Scientific, Program, and Document databases. Jason Tsong-Li Wang, Gung-Wei Chim, Chia-Yo Chang, George Jyh-Shian Chang, Karen Pysniak |
| 1995 | An object view = methods + events. Dale Stanbrough |
| 1995 | Antecipated Faults in Real-Time Distributed Systems. Jorge C. A. de Figueiredo, Angelo Perkusich, Brazif S. K. Chang |
| 1995 | Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications. Cinzia Bernardeschi, Alessandro Fantechi, Fabio Paternò |
| 1995 | Apprenticeship Learning of Domain Models. Yinqing Liang, Gheorghe Tecuci |
| 1995 | Class Transmutation and other Evolution Concepts. Hong Jiang, Xavier Castellani |
| 1995 | Classifying Programs: a Key For program Understanding. Francoise Balmas |
| 1995 | Combining Constraints and Objects. Mourad Chabane Oussalah, Veronique Puig |
| 1995 | Comparing models for identifying fault-prone software components. Filippo Lanubile, A. Lonigro, Giuseppe Vissagio |
| 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 | Computer Aided Prototyping System. Valdis Berzins, Luqi, Man-tak Shing |
| 1995 | Contraints, Rules and Modelisation in a Meta-CASE Tool. Anne Lapujade |
| 1995 | Cooperation Patterns for process-centred Software Development Environments. Wilhelm Schäfer, Stefan Wolf |
| 1995 | DODAN/2: An Executable Specification Language for OS/2. Steven A. Jent |
| 1995 | Dynamic Pattern Knowledge in Software Engineering. Kurt Schneider |
| 1995 | EQL: A Learn-Easy and Use-Easy Query Language for Object-Oriented Databases. Wen-Wei Pan, Wei-Pang Yang |
| 1995 | Efficient Parsing of Data-Flow Graphs. Gennaro Costagliola, Andrea De Lucia, Sergio Orefice, Genoveffa Tortora |
| 1995 | Engineering an Ingres Active Database using Conceptual Design Knowledge Elements. Vicki Constantinidis, Arkady B. Zaslavsky |
| 1995 | Evaluation of Case-Oriented Planning Support System -SMAP- for Business System. Norihiko Kugumiya, Shuji Soga, Takenao Ohkawa, Norihisa Komoda |
| 1995 | Event Adaption for Integrating Distributed Applications. Chen Chen, James M. Purtilo |
| 1995 | Evolution Based Approaches to Software Engineering: Culturing Software. Robert G. Reynolds, Victor R. Basili, Václav Rajlich, Nikolaos G. Bourbakis |
| 1995 | Fault diagnosis expert system for robots: a knowledge level prototyping experience. Pierre Tchounikine, Christophe Choquet |
| 1995 | Feature-Oriented Classification for Software Reuse. Jürgen Börstler |
| 1995 | Formal Semantics for Object Oriented Systems. Claudia Pons |
| 1995 | Formal Specification and Metaprogramming in the EXPRESS Language. Yamine Aït Ameur, Frederic Besnard, Patrick Girard, Guy Pierra, Jean-Claude Potier |
| 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 | From Formal Requirements to Formal Design. Paolo Ciaccia, Paolo Ciancarini, Wilma Penzo |
| 1995 | From Specification to Building a GUI using Functional Programming. Ken Brownsey, Mary Zajicek |
| 1995 | Integrated Design of Object-Oriented Real-Time Control and Database Systems. Maria Ligia B. Perkusich, Angelo Perkusich, Ulrich Schiel |
| 1995 | Integration of Task Level Architecture with O-O Technology. Rajiv Khosla, Tharam S. Dillon |
| 1995 | Intelligent Workbench - Knowledge Base Systems Inc. |
| 1995 | Knowledge Based System for Transforming an Object Oriented Conceptual Model into a Relational Logical Model. Elizabeth Chang, Tharam S. Dillon, A. Ling |
| 1995 | Knowledge Representation on the Level of Natural Language for Purposes of Automatic Programming. Jan Kazimierczak |
| 1995 | Modelling software components for reuse. John van den Elst, Monique Thonnat, Frank van Harmelen |
| 1995 | Multi-Agent Models as Methodological Guide for Knowledge Acquisition. Christine Ferraris |
| 1995 | On the Object Oriented Design of a Track-Vehicle System. Angelo Perkusich, Jorge C. A. de Figueiredo |
| 1995 | Optimizing Complex Objects Queries in A Visual Data Manipulation Language. Takao Miur |
| 1995 | PZ Nets- A Formal Method Integrating Petri Nets with Z. Xudong He |
| 1995 | Panel: Visualization of Software Systems in the Year 2000. S. K. Chang |
| 1995 | Panelists: Software Visualization through Active Presentation. Gruia-Catalin Roman |
| 1995 | Parallel Execution of Logic Programs with Breadth-first Search. Won S. Lee |
| 1995 | Pattern-Driven Reverse Engineering. Harald C. Gall, René Klösch, Roland T. Mittermeir |
| 1995 | Preliminary Thoughts Concerning The Interphase Activity of Requirement Migration. Daniel E. Cooke |
| 1995 | Problems in Interfacing Tools of Different Development Environments. A. Inkeri Verkamo, Greger Lindén |
| 1995 | Programming language RIGAL as a compiler writing tool. Mikhail Auguston |
| 1995 | Prolog for Software Maintenance. Gerardo Canfora, Aniello Cimitile, Maria Tortorella |
| 1995 | Quasi-Experiment as a Tool for Knowledge Engineering: An Example from Intelligent Tutoring. Scott Wolff, Charles Bloom, Anoosh Shahidi |
| 1995 | Representation and Adaptation of Organization Coordination Knowledge for Autonomous Agent Systems. Trent Jaeger, Atul Prakash |
| 1995 | Representing Structural and Functional Knowledge with Stochastic Petri Nets. James R. Gattiker |
| 1995 | Rule-Based Approach to Business Modeling. Janis Barzdins, Guntis Barzdins, Audris Kalnins |
| 1995 | SEKE'95, The 7th International Conference on Software Engineering and Knowledge Engineering, June 22-24, 1995, Rockville, Maryland, USA, Proceedings |
| 1995 | Semantic Query Processing in Deductive Object-Oriented Databases. Suk-Chung Yoon, Cyril S. Ku |
| 1995 | Software Creation: Using Specification and Description Language (SDL) for Capturing and Reusing Human Experts' Knowledge in Software Design. Behrouz H. Far, Hui Chen, Zenya Koono |
| 1995 | Software Visualization For Large Systems. Stephen G. Eick |
| 1995 | Software Visualization in the Year 2000. John T. Stasko |
| 1995 | TCO: a Tool to map Communication components to Objects. Noureddine Kara Zaitri, Xavier Castellani |
| 1995 | Text-Based Requirements Modeling Support System. Sooyong Park, Richard P. Evans, James D. Palmer |
| 1995 | The Decomposition Slice Display System. Bradley M. Kuhn, Dennis J. Smith, Keith Brian Gallagher |
| 1995 | The Future of Software Engineering Education. Joseph E. Urban, Daniel E. Cooke, Doris L. Carver, Roland T. Mittermeir |
| 1995 | The Graph Editor of EdGen, A Tool to Aid the Automated Construction of Customized Graph Editors. Farah Arefi, Masoud Milani, A. Winklaar |
| 1995 | The Temporal Dimension of Conceptual Dimension Objects. Sylviane R. Schwer, Naoufel Kraïem, Joël Brunet |
| 1995 | The Use of Integrity Constraints in Software Engineering. Ann Q. Gates, Daniel E. Cooke |
| 1995 | Toward Uniform Presentation of Software Dynamics. Jun'ichi Miyao, S. K. Chang |
| 1995 | Towards Reusability Based Upon Similar Computational Behavior. Ashish Jain, Leon Sterling, Marc Kirschenbaum |
| 1995 | Towards a New Generation of Program Synthesis Approaches. Justinian P. Rosca |
| 1995 | Visual Language Syntax and Semantics for Complex Reactive System. H. Lewis Chau, K. F. Chan |
| 1995 | Visual Scenarios for Validation of Requirements Specification. V. Lalioti, Babis Theodoulidis |
| 1995 | Workshop on Domain Engineering as a Research Agenda for Software Engineering and Knowledge Engineering. David Eichmann, Mari Georges |