| 1996 | 3rd Asia-Pacific Software Engineering Conference (APSEC '96), December 4-7, 1996, Seoul, South Korea |
| 1996 | A Case Study Using SAM - Safety Analysis of PES. John A. McDermid, Shaoying Liu |
| 1996 | A Class Testing Technique Based on Data Bindings. Heechern Kim, Chisu Wu |
| 1996 | A Dialog-Oriented User Interface Generation Mechanism. Jeongwon Baeg, Yoshiaki Fukazawa |
| 1996 | A Framework of Generating Software Process Including Milestones for Object-Oriented Development Method. Noriko Hanakawa, Hajimu Iida, Ken-ichi Matsumoto, Koji Torii |
| 1996 | A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph. Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima |
| 1996 | A Method of Checking Errors and Consistency in the Process of Object-Oriented Analysis. Do-Hyoung Kim, Kiwon Chong |
| 1996 | A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages. Xuandong Li, Guoliang Zheng |
| 1996 | A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs. Eisuke Itoh, Zengo Furukawa, Kazuo Ushijima |
| 1996 | A dynamic Extension for the Specification of Distributed Systems. Issam A. Hamid |
| 1996 | An Extended Semantic Foundation For Object-Z. Alena Griffiths |
| 1996 | An Interaction Support Mechanism in Software Development. Makoto Matsushita, Katsuro Inoue, Hajimu Iida |
| 1996 | Analysis of Software Process Improvement Experience Using the Project Visibility Index. Keishi Sakamoto, Naoki Niihara, Toshifumi Tanaka, Kumiyo Nakakoji, Kouichi Kishida |
| 1996 | Architectural Abstractions and Language Mechanisms. Bent Bruun Kristensen |
| 1996 | Assessing and Restructuring of Classes Based on Cohesion. Heung Seok Chae, Yong Rae Kwon |
| 1996 | Classification of and Experimentation on Tool Interfacing in Software Development Environments. Yun Yang, Jun Han |
| 1996 | Common Sense Reuse. Stan Jarzabek |
| 1996 | Design and Implementation of Dynamically Reconstructing System Software. Kazuhiko Kashiwagi, Keizo Saisho, Akira Fukuda |
| 1996 | Formal Methods Pilot Project. Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor |
| 1996 | Formal Modeling of Large Domains. Dao Nam Anh, Richard Moore |
| 1996 | Formalisation of Interaction Diagrams. Ralph Rönnquist, Chi Keen Low |
| 1996 | Formalization and Verification of Safety Properties of Statechart Specifications. Kyo Chul Kang, Kwang-Il Ko |
| 1996 | If Software Reuse Can Lead IT, How? Masao J. Matsumoto, Ernst-Erich Doberkat, Stan Jarzabek, Kyo Chul Kang |
| 1996 | Improving the Quality of Classification Trees via Restructuring. Tsong Yueh Chen, Pak-Lok Poon |
| 1996 | Industrial Application of Object-Oriented Technology. Kiwon Chong |
| 1996 | Keynote Address: Auditing Informal Software Testing and Analysis Processes. William E. Howden |
| 1996 | M-base : An Application Development Environment for End-user Computing based on Message Flow. Takeshi Chusho, Yuji Konishi, Masao Yoshioka |
| 1996 | MENTOR : An Environment Supporting the Construction of Methods. Véronique Plihon |
| 1996 | Module Coupling: A Design Metric. Franck Xia |
| 1996 | New Software Components with an Autonomous Changing Mechanism. Katsuhisa Maruyama, Kenichi Shima |
| 1996 | Object-Oriented Metrics. N. V. Balasubramanian |
| 1996 | Principles of Software Evolution. Takuya Katayama |
| 1996 | Real-Time System Design Tools for RTO.e (Real-Time Object.extended). Byung Kwon Ahn, Seung-Min Yang, Joong-Sup Choi, Moon-hae Kim |
| 1996 | Resonance Interface: Proposal of a Framework for Design Environment. Masao Ito, Koichi Kishida |
| 1996 | Revisiting Measurement of Software Complexity. Claes Wohlin |
| 1996 | Safety Analysis Using Coloured Petri Nets. Seung Mo Cho, Hyoung Seok Hong, Sung Deok Cha |
| 1996 | Simulation Model of Overlapping Development Process Based on Progress of Activities. Hajimu Iida, Jun Eijima, Satushi Yabe, Ken-ichi Matsumoto, Koji Torii |
| 1996 | Software Testing and Metrics for Concurrent Computation. Chi-Ming Chung, Timothy K. Shih, Ying-Hong Wang, Wei-Chuan Lin, Ying-Feng Kuo |
| 1996 | The Derivation of Functional Specifications from Source Code. William E. Howden, Suehee Pak |
| 1996 | The Need For New Software Technology: Have We Overcome the Software Crisis? Taik-Ho Kim |
| 1996 | The Telephone Directory Enquiry System of Hong Kong. Kam-Pui Chow, Tak Wah Tak Wah, Ka Hing Lee |
| 1996 | Towards a Learner-Centred Approach to Teaching Object-Oriented Design. Cleveland Augustine Gibbon, Colin A. Higgins |
| 1996 | Towards a Practical Formal Method for Object Oriented Modelling. Kinh Nguyen |
| 1996 | Verification via Digitized Models of Real-Time Hybrid Systems. Dang Van Hung, Ko Kwang Il |