Proceedings of the First 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 First International Conference on Software Engineering and Knowledge Engineering
SEKE, 1989.

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

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–?.

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.