| 1995 | 17th International Conference on Software Engineering, Seattle, Washington, USA, April 23-30, 1995, Proceedings. Dewayne E. Perry, Ross Jeffery, David Notkin |
| 1995 | A Compact Petri Net Representation for Concurrent Programs. Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies |
| 1995 | A Component- and Message-Based Architectural Style for GUI Software. Richard N. Taylor, Nenad Medvidovic, Kenneth M. Anderson, E. James Whitehead Jr., Jason E. Robbins |
| 1995 | A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report. Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen |
| 1995 | A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies. Craig Chambers, Jeffrey Dean, David Grove |
| 1995 | An Architecture for Integrating Concurrency Control into Environment Frameworks. George T. Heineman, Gail E. Kaiser |
| 1995 | An Experience in Process Assessment. Fabiano Cattaneo, Alfonso Fuggetta, Luigi Lavazza |
| 1995 | An Organizational Learning Approach to Domain Analysis. Scott Henninger, Kris Lappala, Anand Raghavendran |
| 1995 | Architectural Mismatch or Why It's Hard to Build Systems Out Of Existing Parts. David Garlan, Robert Allen, John Ockerbloom |
| 1995 | Automating Process Discovery Through Event-Data Analysis. Jonathan E. Cook, Alexander L. Wolf |
| 1995 | Characterizing and Assessing a Large-Scale Software Maintenance Organization. Lionel C. Briand, Walcélio L. Melo, Carolyn B. Seaman, Victor R. Basili |
| 1995 | Completeness and Consistency Analysis of State-Based Requirements. Mats Per Erik Heimdahl, Nancy G. Leveson |
| 1995 | Dealing with Non-Functional Requirements: Three Experimental Studies of a Process-Oriented Approach. Lawrence Chung, Brian A. Nixon |
| 1995 | Decentralised Process Enactment in a Multi-Perspective Development Environment. Ulf Leonhardt, Jeff Kramer, Bashar Nuseibeh |
| 1995 | Deriving Specifications from Requirements: An Example. Michael Jackson, Pamela Zave |
| 1995 | Effect of Test Set Minimization on Fault Detection Effectiveness. W. Eric Wong, Joseph Robert Horgan, Saul London, Aditya P. Mathur |
| 1995 | Experimental Software Engineering: A Report on the State of the Art. Lawrence G. Votta, Adam A. Porter |
| 1995 | How to Deal With Deviations During Process Model Enactment. Gianpaolo Cugola, Elisabetta Di Nitto, Carlo Ghezzi, M. Mantione |
| 1995 | Improvement of Software Process by Process Description and Benefit Estimation. Toshifumi Tanaka, Keishi Sakamoto, Shinji Kusumoto, Ken-ichi Matsumoto, Tohru Kikuno |
| 1995 | Managing Software Reuse - An Experience Report. Susan Rosenbaum, Bertrand du Castel |
| 1995 | PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method. Kyo Chul Kang, Kwang-Il Ko |
| 1995 | Reverse Engineering of Legacy Code Exposed. Bruce W. Weide, Wayne D. Heym, Joseph E. Hollingsworth |
| 1995 | Reverse Engineering of Legacy Systems: A Path Toward Success. Alex Quilici |
| 1995 | Reverse Engineering to the Architectural Level. David R. Harris, Howard B. Reubenstein, Alexander S. Yeh |
| 1995 | Software Architecture in Industrial Applications. Dilip Soni, Robert L. Nord, Christine Hofmeister |
| 1995 | Software Requirements Negotiation and Renegotiation Aids: A Theory-W Based Spiral Approach. Barry W. Boehm, Prasanta K. Bose, Ellis Horowitz, Ming June Lee |
| 1995 | Supporting Evolution and Maintenance by Using a Flexible Automatic Code Generator. Jacqueline Floch |
| 1995 | Testing Real-Time Constraints in a Process Algebraic Setting. Duncan Clarke, Insup Lee |
| 1995 | The World and the Machine. Michael Jackson |
| 1995 | Tool Integration: Experiences and Directions. Bob Gautier, Chris W. Loftus, Edel Sherratt, Lynda Thomas |
| 1995 | Towards a Formal Semantics of Parnas Tables. Ryszard Janicki |
| 1995 | Using Event Contexts and Matching Constraints to Monitor Software Processes. Naser S. Barghouti, Balachander Krishnamurthy |
| 1995 | Using Testability Measures for Dependability Assessment. Antonia Bertolino, Lorenzo Strigini |