8. SEKE 1996: Lake Tahoe, Nevada, USA

Testing/Verification/Maintenance I

• Kenneth I. Magel, Ping Zhong: Data Structure Coverage Testing. 1-8 BibTeX
• Shih-Sung Liao, Kai H. Chang, Stephen B. Seidman, Chun-Yu Chen: Testing Object-Oriented Programs Based on Usage Profiles and Formal Specifications. 9-16 BibTeX
• Anouar Jamoussi, Farokh B. Bastani: Efficient Monte Carlo Method for Generating Random Test Data from Irregular Test Regions". 17-24 BibTeX

Modeling

• Francisco Corella, Michelle Kim: Expertsheets: A Spreadsheet Paradigm for Authoring Expert Systems. 25-31 BibTeX
• Paulo Bianchi Franca: The Design of a Class Library to Support Teaching of Object Oriented Programming with C++. 32-37 BibTeX
• Ehab Hassanein: Class Hierarchy Management System. 38-44 BibTeX
• John K. Debenham: Reduction of a Knowledge Model. 45-50 BibTeX

Process I

• Xin Chen, Simon Kendal, I. Potts, Peter Smith: The Development of Hybrid Information Systems: a Process Model an Methodology. 51-58 BibTeX
• Martin Verlage, Barbara Dellen, Frank Maurer, Jürgen Münch: A Synthesis of Two Process Support Approaches. 59-68 BibTeX
• Elizabeth Chang, Tharam S. Dillon, D. Cook: Measurement of Usability of Software Using a Fuzzy Systems Approach. 69-76 BibTeX

Debugging I

• Roberts C. H. Law, R. Brien Maguire: Debugging of Object-Oriented Software. 77-84 BibTeX
• Ilene Burnstein, Abdul Mirza, Katherine Roberson, Floyd Saner, Abdallah Tubaishat: Knowledge Engineering for Automated Program Recognition and Fault Localization. 85-91 BibTeX
• Richard Fox, Christian Bilke, James Mendoza: Automating the Debugging Process of Pascal Syntax Errors. 92-99 BibTeX

Data Mining

• Chia-Yo Chang, Jason Tsong-Li Wang: Scientific Data Mining: A Case Study. 100-107 BibTeX
• Suk-Chung Yoon, Lawrence J. Henschen: Finding Interesting Knowledge in Object-Oriented Frameworks for Semantic Query Optimization. 108-115 BibTeX
• Scott A. Starks: Development of a Software Architecture for the Analysis of Geographic and Image-Based Data. 116-120 BibTeX

Decision Support

• Daniela Rosca, J. Christian Wild: Business Rules in the Real World: A Decision Support Approach. 121-128 BibTeX
• Owusu-Ansah Agyapong, Patrick O. Bobbie: Eliciting Domain Knowledge for Decision Support: A Case Study in the Criminal Justice System. 129-135 BibTeX

Specification I

• Valdis Berzins: Recombining Changes to Software Specifications. 136-144 BibTeX
• Vladimir P. Sliva, Tadao Murata, Sol M. Shatz: A Method for Applying G-Nets To Communication Protocols. 145-152 BibTeX
• David Stuart Robertson: An Empirical Study of the LSS Specification Toolkit in Use. 153-160 BibTeX

Knowledge Engineering in Software Engineering

• Luis Montero, Colin T. Scott: The Role of Knowledge Acquisition in Component Based System Construction. 161-170 BibTeX
• Naoko Izumi, Takuya Katayama: An Object Logic for Object Base Capable of Version Management. 171-180 BibTeX
• C. Chandra, C. V. Ramamoorthy: An Evaluation of Knowledge Engineering Approaches to the Maintenance of Evolutionary Software. 181-188 BibTeX

Specification II

• Luqi: Specifications in Software Prototyping. 189-197 BibTeX
• Francoise Balmas: ACL: a Tool for Conceptual Programming. 198-205 BibTeX
• David Robertson: Domain Specific Problem Description. 206-213 BibTeX

