Proceedings of the Eighth International Conference on Software Engineering and Knowledge Engineering
SEKE, 1996.

@proceedings{SEKE-1996,
	address       = "Lake Tahoe, Nevada, USA",
	isbn          = "0-9641699-3-2",
	publisher     = "{Knowledge Systems Institute}",
	title         = "{Proceedings of the Eighth International Conference on Software Engineering and Knowledge Engineering}",
	year          = 1996,
}

Contents (76 items)

8 ×#specification
7 ×#process
7 ×#testing
6 ×#design
6 ×#information management
5 ×#approach
5 ×#automation
5 ×#named
5 ×#realtime
5 ×#visual notation

SEKE-1996-MagelZ #data type #testing

Data Structure Coverage Testing (KIM, PZ), pp. 1–8.

SEKE-1996-LiaoCSC #object-oriented #source code #specification #testing

Testing Object-Oriented Programs Based on Usage Profiles and Formal Specifications (SSL, KHC, SBS, CYC), pp. 9–16.

SEKE-1996-JamoussiB #generative #monte carlo #performance #random testing #testing

Efficient Monte Carlo Method for Generating Random Test Data from Irregular Test Regions (AJ, FBB), pp. 17–24.

SEKE-1996-CorellaK #authoring #named #paradigm #spreadsheet

Expertsheets: A Spreadsheet Paradigm for Authoring Expert Systems (FC, MK), pp. 25–31.

SEKE-1996-Franca #c++ #design #education #library #object-oriented #programming

The Design of a Class Library to Support Teaching of Object Oriented Programming with C++ (PBF), pp. 32–37.

SEKE-1996-Hassanein

Class Hierarchy Management System (EH), pp. 38–44.

SEKE-1996-Debenham #reduction

Reduction of a Knowledge Model (JKD), pp. 45–50.

SEKE-1996-ChenKPS #development #hybrid #information management #process

The Development of Hybrid Information Systems: a Process Model an Methodology (XC, SK, IP, PS), pp. 51–58.

SEKE-1996-VerlageDMM #process #synthesis

A Synthesis of Two Process Support Approaches (MV, BD, FM, JM), pp. 59–68.

SEKE-1996-ChangDC #approach #fuzzy #metric #usability #using

Measurement of Usability of Software Using a Fuzzy Systems Approach (EC, TSD, DC), pp. 69–76.

SEKE-1996-LawM #debugging #object-oriented

Debugging of Object-Oriented Software (RCHL, RBM), pp. 77–84.

SEKE-1996-BurnsteinMRST #automation #fault #information management #locality #recognition

Knowledge Engineering for Automated Program Recognition and Fault Localization (IB, AM, KR, FS, AT), pp. 85–91.

SEKE-1996-FoxBM #automation #debugging #fault #pascal #process #syntax

Automating the Debugging Process of Pascal Syntax Errors (RF, CB, JM), pp. 92–99.

SEKE-1996-ChangW #case study #data mining #mining

Scientific Data Mining: A Case Study (CYC, JTLW), pp. 100–107.

SEKE-1996-YoonH #framework #object-oriented #optimisation #query #semantics

Finding Interesting Knowledge in Object-Oriented Frameworks for Semantic Query Optimization (SCY, LJH), pp. 108–115.

SEKE-1996-Starks #analysis #architecture #development

Development of a Software Architecture for the Analysis of Geographic and Image-Based Data (SAS), pp. 116–120.

SEKE-1996-RoscaW #approach

Business Rules in the Real World: A Decision Support Approach (DR, JCW), pp. 121–128.

SEKE-1996-AgyapongB #case study #elicitation

Eliciting Domain Knowledge for Decision Support: A Case Study in the Criminal Justice System (OAA, POB), pp. 129–135.

SEKE-1996-Berzins #specification

Recombining Changes to Software Specifications (VB), pp. 136–144.

SEKE-1996-SlivaMS #communication #protocol

A Method for Applying G-Nets To Communication Protocols (VPS, TM, SMS), pp. 145–152.

SEKE-1996-Robertson #empirical #specification #tool support

An Empirical Study of the LSS Specification Toolkit in Use (DSR), pp. 153–160.

SEKE-1996-MonteroS #component #information management

The Role of Knowledge Acquisition in Component Based System Construction (LM, CTS), pp. 161–170.

SEKE-1996-IzumiK #logic

