Proceedings of the First International Conference on Software Engineering and Knowledge Engineering
SEKE, 1989.

@proceedings{SEKE-1989,
	address       = "Skokie, USA",
	publisher     = "{Knowledge Systems Institute}",
	title         = "{Proceedings of the First International Conference on Software Engineering and Knowledge Engineering}",
	year          = 1989,
}

Contents (32 items)

4 ×#design
4 ×#query
4 ×#specification
3 ×#modelling
2 ×#automation
2 ×#compilation
2 ×#concept
2 ×#concurrent
2 ×#database
2 ×#hybrid

SEKE-1989-YinYT #design #knowledge-based #process

Design Activity Agent: A Knowledge-Based Software Design Environment (WPY, DYYY, MMT), pp. 1–8.

SEKE-1989-Cooke #design #proving

Proving Properties of Software Design Methods (DEC), pp. 9–12.

SEKE-1989-ChangCCB #branch #generative #testing

An Intelligent Test Data Generator for Software Branch Coverage (KHC, JHCI, WHC, DBB), pp. 13–18.

SEKE-1989-YangC #ada #concurrent #testing

Testing Concurrent Ada Program with Reproducible Test Cases (RDY, CGC), pp. 19–24.

SEKE-1989-ReynoldsMP #compilation #metric #named

PM: A Metrics Driven Plan Compiler (RGR, JIM, SEP), pp. 25–30.

SEKE-1989-Newcomb #architecture #development #integration #knowledge base

Architecture of the Knowledge Integration Tocl: A Knowledge Based System Development Environment (PN), pp. 31–37.

SEKE-1989-LiaoKL #automation #cobol

Knowledge Represen1ation in Automatic COBOL Programmer (HSL, AK, RCL), pp. 38–41.

SEKE-1989-WongW #hybrid #information management #representation

Object Formation in A Hybrid Knowledge Representation (STCW, JLW), pp. 42–47.

SEKE-1989-AsdjodiH #reuse #usability

An Environment for Software Reusability (MA, JWH), pp. 48–53.

SEKE-1989-Chen #reuse

Rule Mapping and Expert Systems Reuse (ZC), pp. 54–57.

SEKE-1989-Thanawala #specification

Requirement Specifications For The AT8T 5ESS(R) Switch (RCT), p. 58.

SEKE-1989-Anderson #design

Software Design for the 5ESS(R) Switch (LGA), p. 59.

SEKE-1989-Meyers #performance #verification

Performance Verification of the AT&T 5ESSOR Switch (MNM), p. 60.

SEKE-1989-LiRPS #execution #hybrid #modelling #paradigm #simulation

A Hybrid Modeling Paradigm for Simulating Existing Software and Its Execution Environment (XL, AR, RP, JS), pp. 61–66.

SEKE-1989-FanH #complexity #metric

A Comprehensive Software Complexity Metric for Primitive Modules (ZF, JMH), pp. 67–72.

SEKE-1989-LeaC #agile #prototype

A Two-Level Model for Software Rapid Prototyping (RJL, CGC), pp. 73–78.

SEKE-1989-MohanK #abstraction #modelling #object-oriented #representation

Abstractions in Object-oriented Data Models: A Formalized Representation Scheme (LM, RLK), pp. 79–84.

SEKE-1989-ChenC

Assignment of Objects in a Dual Processor System with Limited Objects (HLC, SKC), pp. 85–92.

SEKE-1989-ChengHH #object-oriented #programming #visual notation

Visual Programming in Object-oriented Style (KYC, WHH, MSH), pp. 93–97.

SEKE-1989-Smyrniotis

Imagery Analyst’s Assistant (CS), pp. 98–103.

SEKE-1989-WangPT #design #knowledge-based

A Knowledge-based System for Engineering Design (SLW, STP, TLT), pp. 104–109.

SEKE-1989-TsaiYLCH #analysis #specification

Knowledge-oriented Specification Analysis and Transformation (STT, CCY, CCL, STC, CHH), pp. 110–115.

SEKE-1989-HeL #logic #petri net #specification

Deriving Temporal Logic Specifications from Predicate Transition Petri Net (XH, JANL), pp. 116–121.

SEKE-1989-MurataY #petri net #realtime #rule-based

Petri Net Method for Real-Time Control of Rule-Based Systems (TM, JY), pp. 122–127.

SEKE-1989-PanYC #concept #modelling #requirements

Conceptual Modeling of Software Requirements (MJP, CCY, PLC), pp. 128–133.

SEKE-1989-Tang #automation #concurrent #infinity #source code #verification

Temporal Theory for Automatic Verification of Infinite State Concurrent Programs (TGT), pp. 134–139.

SEKE-1989-Czejdo #database #query #recursion #specification #using

Recursive Query Specification Using Nested Databases (BDC), pp. 140–145.

SEKE-1989-ChenTY #optimisation #prolog #query #semantics

Semantic Query Optimization and Prolog (JTC, CRT, WPY), pp. 146–151.

SEKE-1989-WangS #database #query

A Form-based Pictorial Query Language For Pictorial Database (JW, QYS), pp. 152–157.

SEKE-1989-WuCZT #identification #morphism #novel #query #subclass

A Novel Way 1o Identify IneguaIity Query Subclasses Which possess the Homomorphism Property (TW, JLC, NZ, KT), pp. 158–163.

SEKE-1989-HanHZ #compilation #set

Derivation of Magic Sets by Compilation (JH, LJH, NZ), pp. 164–171.

SEKE-1989-WeideD #concept #process #re-engineering

Conceptualizing the Software Engineering Process (BWW, SD), p. 172–?.