Code Reengineering I

• Gerardo Canfora, Andrea De Lucia, Malcolm Munro: An Integrated Environment for Reuse Reengineering C Code. 214-221 BibTeX
• Byung-Kyoo Kang, James M. Bieman: Using Design Cohesion to Visualize, Quantify, and Restructure Software. 222-229 BibTeX
• F. Cutillo, Giuseppe Visaggio: Managing a Software System and Keeping it Internally Consistent During its Evolution. 230-237 BibTeX

Agents

• W. David Hurley: Identifying Language Requirements for Specifying Industrial-Strength Software Agents. 238-245 BibTeX
• Han Gyoo Kim, Young-Chul Shim, Moon-hae Kim: Relationship Between Communication Capability and Goal Achievement in System of Agents. 246-252 BibTeX
• Evandro de Barros Costa, Angelo Perkusich, Jorge C. A. de Figueiredo: A Multi-Agent Based Environment to Aid in the Design of Petri Nets Based Software Systems. 253-260 BibTeX

Debugging II

• Hai Huang, Wei-Tek Tsai, Satish Subramanian: Generalized Program Slicing for Software Maintenance. 261-268 BibTeX
• Aggie Y. Sun, Bruce M. McMillin: Wheels: An Automated Program Analysis Tool. 269-276 BibTeX
• Gerardo Canfora, Aniello Cimitile, Giuseppe A. Di Lucca: Recovering a Conceptual Data Model from COBOL Code. 277-284 BibTeX

Multimedia I

• Cyril U. Orji, Kingsley C. Nwosu: Data Layout for Interactive Video-on-Demand Storage Systems. 285-292 BibTeX
• Darrell D. E. Long, Patrick E. Mantey, Eric C. Rosen, Craig M. Wittenbrink: REINAS: A Real-time System for Managing Environmental Data. 293-300 BibTeX
• Isidore Rigoutsos, Alex Delis: The Impact of Hashing Function Choice on the Load Balancing in Very Large Dartasets. 301-308 BibTeX

Process II

• Chye-Lin Chee, Stan Jarzabek, C. V. Ramamoorthy: An Intelligent Process for Formulating and Anwering Project Queries. 309-316 BibTeX
• Raymond A. Paul, Azam Khan, Arif Ghafoor, Young Francis Day, Yoshihisa Shinagawa: A Visual Query Interface for Software Metrics Databases. 317-322 BibTeX
• Dick B. Simmons, Newton C. Ellis, Way Kuo: Software Process Agents. 323-329 BibTeX

Testing/Verification/Maintenance II

• Pei Hsia, Xiaolin Li, David Chenho Kung: An Early Warning Approach for Method Sequence Testing. 330-337 BibTeX
• Ann Q. Gates: On Defining a Class of Integrity Constraints. 338-344 BibTeX
• Swapna S. Gokhale, Peter N. Marinos, Kishor S. Trivedi: Important Milestones in Software Reliability Modeling. 345-352 BibTeX

Code Reenigneering II

• Oliver Karall, Stefan Biffl: Case Study: EasyCODE - A Language Independent Visualization Tool for Reengineering. 353-360 BibTeX
• Francoise Balmas: PRISME: Formalizing Programming Strategies as a Way to Understand Programs. 361-368 BibTeX
• Yamin Wang, Wei-Tek Tsai, Xiaoping Chen, Sanjai Rayadurgam: The Role of Program Slicing in Ripple Effect Analysis. 369-376 BibTeX

Requirements I

• Xiaoqing Frank Liu: A Quantitative Approach for Assessing the Priorities of Software Quality Requirements. 377-384 BibTeX
• Paolo Ciancarini, Stelvio Cimato, Cecilia Mascolo: Engineering Formal Requirements: Analysis and Testing. 385-392 BibTeX
• Ziaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert: Verification Criterion Directed Testing for Formal Specifications. 393-399 BibTeX

