| 1995 | 2nd Asia-Pacific Software Engineering Conference (APSEC '95), December 6-9, 1995, Brisbane, Queensland, Australia |
| 1995 | A Criticism on the Capture-and-Recapture Method for Software Reliability Assurance. Sadahiro Isoda |
| 1995 | A Hierarchical Framework for Designing Reliable Distributed Systems. Wilson C. H. Cheng, Xiaohua Jia |
| 1995 | A Maintenance Support System based on High-Level Control-Flow and Data Dependency. Akihiko Matsuo, Sanya Uehara, Minako Kimura |
| 1995 | A Reorganization Framework of the Object-Oriented Class Hierarchy. Suk-hyung Hwang, Yoshihiro Tsujino, Nobuki Tokura |
| 1995 | A Simple Configuration Management System for CASE Repository. Lee Taeheun, Chisu Wu |
| 1995 | A Survey of Experiences amongst Object-Oriented Practitioners. John W. Daly, James Miller, Andrew Brooks, Marc Roper, Murray Wood |
| 1995 | An Approach to Reverse Quality Assurance with Data-Oriented Program Analysis. Yoshio Kataoka, Masayuki Hirayama, Jiro Okayasu, Tetsuji Fukaya |
| 1995 | An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information. Hyun Seop Bae, Yong Rae Kwon, Hyeon Soo Kim |
| 1995 | An Empirical Study on Software Error Detection: Voting, Instrumentation, and Fagan Inspection. Sun Sup So, Yongseop Lim, Sung Deok Cha, Yong Rae Kwon |
| 1995 | An Enhanced Zero-One Optimal Path Set Selection Method. Chyan-Goei Chung, Jen-Gaw Lee |
| 1995 | An Environment for the Reverse Engineering of Executable Programs. Cristina Cifuentes |
| 1995 | An Integrated Approach to IS modeling. David Leadbetter |
| 1995 | An Integrated Support Environment for Distributed Software Development based on Unified Program Representations. Yoshiaki Kasahara, Yoshinari Nomura, Masayuki Kamachi, Jingde Cheng, Kazuo Ushijima |
| 1995 | Animating Z: Interactivity, Transparency and Equivalence. Mark Utting |
| 1995 | Architectural Abstractions for Real-Time Software. Flavio De Paoli, Francesco Tisato |
| 1995 | Are Formal Methods Relevant? Ian J. Hayes, Keijiro Araki, David J. Duke, Val E. Veraart |
| 1995 | Building the Structure of Specification Documents from Utterances of Requirements Elicitation Meetings. Nobuyuki Miura, Haruhiko Kaiya, Motoshi Saeki |
| 1995 | CARD: An Environment for Software Requirements Definition. Atsushi Ohnishi |
| 1995 | Class Exerciser: A Basic CASE Tool for Object-Oriented Development. Chien-Min Wang, Y. S. Kuo |
| 1995 | Communication, Collaboration, and Cooperation in Software Development-How Should We Support Group Work in Software Development? Motoshi Saeki |
| 1995 | Complexity Measures for Object-Oriented Program Based on the Entropy. Kapsu Kim, Yeongi Shin, Chisu Wu |
| 1995 | Deriving Programs by Combining and Adapting Refinement Scripts. Lindsay Groves |
| 1995 | Design and Implementation of a Method Base Management System for a Situational CASE Environment. Frank Harmsen, Sjaak Brinkkemper |
| 1995 | Development of Distributed Applications with Separation of Concerns. António Rito Silva, Pedro Manuel Antunes Sousa, José Alves Marques |
| 1995 | Dynamic Data Flow Analysis for C++. Tsong Yueh Chen, Chi Keen Low |
| 1995 | Event Interactions Graph for Test-case Generation of Concurrent Programs. Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima |
| 1995 | Evolutional Agents: Field Oriented Programming Language, Flage. Fumihiro Kumeno, Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden |
| 1995 | Expressing Inter-Perspective Relationships: A Logical Approach. Laurent Perrussel |
| 1995 | Flexible Module Operation Scheme in Formal Specification Process. Hisayuki Horai |
| 1995 | From Scenarios to Timed Automata: Building Specifications from Users Requirements. Stéphane S. Somé, Rachida Dssouli, Jean G. Vaucher |
| 1995 | Integration of Software Process Management and Development History Recording. Stefan Dißmann, Volker Gruhn, Dirk Ohrndorf |
| 1995 | Is Software Engineering Really Engineering? Graham C. Low, D. Ross Jeffery, Ray Offen, Judy Bamberger |
| 1995 | Is Software Engineering Really Engineering? Graham Low |
| 1995 | Is Software Engineering Really Engineering? Ray Offen |
| 1995 | Knowledge Acquisition and Integration on Specification Change-A Method for Systematic Reuse. Saeko Matsuura, Shinichi Honiden |
| 1995 | Limitations of Formal Methods and an Approach to Improvement. Shaoying Liu, Rolf Adams |
| 1995 | Living with Free Type and Class Union. Jin Song Dong |
| 1995 | Management of Distributed Concurrent Development for Large-Scale Software Systems. Mikio Aoyama |
| 1995 | Modelling Systems that Integrate Programming Language and Environment Mechanisms. Keith J. Ransom, Chris D. Marlin |
| 1995 | On the Analysis of Subdomain Testing Strategies. Tsong Yueh Chen, Hing Leung, Yuen-Tak Yu |
| 1995 | Prototyping the Structured Specification as Logic Programs. Karl R. P. H. Leung, Daniel Kim Chung Chan |
| 1995 | Providing Configuration Management Support in Software Engineering Environments. Jun Han |
| 1995 | Re-engineering 4GL-based Information System Applications. John V. Harrison, Paul A. Bailes, Anthony Berglas, Ian Peake |
| 1995 | Reasoning about Concurrent Objects. Heinz W. Schmidt, Jian Chen |
| 1995 | Reasoning about Object-Z Specifications. Graeme Smith |
| 1995 | Relationship Between Query Interface and Profiles in Reuse Support System. Hyuksoo Han |
| 1995 | Soft Typing of General First-Order Languages. Holger Becht, John Staples |
| 1995 | Software Engineering Education - Adding Process to Projects Theory, Practice and Experience. Val E. Veraart, Sidney L. Wright |
| 1995 | Software Engineering Research Validation. D. Ross Jeffery |
| 1995 | Software Environment Support for Integrated Formal Program Specification and Development. John C. Grundy, John G. Hosking |
| 1995 | Software Process Improvement Paradigms for IT Industry: Why the Bottom-Up Approach Fits Best. Lin Zucconi |
| 1995 | Software Process Improvement Paradigms. Lin Zucconi |
| 1995 | Software Systems Engineering-From Domain Analysis Via Requirements Capture to Software Architectures. Dines Bjørner |
| 1995 | Systematic Development of the Human Interface. David J. Duke, Philip J. Barnard, Jon May, David A. Duce |
| 1995 | Teaching Software Quality and Leadership: Experiences and Successes. Judy Bamberger, James Hook |
| 1995 | Test Suite Generation Methods for Concurrent Systems Based on Colored Petri Nets. Harumi Watanabe, Tomohiro Kudoh |
| 1995 | Testing of Object-Oriented Programs Based on Finite State Machines. Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha |
| 1995 | The Ericsson's Approach to Software Improvements. Barbara Imbor-Maciag |
| 1995 | Toward Software Metrics for Distributed Software. Woei-Jiunn Tsaur, Shi-Jinn Horng |
| 1995 | Two Dimensional Concurrent Program Debugging. Lu Xu, Michal Young |