| 1996 | Architectural Abstractions and Language Mechanisms. | Bent Bruun Kristensen |
| 1996 | A Class Testing Technique Based on Data Bindings. | Heechern Kim, Chisu Wu |
| 1996 | A Method of Checking Errors and Consistency in the Process of Object-Oriented Analysis. | Do-Hyoung Kim, Kiwon Chong |
| 1996 | The Need For New Software Technology: Have We Overcome the Software Crisis? | Taik-Ho Kim |
| 1996 | A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph. | Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima |
| 1996 | Principles of Software Evolution. | Takuya Katayama |
| 1996 | Design and Implementation of Dynamically Reconstructing System Software. | Kazuhiko Kashiwagi, Keizo Saisho, Akira Fukuda |
| 1996 | Formalization and Verification of Safety Properties of Statechart Specifications. | Kyo Chul Kang, Kwang-Il Ko |
| 1996 | Common Sense Reuse. | Stan Jarzabek |
| 1996 | Resonance Interface: Proposal of a Framework for Design Environment. | Masao Ito, Koichi Kishida |
| 1996 | A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs. | Eisuke Itoh, Zengo Furukawa, Kazuo Ushijima |
| 1996 | Simulation Model of Overlapping Development Process Based on Progress of Activities. | Hajimu Iida, Jun Eijima, Satushi Yabe, Ken-ichi Matsumoto, Koji Torii |
| 1996 | Verification via Digitized Models of Real-Time Hybrid Systems. | Dang Van Hung, Ko Kwang Il |
| 1996 | The Derivation of Functional Specifications from Source Code. | William E. Howden, Suehee Pak |
| 1996 | Keynote Address: Auditing Informal Software Testing and Analysis Processes. | William E. Howden |
| 1996 | Formal Methods Pilot Project. | Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor |
| 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 dynamic Extension for the Specification of Distributed Systems. | Issam A. Hamid |
| 1996 | An Extended Semantic Foundation For Object-Z. | Alena Griffiths |
| 1996 | Towards a Learner-Centred Approach to Teaching Object-Oriented Design. | Cleveland Augustine Gibbon, Colin A. Higgins |
| 1996 | M-base : An Application Development Environment for End-user Computing based on Message Flow. | Takeshi Chusho, Yuji Konishi, Masao Yoshioka |
| 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 Telephone Directory Enquiry System of Hong Kong. | Kam-Pui Chow, Tak Wah Tak Wah, Ka Hing Lee |
| 1996 | Industrial Application of Object-Oriented Technology. | Kiwon Chong |
| 1996 | Safety Analysis Using Coloured Petri Nets. | Seung Mo Cho, Hyoung Seok Hong, Sung Deok Cha |