W. Lewis Johnson
Proceedings of the Seventh Annual Knowledge-Based Software Engineering Conference
KBSE, 1992.

@proceedings{KBSE-1992,
	editor        = "W. Lewis Johnson",
	title         = "{Proceedings of the Seventh Annual Knowledge-Based Software Engineering Conference}",
	year          = 1992,
}

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

Contents (26 items)

7 ×#knowledge-based
6 ×#design
5 ×#reuse
4 ×#automation
4 ×#development
3 ×#named
3 ×#re-engineering
3 ×#specification
3 ×#synthesis
2 ×#concept

KBSE-1992-SolderitschY #knowledge base #reuse #tool support

Knowledge Based Software Reuse Methods and Tools: DoD STARS RLF Technology (JS, DY), p. 1.

KBSE-1992-Setliff #automation #programming

Automatic Programming (DES), p. 2.

KBSE-1992-Kant #knowledge base #programming

Knowledge Based Support for Scientific Programming (EK), p. 3.

KBSE-1992-GravesLM #empirical #synthesis

A Code Synthesis Experiment (HG, JL, TM), p. 4.

KBSE-1992-SetliffS #constraints #knowledge-based #synthesis

Knowledge-Based Constraint-Driven Software Synthesis (DES, TES), p. 5.

KBSE-1992-YamanouchiSTTTW #synthesis

Software Synthesis Shell SOFTEX/S (TY, AS, MT, HT, JT, MW), p. 6.

KBSE-1992-AlmeidaRRA #specification

Transformation of a Semi-formal Specification to VDM (JD, AR, TR, VA), p. 7.

KBSE-1992-LedruL #prototype #specification

Prototyping VDM Specifications with KIDS (YL, MHL), p. 8.

KBSE-1992-Novak #clustering #reuse

Software Reuse through View Type Clusters (GSN), p. 15.

KBSE-1992-MatwinB #database #query #reuse

Reusing Database Queries in Analogical Domains (SM, HOB), p. 16.

KBSE-1992-FouqueM #automation #named #reuse

Caesar: A System for CAse basEd SoftwAre Reuse (GF, SM), p. 17.

KBSE-1992-BhansaliN #architecture #design #reuse

Software Design by Reusing Architectures (SB, HPN), p. 18.

KBSE-1992-MaidenS #abstraction #approach #requirements

Domain Abstractions in Requirements Engineering: A Exemplar Approach (NM, AS), p. 19.

KBSE-1992-MiLS #development #knowledge-based #library #process

A Knowledge-based Software Process Library for Process-driven Software Development (PM, MJL, WS), p. 20.

KBSE-1992-Jarke #configuration management #re-engineering #towards

Towards a Logic-Based Reconstruction of Software Configuration Management (MJ), p. 21.

KBSE-1992-Terwilliger #design #process #simulation

Simulating the Gries/Dijkstra Design Process (RBT), p. 22.

KBSE-1992-Feather #design #distributed

Explorations on the Formal Frontier of Distributed System Design (MSF), p. 23.

KBSE-1992-Selfridge #design #development #scalability

Managing Design Knowledge to Provide Assistance to Large-Scale Software Development (PGS), p. 24.

KBSE-1992-Liao #execution #on the #performance

On Efficiently Computing Derived Performance Data of Program Execution (YL), p. 25.

KBSE-1992-CohenC #automation #composition #data type

Automatic Composition of Data Structures to Represent Relations (DC, NC), p. 26.

KBSE-1992-KellerR #development #knowledge-based

A Knowledge-based Software Development Environment for Scientific Model-building (RK, MR), p. 27.

KBSE-1992-KotikM #knowledge-based #re-engineering #tool support

Knowledge-Based Software Reengineering Tools (GK, LM), p. 31.

KBSE-1992-Fischer #design

Domain Oriented Design Environments (GF), p. 32.

KBSE-1992-KozaczynskiNS #concept #recognition

Program Concept Recognition (WK, JN, TS), p. 33.

KBSE-1992-Bailor #knowledge-based

Educating Knowledge-Based Software Engineers (MPDB), p. 34.

KBSE-1992-PartridgeS #network #re-engineering

Neural Networks as a Software Engineering Technology (DP, NS), p. 35.