| 1995 | (Position Paper) Fault-Tolerant Software. Farokh B. Bastani |
| 1995 | (Position Paper) Quantitative Analysis of Software- and Hardware- Fault Tolerance. Joanne Bechta Dugan, K. H. Kim |
| 1995 | (Position Paper) Software Fault Tolerance at the Operating System Level. |
| 1995 | 19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA |
| 1995 | A Framework for Designing Safe Software Systems. Satish Subramanian, Ramakrishna V. Vishnuvajjala, Ramin Mojdehbakhsh, Wei-Tek Tsai, Lynn Elliott |
| 1995 | A General Approach to Evaluation of Secure Systems. Qi Shi, Ning Zhang |
| 1995 | A Hybrid Approach to Object Library Classification and Retireval. Chao-Tsun Chang, Chung-Shyan Liu |
| 1995 | A Knowledge-based Approach for Worst-case Timing Analysis of Microprocessor Systems. S. M. Yuen, K. P. Lam |
| 1995 | A Multi-Dimensional Data Visualization Tool for Knowledge Discovery in Databases. Hing-Yan Lee, Hwee-Leng Ong, Eng-Whatt Toh, Sieu-Kong Chan |
| 1995 | A Multiparadigm Programming Approach for Developing Knowledge-Based Systems. P. K. C. Pun, Hilary J. Kahn |
| 1995 | A Policy Independent Metric for Process Selection in Distributed Systems. Yvan Cazabon, Michael Bauer |
| 1995 | A Simple Tree Pattern Matching Algorithm for Code Generator. Tzer-Shyong Chen, Feipei Lai, Rung-Ji Shang |
| 1995 | A Study on Developing a Distributed Problem Solving System. Eun Gyung Kim |
| 1995 | A Test Strategy for Object-Oriented Programs. David Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Cris Chen |
| 1995 | A horizontal approach for software process improvement. Onur Demirörs, Dennis J. Frailey |
| 1995 | A method for analyzing properties of hierarchical predicate transition nets. Xudong He |
| 1995 | A software platform for solving PDEs on distributed systems: implementation issues and performance prediction. Chi-Chung Hui, Mounir Hamdi, Ishfaq Ahmad |
| 1995 | An Architecture-Independent Software Development Approach for Parallel Processing Systems. Stephen S. Yau, Doo-Hwan Bae, Jun Wang |
| 1995 | An Expanded View of Domain Modeling for Software Analogy. Chung-Horng Lung, Joseph E. Urban |
| 1995 | An approach to animating Z specifications. Xiaoping Jia |
| 1995 | Application layer software fault tolerance for distributed object-oriented systems. Hyun C. Kim, V. S. S. Nair |
| 1995 | Applying Dynamic Buffer Allocation to Predictive Load Control. Sangdon Lee, Sukho Lee |
| 1995 | Architectural Framework for Developing Concurrent Applications. Giorgio Bruno, Rakesh Agarwal |
| 1995 | Automatic Generation of C++ Code from an ESCRO2 Specification. Paul C. Grabow, L. Liu |
| 1995 | Checking Program Proofs Made Eas. Martina Schollmeyer, Bruce M. McMillin |
| 1995 | Component Reuse Through Reverse Engineering and Semantic Interface Analysis. William C. Chu, Hongji Yang |
| 1995 | Creating A Distributed Environment Using Object-Oriented Technology. Carl K. Chang, Bashir Haswarey, Pattanasak Mongkolwat |
| 1995 | Department of Defense Information Technology Initiatives. Margaret E. Myers |
| 1995 | Deriving distributed algorithms from a general predicate detector. J. Roger Mitchell, Vijay K. Garg |
| 1995 | Design and Implementation of Multiple Type Objects in a Persistent Programming Language. Masayoshi Aritsugi, Akifumi Makinouchi |
| 1995 | Designing Chinese Typeface Using Components. Paul Yiu Chung Wong, Siu Chi Hsu |
| 1995 | Dynamic Hierarchy for Multiagent Air Combat. Boris Stilman |
| 1995 | Enforcing complex security policies for commercial applications. I-Lung Kao, Randy Chow |
| 1995 | Evaluating the Effectiveness of Process Improvements on Software Development Cycle Time via System Dynamics Modeling. John D. Tvedt, James S. Collofello |
| 1995 | Expressing JSD in Z. Jonathan Lee, Wei T. Huang, Cheng-Kai Chang, Jiann-I Pan |
| 1995 | FFU: Far-Future-Using Replacement Algorithms for Continuous Media Storage System. Taeck-Geun Kwon, Sukho Lee |
| 1995 | FunZ Designs A Bridge between Z Specifications and Haskell Implementations. Linda B. Sherrell, Doris L. Carver |
| 1995 | Hierarchical Multimodel-Based Structural Consistency Support Tools for Specifying and Prototyping Complex Systems. Wah Kheang Cheung, Chrystopher L. Nehaniv, Kenjiro Takai Miura, Yin Seong Ho |
| 1995 | HyperDisco: An Object-Oriented Hypermedia Framework for Flexible Software System Integration. Uffe Kock Wiil |
| 1995 | IPCC++: A C++ Extension for InterProcess Communication with Objects. Shelly S. Stubbs, Doris L. Carver |
| 1995 | Improving Software Quality through a Novel Testing Strategy. Xiaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert |
| 1995 | Improving software process to implement a wireless mobile network. K. A. Gibson |
| 1995 | Information Mediation System Design Strategy among Telecommunication Related Information Systems. Fu-Fu Shen, Whei-Yee Lin, Chea-Yean Wong, Chien-Wei Cheng, Hsien-Sheng Chen |
| 1995 | Knowledge Reuse through the Application of the Object Knowledge Canonical Form. Kunhuang Huarng, Dick B. Simmons |
| 1995 | LISTEN: A Tool to Investigate the Use of Sound for the Analysis of Program Behavior. David B. Boardman, Geoffrey Greene, Vivek Khandelwal, Aditya P. Mathur |
| 1995 | Lagrangian Techniques for Solving a Class of Zero-One Integer Linear Programs. Yao-jen Chang, Benjamin W. Wah |
| 1995 | Management of Flexible Transactions Using Semantics in Multidatabase Systems. Soon Myoung Chung, Pyeong S. Mah, Junguk L. Kim |
| 1995 | Mechanical synthesis of a unification algorithm in PowerEpsilon. Ming-Yuan Zhu, Xiao-Bai Mo |
| 1995 | Object Oriented Design for a Distributed Priority Queue. Pen-Nan Lee, Lawrence Miller, Ping-Chuan Tai, Yiwei Chen |
| 1995 | Object state testing for object-oriented programs. Jerry Z. Gao, David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen |
| 1995 | Parallel Software Engineering - Goals 2000. Carl Murphy |
| 1995 | Performance Evaluation of Dynamic Signature File Methods. Jae Soo Yoo, Myoung-Ho Kim, Yoon-Joon Lee, Byoung Mo Im |
| 1995 | Quality Assessment for Multiple Server Cooperating Systems. I-Ling Yen, Ing-Ray Chen |
| 1995 | Requirement Specification in Pseudo-Natural Language in PROMIS. Ruqian Lu, Zhi Jin, Ronglin Wan |
| 1995 | Reverse Engineering from COBOL to Narrative Specification. T. Yoshino, Sanya Uehara, Takao Okubo, S. Suguta, Y. Hotta, M. Sonobe |
| 1995 | Scheduling dependent real-time multimedia tasks on distributed systems. Hsing Mei |
| 1995 | Software Fault Tolerance: Has it Arrived Yet? V. S. S. Nair |
| 1995 | Software Support for Asynchronous Computing Across Networks. Mark E. Cavender, Xiaodong Zhang |
| 1995 | Software Technology in the 21st Centurey: A Technology Forecast. |
| 1995 | Storing Continuous Media Objects Using Parallelism With Merging. Alfred R. Watkins, Edward Omiecinski |
| 1995 | Temporal Event Analysis and Program Understanding. William E. Howden, G. M. Shi |
| 1995 | The Multimedia Desktop Conference System Adaptability in Network Traffic on LAN. Jin Ho Jung, Hyun Seung Yang |
| 1995 | The Object-Inferencing Framework: A Prolog-Based Approach for Extracting Structure from Computer Graphics. David J. Russomanno |
| 1995 | Transformation of Relational Schemas to Object-Oriented Schemas. Weiyi Meng, Aqueo Kamada, Yuhsi Chang |
| 1995 | User Interface Design: The WHO, the WHAT, and the HOW Revisited. Christian Stary |
| 1995 | Using Constraints for Distributed Query Processing. Jongpil Yoon |