An Object Logic for Object Base Capable of Version Management (NI, TK), pp. 171–180.

SEKE-1996-ChandraR #evaluation #information management #maintenance

An Evaluation of Knowledge Engineering Approaches to the Maintenance of Evolutionary Software (CC, CVR), pp. 181–188.

SEKE-1996-Luqi #prototype #specification

Specifications in Software Prototyping (L), pp. 189–197.

SEKE-1996-Balmas #concept #named #programming

ACL: a Tool for Conceptual Programming (FB), pp. 198–205.

SEKE-1996-Robertson96a #problem

Domain Specific Problem Description (DR), pp. 206–213.

SEKE-1996-CanforaLM #c #ide #re-engineering #reuse

An Integrated Environment for Reuse Reengineering C Code (GC, ADL, MM), pp. 214–221.

SEKE-1996-KangB #design #using #visualisation

Using Design Cohesion to Visualize, Quantify, and Restructure Software (BKK, JMB), pp. 222–229.

SEKE-1996-CutilloV #consistency #evolution

Managing a Software System and Keeping it Internally Consistent During its Evolution (FC, GV), pp. 230–237.

SEKE-1996-Hurley #identification #requirements #specification

Identifying Language Requirements for Specifying Industrial-Strength Software Agents (WDH), pp. 238–245.

SEKE-1996-KimSK #communication

Relationship Between Communication Capability and Goal Achievement in System of Agents (HGK, YCS, MhK), pp. 246–252.

SEKE-1996-CostaPF #design #multi #petri net

A Multi-Agent Based Environment to Aid in the Design of Petri Nets Based Software Systems (EdBC, AP, JCAdF), pp. 253–260.

SEKE-1996-HuangTS #maintenance #slicing

Generalized Program Slicing for Software Maintenance (HH, WTT, SS), pp. 261–268.

SEKE-1996-SunM #automation #named #program analysis

Wheels: An Automated Program Analysis Tool (AYS, BMM), pp. 269–276.

SEKE-1996-CanforaCL #cobol #concept

Recovering a Conceptual Data Model from COBOL Code (GC, AC, GADL), pp. 277–284.

SEKE-1996-OrjiN #interactive #layout #on-demand

Data Layout for Interactive Video-on-Demand Storage Systems (CUO, KCN), pp. 285–292.

SEKE-1996-LongMRW #named #realtime

REINAS: A Real-time System for Managing Environmental Data (DDEL, PEM, ECR, CMW), pp. 293–300.

SEKE-1996-RigoutsosD #scalability

The Impact of Hashing Function Choice on the Load Balancing in Very Large Dartasets (IR, AD), pp. 301–308.

SEKE-1996-CheeJR #process #query

An Intelligent Process for Formulating and Anwering Project Queries (CLC, SJ, CVR), pp. 309–316.

SEKE-1996-PaulKGDS #database #interface #metric #query #visual notation

A Visual Query Interface for Software Metrics Databases (RAP, AK, AG, YFD, YS), pp. 317–322.

SEKE-1996-SimmonsEK #process

Software Process Agents (DBS, NCE, WK), pp. 323–329.

SEKE-1996-HsiaLK #approach #sequence #testing

An Early Warning Approach for Method Sequence Testing (PH, XL, DCK), pp. 330–337.

SEKE-1996-Gates #constraints #on the

On Defining a Class of Integrity Constraints (AQG), pp. 338–344.

SEKE-1996-GokhaleMT #modelling #reliability

Important Milestones in Software Reliability Modeling (SSG, PNM, KST), pp. 345–352.

SEKE-1996-KarallB #case study #independence #re-engineering #visualisation

Case Study: EasyCODE — A Language Independent Visualization Tool for Reengineering (OK, SB), pp. 353–360.

SEKE-1996-Balmas96a #formal method #named #programming #source code

PRISME: Formalizing Programming Strategies as a Way to Understand Programs (FB), pp. 361–368.

SEKE-1996-WangTCR #analysis #slicing

The Role of Program Slicing in Ripple Effect Analysis (YW, WTT, XC, SR), pp. 369–376.

SEKE-1996-Liu #approach #quality #requirements

A Quantitative Approach for Assessing the Priorities of Software Quality Requirements (XFL), pp. 377–384.

SEKE-1996-CiancariniCM #analysis #requirements #testing

Engineering Formal Requirements: Analysis and Testing (PC, SC, CM), pp. 385–392.

