Doug White, Chris Welty
Proceedings of the 11th Annual Knowledge-Based Software Engineering Conference
KBSE, 1996.

@proceedings{KBSE-1996,
	editor        = "Doug White and Chris Welty",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the 11th Annual Knowledge-Based Software Engineering Conference}",
	year          = 1996,
}

Event page: http://www.ase-conferences.org/ase/past/kbse-11.program.html

Contents (20 items)

4 ×#design
4 ×#knowledge-based
4 ×#synthesis
3 ×#algorithm
3 ×#automation
3 ×#source code
3 ×#tutorial
2 ×#algebra
2 ×#difference
2 ×#generative

KBSE-1996-LowryJ #knowledge-based #re-engineering

Introduction to Knowledge-Based Software Engineering (ML, WLJ), p. 1.

KBSE-1996-Jullig #composition #named

SPECWARE: Formal Support for Software Composition (RJ), p. 2.

KBSE-1996-LeeG #collaboration #using #web

Developing Collaborative Applications Using the World Wide Web “Shell” (AL, AG), p. 3.

KBSE-1996-Biggerstaff #generative #reuse

A 15 Year Perspective on Reuse and Generation (TB), p. 4.

KBSE-1996-EllmanM #algebra #deduction #difference #equation #network #simulation #source code #synthesis

Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations (TE, TM), p. 5.

KBSE-1996-GomesSW #synthesis

Synthesis of Schedulers for Planned Shutdowns of Power Plants (CPG, DRS, SJW), p. 6.

KBSE-1996-Jr.B #algebra #algorithm #synthesis

Synthesis of Local Search Algorithms by Algebraic Means (RPGJ, PDB), p. 7.

KBSE-1996-HoweP #behaviour #modelling

Constructing Transition Models of AI Planner Behavior (AEH, LDP), p. 8.

KBSE-1996-Hall

Trusting Your Assistant (RJH), p. 9.

KBSE-1996-Ledru #specification

Complementing semi-formal specifications with Z (YL), p. 10.

KBSE-1996-Smith

The Truth about KIDS (DS), p. 11.

KBSE-1996-RobbinsHR #architecture #design

Extending Design Environments to Software Architecture Design (JER, DMH, DFR), p. 12.

KBSE-1996-Benner #automation #complexity #coordination #development

Addressing Complexity, Coordination, and Automation in Software Development with the KBSA/ADM (KB), p. 13.

KBSE-1996-DellenKM #design #modelling #process

Integrating Software Process Models and Design Rationales (BD, KK, FM), p. 14.

KBSE-1996-QuiliciYW #algorithm #comprehension #recognition

Applying Plan Recognition Algorithms to Program Understanding (AQ, QY, SW), p. 15.

KBSE-1996-KeaneE #automation #design #knowledge-based #legacy #re-engineering #robust #source code

Knowledge-Based Re-engineering of Legacy Programs for Robustness in Automated Design (JK, TE), p. 16.

KBSE-1996-HarmerMB #cobol #knowledge-based #source code #using

Using Knowledge-Based Transformations to Reverse-Engineer COBOL Programs (TJH, PJM, JMB), p. 17.

KBSE-1996-SidarkeviciuteTK #knowledge-based #tool support #visualisation

A Knowledge-Based Toolkit For Software Visualisation (DS, ET, AK), p. 18.

KBSE-1996-Darche #algorithm #automation #difference #generative #set

Set Differentiation: A Method for the Automatic Generation of Filtering Algorithms (FDD), p. 19.

KBSE-1996-SatoMYW #design #synthesis #trade-off

Software Synthesis for Trade-off Design (AS, MM, TY, MW), p. 20.