Howard Reubenstein, Dorothy Setliff
Proceedings of the 10th Knowledge-Based Software Engineering Conference
KBSE, 1995.

@proceedings{KBSE-1995,
	editor        = "Howard Reubenstein and Dorothy Setliff",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the 10th Knowledge-Based Software Engineering Conference}",
	year          = 1995,
}

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

Contents (23 items)

4 ×#synthesis
3 ×#interactive
3 ×#knowledge-based
3 ×#using
2 ×#automation
2 ×#case study
2 ×#component
2 ×#design
2 ×#development
2 ×#empirical

KBSE-1995-LowryB #domain-specific language #named #performance #synthesis

META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems (MRL, JVB), pp. 2–10.

KBSE-1995-BhansaliH #constraints #geometry #knowledge-based #synthesis

Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction System (SB, TJH), pp. 11–18.

KBSE-1995-Liu #incremental #interactive #named #program transformation #source code

CACHET: An Interactive, Incremental-Attribution-Based Program Transformation System for Deriving Incremental Programs (YAL), pp. 19–26.

KBSE-1995-DeLoachBH #modelling #representation

Representing Object Models as Theories (SAD, PDB, TCH), pp. 28–35.

KBSE-1995-KraanB #case study #framework #logic #tool support #verification

Logical Frameworks as a Basis for Verification Tools: A Case Study (IK, PB), pp. 36–43.

KBSE-1995-EllmanKMS #design #interactive #optimisation

A Transformation System for Interactive Reformulation of Design Optimization Strategies (TE, JEK, TM, MS), pp. 44–51.

KBSE-1995-DickS #algorithm

Searching for a Global Algorithm (SD, TS), pp. 52–59.

KBSE-1995-LowryL #knowledge-based #re-engineering

Legal Issues on Knowledge-Based Software Engineering (DDL, MRL), pp. 61–69.

KBSE-1995-SassoB #empirical #evaluation

An Empirical Evaluation of KBSA Technology (WCS, KB), pp. 71–78.

KBSE-1995-LindenV #development #interface

An Interface Between Different Software Development Environments (GL, AIV), pp. 79–87.

KBSE-1995-Tyugu #development #experience #knowledge-based #object-oriented #programming

From Object-Oriented to Knowledge-Based Programming (NUT System Development Experience) (ET), pp. 88–95.

KBSE-1995-SatoTYWH #process #re-engineering #synthesis

Domain-Oriented Software Process Re-engineering with Software Synthesis Shell SOFTEX/S (AS, MT, TY, MW, MH), pp. 97–104.

KBSE-1995-Bose #collaboration #framework #maintenance

A Model for Decision Maintenance in the WinWin Collaboration Framework (PKB), pp. 105–113.

KBSE-1995-RoscaGWRMF #lifecycle

Application of a Decision Support Mechanism to the Business Rules Lifecycle (DR, SJG, JCW, HBR, KM, MF), pp. 114–121.

KBSE-1995-FeldmanF #automation #case study #scalability

Portability by Automatic Translation — A Large-Scale Case Study (YAF, DF), pp. 123–130.

KBSE-1995-PenixBA #classification #component #retrieval #reuse #semantics #using

Classification and Retrieval of Reusable Components Using Semantic Features (JP, PB, PA), pp. 131–138.

KBSE-1995-CliftonL #component #design #using

Classifying Software Components Using Design Characteristics (CC, WSL), pp. 139–146.

KBSE-1995-Welty #towards

Towards an Epistemology for Software Representations (CAW), pp. 148–154.

KBSE-1995-JohnsonE #interactive

Interactive Explanation of Software Systems (WLJ, AE), pp. 155–164.

KBSE-1995-Richardson #automation #data type #functional #source code

Automating Changes of Data Type in Functional Programs (JR), pp. 166–173.

KBSE-1995-Reuss #deduction #synthesis #towards #type system

Towards High-Level Deductive Program Synthesis Based on Type Theory (HR), pp. 174–183.

KBSE-1995-HoweMM #empirical #sequence #testing #using

Test Sequences as Plans: An Experiment in Using an AI Planner to Generate System Tests (AEH, AvM, RTM), pp. 184–191.

KBSE-1995-Ledru #animation #specification

Specification and Animation of a Bank Transfer (YL), pp. 192–199.