Concurrency I

• Douglas Foxvog, Tapio Taipale: Variable Depth Resolution for Intelligent Real-Time Systems. 400-407 BibTeX
• Yi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist: A Formalism for Architectural Modeling of Distributed Real-Time Systems. 408-417 BibTeX
• Vijay K. Garg: Observation of Global Properties in Distributed Systems. 418-425 BibTeX

Code Reengineering III

• W. Morven Gentleman: Challenges in Deploying Software: Rollout, Field Support, Upgrades. 426-433 BibTeX
• Roland Mittermeir, Lydia G. Würfl: Greedy Reuse: Architectural Considerations for Extending the Reusability of Components. 434-441 BibTeX
• Doris L. Carver: Reverse Engineering Procedural Code for Object Recovery. 442-449 BibTeX

Requirements II

• Heinz-Dieter Knöll, Thomas Slotos, Wolfgang Suk: Quality Assurance of Specification - The Users Point of View. 450-456 BibTeX
• Jiafu Xu, Hong Zhu: Requirements Analysis and Specification as a Problem of Software Automation. 457-464 BibTeX
• Ilham Alloui, Flávio Oquendo: Peace+: A Multi-Agent System for Computer-supported Cooperative work in Software Process Centered Environments. 465-473 BibTeX

Concurrency II

• Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka: A Theory of Testing for Soft Real-Time Processes. 474-479 BibTeX
• Bernd J. Krämer, Thomas Koch: Knowledge-Based Support for Distributed Systems Management. 480-487 BibTeX
• Ravi Prakash, Mukesh Singhal: A Dynamic Apporach Towards Location Management in Mobile Computing Systems. 488-495 BibTeX

Panel - Intelligent Integration of Information

SW Visualization I

• Verena Giller, Günter Haring, Manfred Tscheligi: Scriptless Behaviour Definition of Visual Objects. 499-505 BibTeX
• Tim Menzies: Visual Programming, Knowledge Engineering, and Software Engineering. 506-513 BibTeX
• Kang Zhang, Da-Qian Zhang: Developing Visual Languages Through an Evolving Method. 514-521 BibTeX

Concurrency III

• K. H. Kim: Towards Designing RTO.k Structured Server Objects with Service Time Guarantee. 522-528 BibTeX
• Kevin L. Mills, Hassan Gomaa: A Knowledge-based Approach for Automating a Design Method for Concurrent and Real-Time Systems. 529-536 BibTeX

Multimedia II

• P. Bruce Berra, Seong-Joon Yoo, Yong Kyu Lee, Kyoungro Yoon: Version Management in Structured Document Retrieval Systems. 537-544 BibTeX
• Dong-Keun Shin: The Theory of Massive Cross-Referencing. 454-552 BibTeX

Visualization II

• Shi-Kuo Chang, Piero Mussio: Customized Visual Language Design. 553-562 BibTeX
• George Jyh-Shian Chang, Jason Tsong-Li Wang, Gung-Wei Chirn, Chia-Yo Chang, Weihong Wu, Firas Aljallad: A Visualization Tool for Pattern Matching and Discovery in Scientific Databases. 563-570 BibTeX

Multimedia III

• Peter S. Guilfoyle, John M. Hessenbruch, Richard V. Stone, P. Bruce Berra: Implementation of Selected Data/Knowledge-Base Algorithms on a Digital Optoelectronic Processor. 571-576 BibTeX
• Soochan Hwang, Sang-Young Cho, Taehyung Wang, Phillip C.-Y. Sheu: A Fast 3-D Visualization Methodology Using Characteristic Views of Objects. 577-584 BibTeX

Human Interfaces

• Rolf Adams, Hans Weigand: Generating Natural Language Interfaces for Terminological Knowledge Representation Systems. 585-594 BibTeX
• Wlodek Zadrozny: Natural Language Processing: Structure and Complexity. 595-602 BibTeX