Proceedings of the Eighth International Conference on Software Engineering and Knowledge Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter


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

KER
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.