Bruce Johnson, Mehdi Harandi, Bill Sasso
Proceedings of the Eighth Annual Knowledge-Based Software Engineering Conference
KBSE, 1993.

@proceedings{KBSE-1993,
	editor        = "Bruce Johnson and Mehdi Harandi and Bill Sasso",
	title         = "{Proceedings of the Eighth Annual Knowledge-Based Software Engineering Conference}",
	year          = 1993,
}

Event page: http://www.ase-conferences.org/ase/past/kbse-8.program.txt

Contents (26 items)

4 ×#approach
4 ×#knowledge-based
4 ×#named
3 ×#design
3 ×#knowledge base
3 ×#process
3 ×#re-engineering
3 ×#reuse
3 ×#synthesis
3 ×#tutorial

KBSE-1993-Johnson #knowledge-based #overview #re-engineering

A Survey of Knowledge-Based Software Engineering (WLJ), p. 1.

KBSE-1993-Smith #algorithm #named #synthesis

KIDS: An Algorithm Synthesis System (DRS), p. 2.

KBSE-1993-Scacchi #approach #knowledge-based #process

A Knowledge-Based Approach To Software Process Engineering (WS), p. 3.

KBSE-1993-Jr. #development #research #scalability

A researcher’s view of life in a large software development environment (ESJ), p. 4.

KBSE-1993-KorelskyMR #automation #generative #project management #requirements

Knowledge Requirements for the Automatic Generation of Project Management Reports (TK, DM, OR), p. 5.

KBSE-1993-JulligS #diagrams #synthesis

Diagrams for Software Synthesis (RJ, YS), p. 6.

KBSE-1993-SmithS #design #synthesis #towards

Towards Supporting Design Phase Synthesis (TES, DES), p. 7.

KBSE-1993-Hall #rule-based #validation

Validation of Rule-based Reactive Systems by Sound Scenario Generalization (RJH), p. 8.

KBSE-1993-Benner #component #simulation

The ARIES Simulation Component (ASC) (KMB), p. 9.

KBSE-1993-ZeilW #knowledge base #refinement #testing

A Knowledge Base for Software Test Refinement (SJZ, CW), p. 10.

KBSE-1993-Myloupolos #modelling #process

Modeling Processes (JM), p. 11.

KBSE-1993-SmithP #approach #scheduling

Transformational Approach to Transportation Scheduling (DS, EAP), p. 12.

KBSE-1993-SrinivasanS #framework #knowledge base

A Knowledge Based Framework for Developing and Customizing Schedulers (VS, LS), p. 13.

KBSE-1993-MiS #approach #named #process

Articulation: An Integrated Approach to the Diagnosis, Replanning, and Rescheduling of Software Process Failures (PM, WS), p. 14.

KBSE-1993-Lutz #knowledge base

The Knowledge Base Maintenace Assistant (EL), p. 15.

KBSE-1993-JohnsonNB #design #interactive

Interactive Elaboration of Generic Designs (WLJ, KN, RB), p. 16.

KBSE-1993-BhatM #evolution #specification

Operation for Evolving Specifications (SB, KM), p. 17.

KBSE-1993-Feather #bound #implementation

An Implementation of Bounded Obligations (MSF), p. 18.

KBSE-1993-BailesCGP #execution #named #specification

GRIT — An Extended Refine for More Executable Specifications (PB, MC, MG, IP), p. 19.

KBSE-1993-MacMillanFLLS #architecture #natural language #reuse #tool support #using

A Common Architecture to Encourage Reuse of Natural Language/Text Processing Tools (TRM, MF, SL, EPL, LJS), p. 20.

KBSE-1993-PerryP #named #reuse

INQUIRE: Predicate-Based Use and Reuse (DEP, SSP), p. 21.

KBSE-1993-LeeH #design #retrieval #reuse

An Analogy-Based Retrieval Mechanism for Software Design Reuse (HYL, MTH), p. 22.

KBSE-1993-DrummondHI #automation

Accelerating Browsing By Automatically Inferring A User’s Search Goal (CD, RH, DI), p. 23.

KBSE-1993-Redmiles #empirical #knowledge-based #re-engineering #using

Observations on Using Empirical Studies in Developing a Knowledge-Based Software Engineering Tool (DFR), p. 24.

KBSE-1993-BailorYK #empirical #knowledge-based #re-engineering

An Experiment in Applying Knowledge-Based Software Engineering Technology (PDB, FCDY, KK), p. 25.

KBSE-1993-KingstonVD #approach #development #evaluation #hybrid #using

Development of an Expert Assistant for Software Evaluation using a Hybrid Approach (GK, RV, PD), p. 26.