Douglas R. Smith, Richard Jüllig
Proceedings of the Ninth Knowledge-Based Software Engineering Conference
KBSE, 1994.

@proceedings{KBSE-1994,
	editor        = "Douglas R. Smith and Richard Jüllig",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the Ninth Knowledge-Based Software Engineering Conference}",
	year          = 1994,
}

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

Contents (24 items)

4 ×#design
3 ×#knowledge-based
3 ×#reuse
2 ×#approach
2 ×#component
2 ×#comprehension
2 ×#development
2 ×#formal method
2 ×#re-engineering
2 ×#risk management

KBSE-1994-LowryPPU #automation #library #named #programming

AMPHION: Automatic Programming for Subroutine Libraries (MRL, AP, TP, IU), p. 2.

KBSE-1994-Benner #development #knowledge-based

Knowledge-Based Software Assistant — Advanced Development Model Demonstrations (KB), p. 3.

KBSE-1994-KotikM #assurance #quality

Application of REFINE Language ToolsTM to Software Quality Assurance (GK, LM), p. 4.

KBSE-1994-FeatherF #design #distributed #framework

A Framework for Distributed System Designs (MSF, SF), pp. 6–13.

KBSE-1994-TerveenS #case study

Intelligent Assistance for Software Construction: A Case Study (LGT, PGS), pp. 14–21.

KBSE-1994-GirgensohnRS #communication #design #developer

Agent-Based Support for Communication Between Developers and Users in Software Design (AG, DFR, FMSI), pp. 22–29.

KBSE-1994-MintonW #machine learning #source code #using

Using Machine Learning to Synthesize Search Programs (SM, SRW), pp. 31–38.

KBSE-1994-Novak #component #reuse

Composing Reusable Software Components Through Views (GSN), pp. 39–47.

KBSE-1994-LowryPPU94a #approach #design #formal method

A Formal Approach to Domain-Oriented Software Design Environments (MRL, AP, TP, IU), pp. 48–57.

KBSE-1994-ChilenskiN #analysis #specification #test coverage #tool support

Formal Specification Tools for Test Coverage Analysis (JC, PN), pp. 59–68.

KBSE-1994-Hall #incremental #rule-based #validation

Systematic Incremental Validation of Rule-Based Reactive Systems (RJH), pp. 69–78.

KBSE-1994-TongKP #flexibility #re-engineering

A Flexible Rule-Chaining Engine for Process-Based Software Engineering (AZT, GEK, SSP), pp. 79–88.

KBSE-1994-JengC #approach #component #formal method #reuse

A Formal Approach to Reusing More General Components (JJJ, BHCC), pp. 90–97.

KBSE-1994-LauzonR #retrieval #similarity

Task Oriented and Similarity-Based Retrieval (DL, TR), pp. 98–107.

KBSE-1994-WildR #evolution #reuse #specification #using

Evolution and Reuse of Formal Specification Using Decision Structures (JCW, DR), pp. 108–115.

KBSE-1994-SelfridgeH #comprehension #visual notation

Graphical Support for Code-Level Software Understanding (PGS, GTH), pp. 117–124.

KBSE-1994-QuiliciC #comprehension

A Cooperative Program Understanding Environment (AQ, DNC), pp. 125–132.

KBSE-1994-DekkerV #data type #recognition

Abstract Data Structure Recognition (RD, FV), pp. 133–140.

KBSE-1994-Bolcer #design #development #scalability #user interface

User Interface Design Assistance For Large-Scale Software Development (GAB), pp. 142–149.

KBSE-1994-Balmas #concept #pattern matching #source code

An Augmented Pattern Matcher as a Tool to Synthesize Conceptual Descriptions of Programs (FB), pp. 150–157.

KBSE-1994-LoiaQ #logic programming #object-oriented #paradigm

Integrating Object-Oriented Paradigms and Logic Programming: The OPLA Language (VL, MQ), pp. 158–164.

KBSE-1994-BoehmB #knowledge-based #re-engineering

Critical Success Factors for Knowledge-Based Software Engineering Applications (BWB, PKB), pp. 166–171.

KBSE-1994-Madachy #assessment #estimation #knowledge-based #risk management

Knowledge-Based Risk Assessment and Cost Estimation (RJM), pp. 172–178.

KBSE-1994-Toth #risk management

Software Technology Risk Advisor (GAT), pp. 179–188.