| 1995 | Software Environment Support for Integrated Formal Program Specification and Development. | John C. Grundy, John G. Hosking |
| 1995 | Deriving Programs by Combining and Adapting Refinement Scripts. | Lindsay Groves |
| 1995 | Systematic Development of the Human Interface. | David J. Duke, Philip J. Barnard, Jon May, David A. Duce |
| 1995 | Living with Free Type and Class Union. | Jin Song Dong |
| 1995 | Integration of Software Process Management and Development History Recording. | Stefan Dimann, Volker Gruhn, Dirk Ohrndorf |
| 1995 | A Survey of Experiences amongst Object-Oriented Practitioners. | John W. Daly, James Miller, Andrew Brooks, Marc Roper, Murray Wood |
| 1995 | An Environment for the Reverse Engineering of Executable Programs. | Cristina Cifuentes |
| 1995 | An Enhanced Zero-One Optimal Path Set Selection Method. | Chyan-Goei Chung, Jen-Gaw Lee |
| 1995 | On the Analysis of Subdomain Testing Strategies. | Tsong Yueh Chen, Hing Leung, Yuen-Tak Yu |
| 1995 | Dynamic Data Flow Analysis for C++. | Tsong Yueh Chen, Chi Keen Low |
| 1995 | A Hierarchical Framework for Designing Reliable Distributed Systems. | Wilson C. H. Cheng, Xiaohua Jia |
| 1995 | Software Systems Engineering-From Domain Analysis Via Requirements Capture to Software Architectures. | Dines Bjrner |
| 1995 | Soft Typing of General First-Order Languages. | Holger Becht, John Staples |
| 1995 | Teaching Software Quality and Leadership: Experiences and Successes. | Judy Bamberger, James Hook |
| 1995 | An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information. | Hyun Seop Bae, Yong Rae Kwon, Hyeon Soo Kim |
| 1995 | Management of Distributed Concurrent Development for Large-Scale Software Systems. | Mikio Aoyama |
| 1994 | A software maintenance survey. | Stephen W. L. Yip, Tom Lam |
| 1994 | Object-oriented analysis and design support system using algebraic specification techniques. | Junichi Yamamoto, Akihiko Ohsuga, Shinichi Honiden |
| 1994 | The Cogito Repository Manager. | Owen Traynor, Anthony C. Bloesch |
| 1994 | Analysis in software engineering. | Koji Torii |
| 1994 | Constraint-centered descriptions for automated tool invocation. | Kazuto Tominaga, Takehiro Tokuda |
| 1994 | Producing and managing software objects in the process programming environment OPM. | Yasuhiro Sugiyama |
| 1994 | Formal definitions of behavioural compatibility for active and passive objects. | Graeme Smith |
| 1994 | BOOTSTRAP: a software process assessment and improvement methodology. | Jouni Simil, Pasi Kuvaja, Lech Krzanik |
| 1994 | Scalability for graph based CASE tools. | Mark Sifer, John Potter |