SEKE-1996-ZengTW #specification #testing #verification

Verification Criterion Directed Testing for Formal Specifications (ZZ, JJPT, TJW), pp. 393–399.

SEKE-1996-FoxvogT #realtime

Variable Depth Resolution for Intelligent Real-Time Systems (DF, TT), pp. 400–407.

SEKE-1996-DengDAE #architecture #distributed #modelling #realtime

A Formalism for Architectural Modeling of Distributed Real-Time Systems (YD, WD, PCA, ME), pp. 408–417.

SEKE-1996-Garg #distributed

Observation of Global Properties in Distributed Systems (VKG), pp. 418–425.

SEKE-1996-Gentleman #challenge

Challenges in Deploying Software: Rollout, Field Support, Upgrades (WMG), pp. 426–433.

SEKE-1996-MittermeirW #architecture #component #reuse #usability

Greedy Reuse: Architectural Considerations for Extending the Reusability of Components (RM, LGW), pp. 434–441.

SEKE-1996-Carver #reverse engineering

Reverse Engineering Procedural Code for Object Recovery (DLC), pp. 442–449.

SEKE-1996-KnollSS #assurance #perspective #quality #specification

Quality Assurance of Specification — The Users Point of View (HDK, TS, WS), pp. 450–456.

SEKE-1996-Shin #formal method

The Theory of Massive Cross-Referencing (DKS), pp. 454–552.

SEKE-1996-XuZ #analysis #automation #problem #requirements #specification

Requirements Analysis and Specification as a Problem of Software Automation (JX, HZ), pp. 457–464.

SEKE-1996-AllouiO #multi #process

Peace+: A Multi-Agent System for Computer-supported Cooperative work in Software Process Centered Environments (IA, FO), pp. 465–473.

SEKE-1996-CleavelandLLS #formal method #process #realtime #testing

A Theory of Testing for Soft Real-Time Processes (RC, IL, PML, SAS), pp. 474–479.

SEKE-1996-KramerK #distributed #knowledge-based

Knowledge-Based Support for Distributed Systems Management (BJK, TK), pp. 480–487.

SEKE-1996-PrakashS #mobile #towards

A Dynamic Apporach Towards Location Management in Mobile Computing Systems (RP, MS), pp. 488–495.

SEKE-1996-GillerHT #behaviour #visual notation

Scriptless Behaviour Definition of Visual Objects (VG, GH, MT), pp. 499–505.

SEKE-1996-Menzies #information management #programming #re-engineering #visual notation

Visual Programming, Knowledge Engineering, and Software Engineering (TM), pp. 506–513.

SEKE-1996-ZhangZ #evolution #visual notation

Developing Visual Languages Through an Evolving Method (KZ, DQZ), pp. 514–521.

SEKE-1996-Kim #design #towards

Towards Designing RTO.k Structured Server Objects with Service Time Guarantee (KHK), pp. 522–528.

SEKE-1996-MillsG #approach #automation #concurrent #design #knowledge-based #realtime

A Knowledge-based Approach for Automating a Design Method for Concurrent and Real-Time Systems (KLM, HG), pp. 529–536.

SEKE-1996-BerraYLY #documentation #retrieval

Version Management in Structured Document Retrieval Systems (PBB, SJY, YKL, KY), pp. 537–544.

SEKE-1996-ChangM #design #visual notation

Customized Visual Language Design (SKC, PM), pp. 553–562.

SEKE-1996-ChangWCCWA #database #pattern matching #visualisation

A Visualization Tool for Pattern Matching and Discovery in Scientific Databases (GJSC, JTLW, GWC, CYC, WW, FA), pp. 563–570.

SEKE-1996-GuilfoyleHSB #algorithm #implementation #knowledge base

Implementation of Selected Data/Knowledge-Base Algorithms on a Digital Optoelectronic Processor (PSG, JMH, RVS, PBB), pp. 571–576.

SEKE-1996-HwangCWS #3d #performance #using #visualisation

A Fast 3-D Visualization Methodology Using Characteristic Views of Objects (SH, SYC, TW, PCYS), pp. 577–584.

SEKE-1996-AdamsW #generative #information management #interface #natural language #representation

Generating Natural Language Interfaces for Terminological Knowledge Representation Systems (RA, HW), pp. 585–594.

SEKE-1996-Zadrozny #complexity #natural language

Natural Language Processing: Structure and Complexity (WZ), pp. 595–602.