Software Engineering and Knowledge Engineering 1996 (original) (raw)

default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches
• 

Venues:

• no matches
• 

Publications:

• no matches
• 

8th SEKE 1996: Lake Tahoe, Nevada, USA

• 

• 

• 

• 

• 
  jump to

  • Testing/Verification/Maintenance I
  • Debugging I
  • Specification I
  • Code Reengineering I
  • Multimedia I
  • Code Reenigneering II
  • Code Reengineering III
  • Panel - Intelligent Integration of Information
  • Multimedia II
  • Human Interfaces

• 

• > Home > Conferences and Workshops > SEKE

SPARQL queries

⚠

Please note that none of the items listed on this page have a DOI stored with their dblp record. Therefore, DOI-based queries won't return any results.

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

• 
  • 
  • 
  • 
  • 
    The 8th International Conference on Software Engineering and Knowledge Engineering, SEKE '96, Lake Tahoe, Nevada, USA, June 10-12, 1996. Knowledge Systems Institute 1996, ISBN 0-9641699-3-2

Testing/Verification/Maintenance I

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

Modeling

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

Process I

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

Debugging I

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

Data Mining

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

Decision Support

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

Specification I

• 
  • 
  • 
  • 
  • 
    Valdis Berzins:
    Recombining Changes to Software Specifications. SEKE 1996: 136-144
• 
  • 
  • 
  • 
  • 
    Vladimir P. Sliva, Tadao Murata, Sol M. Shatz:
    A Method for Applying G-Nets To Communication Protocols. SEKE 1996: 145-152
• 
  • 
  • 
  • 
  • 
    David Stuart Robertson:
    An Empirical Study of the LSS Specification Toolkit in Use. SEKE 1996: 153-160
• 
  • 
  • 
  • 
  • 
    Luis Montero, Colin T. Scott:
    The Role of Knowledge Acquisition in Component Based System Construction. SEKE 1996: 161-170
• 
  • 
  • 
  • 
  • 
    Naoko Izumi, Takuya Katayama:
    An Object Logic for Object Base Capable of Version Management. SEKE 1996: 171-180
• 
  • 
  • 
  • 
  • 
    Charu Chandra, C. V. Ramamoorthy:
    An Evaluation of Knowledge Engineering Approaches to the Maintenance of Evolutionary Software. SEKE 1996: 181-188

Specification II

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

Code Reengineering I

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

Agents

• 
  • 
  • 
  • 
  • 
    W. David Hurley:
    Identifying Language Requirements for Specifying Industrial-Strength Software Agents. SEKE 1996: 238-245
• 
  • 
  • 
  • 
  • 
    Han Gyoo Kim, Young-Chul Shim, Moon-hae Kim:
    Relationship Between Communication Capability and Goal Achievement in System of Agents. SEKE 1996: 246-252
• 
  • 
  • 
  • 
  • 
    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. SEKE 1996: 253-260

Debugging II

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

Multimedia I

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

Process II

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

Testing/Verification/Maintenance II

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

Code Reenigneering II

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

Requirements I

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

Concurrency I

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

Code Reengineering III

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

Requirements II

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

Concurrency II

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

Panel - Intelligent Integration of Information

SW Visualization I

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

Concurrency III

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

Multimedia II

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

Visualization II

• 
  • 
  • 
  • 
  • 
    Shi-Kuo Chang, Piero Mussio:
    Customized Visual Language Design. SEKE 1996: 553-562
• 
  • 
  • 
  • 
  • 
    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. SEKE 1996: 563-570

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. SEKE 1996: 571-576
• 
  • 
  • 
  • 
  • 
    Soochan Hwang, Sang-Young Cho, Taehyung Wang, Phillip C.-Y. Sheu:
    A Fast 3-D Visualization Methodology Using Characteristic Views of Objects. SEKE 1996: 577-584

Human Interfaces

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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

dblp was originally created in 1993 at:

since 2018, dblp has been operated and maintained by: