| 1996 | A Dynamic Apporach Towards Location Management in Mobile Computing Systems. Ravi Prakash, Mukesh Singhal |
| 1996 | A Fast 3-D Visualization Methodology Using Characteristic Views of Objects. Soochan Hwang, Sang-Young Cho, Taehyung Wang, Phillip C.-Y. Sheu |
| 1996 | A Formalism for Architectural Modeling of Distributed Real-Time Systems. Yi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist |
| 1996 | A Knowledge-based Approach for Automating a Design Method for Concurrent and Real-Time Systems. Kevin L. Mills, Hassan Gomaa |
| 1996 | A Method for Applying G-Nets To Communication Protocols. Vladimir P. Sliva, Tadao Murata, Sol M. Shatz |
| 1996 | A Multi-Agent Based Environment to Aid in the Design of Petri Nets Based Software Systems. Evandro de Barros Costa, Angelo Perkusich, Jorge C. A. de Figueiredo |
| 1996 | A Quantitative Approach for Assessing the Priorities of Software Quality Requirements. Xiaoqing Frank Liu |
| 1996 | A Synthesis of Two Process Support Approaches. Martin Verlage, Barbara Dellen, Frank Maurer, Jürgen Münch |
| 1996 | A Theory of Testing for Soft Real-Time Processes. Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka |
| 1996 | A Visual Query Interface for Software Metrics Databases. Raymond A. Paul, Azam Khan, Arif Ghafoor, Young Francis Day, Yoshihisa Shinagawa |
| 1996 | A Visualization Tool for Pattern Matching and Discovery in Scientific Databases. George Jyh-Shian Chang, Jason Tsong-Li Wang, Gung-Wei Chirn, Chia-Yo Chang, Weihong Wu, Firas Aljallad |
| 1996 | ACL: a Tool for Conceptual Programming. Francoise Balmas |
| 1996 | An Early Warning Approach for Method Sequence Testing. Pei Hsia, Xiaolin Li, David Chenho Kung |
| 1996 | An Empirical Study of the LSS Specification Toolkit in Use. David Stuart Robertson |
| 1996 | An Evaluation of Knowledge Engineering Approaches to the Maintenance of Evolutionary Software. Charu Chandra, C. V. Ramamoorthy |
| 1996 | An Integrated Environment for Reuse Reengineering C Code. Gerardo Canfora, Andrea De Lucia, Malcolm Munro |
| 1996 | An Intelligent Process for Formulating and Anwering Project Queries. Chye-Lin Chee, Stan Jarzabek, C. V. Ramamoorthy |
| 1996 | An Object Logic for Object Base Capable of Version Management. Naoko Izumi, Takuya Katayama |
| 1996 | Automating the Debugging Process of Pascal Syntax Errors. Richard Fox, Christian Bilke, James Mendoza |
| 1996 | Business Rules in the Real World: A Decision Support Approach. Daniela Rosca, J. Christian Wild |
| 1996 | Case Study: EasyCODE - A Language Independent Visualization Tool for Reengineering. Oliver Karall, Stefan Biffl |
| 1996 | Challenges in Deploying Software: Rollout, Field Support, Upgrades. W. Morven Gentleman |
| 1996 | Class Hierarchy Management System. Ehab Hassanein |
| 1996 | Customized Visual Language Design. Shi-Kuo Chang, Piero Mussio |
| 1996 | Data Layout for Interactive Video-on-Demand Storage Systems. Cyril U. Orji, Kingsley C. Nwosu |
| 1996 | Data Structure Coverage Testing. Kenneth I. Magel, Ping Zhong |
| 1996 | Debugging of Object-Oriented Software. Chun Hung Roberts Law, R. Brien Maguire |
| 1996 | Developing Visual Languages Through an Evolving Method. Kang Zhang, Da-Qian Zhang |
| 1996 | Development of a Software Architecture for the Analysis of Geographic and Image-Based Data. Scott A. Starks |
| 1996 | Domain Specific Problem Description. David Robertson |
| 1996 | Efficient Monte Carlo Method for Generating Random Test Data from Irregular Test Regions". Anouar Jamoussi, Farokh B. Bastani |
| 1996 | Eliciting Domain Knowledge for Decision Support: A Case Study in the Criminal Justice System. Owusu-Ansah Agyapong, Patrick O. Bobbie |
| 1996 | Engineering Formal Requirements: Analysis and Testing. Paolo Ciancarini, Stelvio Cimato, Cecilia Mascolo |
| 1996 | Expertsheets: A Spreadsheet Paradigm for Authoring Expert Systems. Francisco Corella, Michelle Kim |
| 1996 | Finding Interesting Knowledge in Object-Oriented Frameworks for Semantic Query Optimization. Suk-Chung Yoon, Lawrence J. Henschen |
| 1996 | Generalized Program Slicing for Software Maintenance. Hai Huang, Wei-Tek Tsai, Satish Subramanian |
| 1996 | Generating Natural Language Interfaces for Terminological Knowledge Representation Systems. Rolf Adams, Hans Weigand |
| 1996 | Greedy Reuse: Architectural Considerations for Extending the Reusability of Components. Roland T. Mittermeir, Lydia G. Würfl |
| 1996 | Identifying Language Requirements for Specifying Industrial-Strength Software Agents. W. David Hurley |
| 1996 | Implementation of Selected Data/Knowledge-Base Algorithms on a Digital Optoelectronic Processor. Peter S. Guilfoyle, John M. Hessenbruch, Richard V. Stone, P. Bruce Berra |
| 1996 | Important Milestones in Software Reliability Modeling. Swapna S. Gokhale, Peter N. Marinos, Kishor S. Trivedi |
| 1996 | Knowledge Engineering for Automated Program Recognition and Fault Localization. Ilene Burnstein, Abdul Mirza, Katherine Roberson, Floyd Saner, Abdallah Tubaishat |
| 1996 | Knowledge-Based Support for Distributed Systems Management. Bernd J. Krämer, Thomas Koch |
| 1996 | Managing a Software System and Keeping it Internally Consistent During its Evolution. F. Cutillo, Giuseppe Visaggio |
| 1996 | Measurement of Usability of Software Using a Fuzzy Systems Approach. Elizabeth Chang, Tharam S. Dillon, D. Cook |
| 1996 | Natural Language Processing: Structure and Complexity. Wlodek Zadrozny |
| 1996 | Observation of Global Properties in Distributed Systems. Vijay K. Garg |
| 1996 | On Defining a Class of Integrity Constraints. Ann Q. Gates |
| 1996 | PRISME: Formalizing Programming Strategies as a Way to Understand Programs. Francoise Balmas |
| 1996 | Peace+: A Multi-Agent System for Computer-supported Cooperative work in Software Process Centered Environments. Ilham Alloui, Flávio Oquendo |
| 1996 | Quality Assurance of Specification - The Users Point of View. Heinz-Dieter Knöll, Thomas Slotos, Wolfgang Suk |
| 1996 | REINAS: A Real-time System for Managing Environmental Data. Darrell D. E. Long, Patrick E. Mantey, Eric C. Rosen, Craig M. Wittenbrink |
| 1996 | Recombining Changes to Software Specifications. Valdis Berzins |
| 1996 | Recovering a Conceptual Data Model from COBOL Code. Gerardo Canfora, Aniello Cimitile, Giuseppe A. Di Lucca |
| 1996 | Reduction of a Knowledge Model. John K. Debenham |
| 1996 | Relationship Between Communication Capability and Goal Achievement in System of Agents. Han Gyoo Kim, Young-Chul Shim, Moon-hae Kim |
| 1996 | Requirements Analysis and Specification as a Problem of Software Automation. Jiafu Xu, Hong Zhu |
| 1996 | Reverse Engineering Procedural Code for Object Recovery. Doris L. Carver |
| 1996 | Scientific Data Mining: A Case Study. Chia-Yo Chang, Jason Tsong-Li Wang |
| 1996 | Scriptless Behaviour Definition of Visual Objects. Verena Giller, Günter Haring, Manfred Tscheligi |
| 1996 | Software Process Agents. Dick B. Simmons, Newton C. Ellis, Way Kuo |
| 1996 | Specifications in Software Prototyping. Luqi |
| 1996 | Testing Object-Oriented Programs Based on Usage Profiles and Formal Specifications. Shih-Sung Liao, Kai H. Chang, Stephen B. Seidman, Chun-Yu Chen |
| 1996 | The 8th International Conference on Software Engineering and Knowledge Engineering, SEKE '96, Lake Tahoe, Nevada, USA, June 10-12, 1996 |
| 1996 | The Design of a Class Library to Support Teaching of Object Oriented Programming with C++. Paulo Bianchi Franca |
| 1996 | The Development of Hybrid Information Systems: a Process Model an Methodology. Xin Chen, Simon Kendal, I. Potts, Peter Smith |
| 1996 | The Impact of Hashing Function Choice on the Load Balancing in Very Large Dartasets. Isidore Rigoutsos, Alex Delis |
| 1996 | The Role of Knowledge Acquisition in Component Based System Construction. Luis Montero, Colin T. Scott |
| 1996 | The Role of Program Slicing in Ripple Effect Analysis. Yamin Wang, Wei-Tek Tsai, Xiaoping Chen, Sanjai Rayadurgam |
| 1996 | The Theory of Massive Cross-Referencing. Dong-Keun Shin |
| 1996 | Towards Designing RTO.k Structured Server Objects with Service Time Guarantee. K. H. Kim |
| 1996 | Using Design Cohesion to Visualize, Quantify, and Restructure Software. Byung-Kyoo Kang, James M. Bieman |
| 1996 | Variable Depth Resolution for Intelligent Real-Time Systems. Douglas Foxvog, Tapio Taipale |
| 1996 | Verification Criterion Directed Testing for Formal Specifications. Ziaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert |
| 1996 | Version Management in Structured Document Retrieval Systems. P. Bruce Berra, Seong-Joon Yoo, Yong Kyu Lee, Kyoungro Yoon |
| 1996 | Visual Programming, Knowledge Engineering, and Software Engineering. Tim Menzies |
| 1996 | Wheels: An Automated Program Analysis Tool. Aggie Y. Sun, Bruce M. McMillin |