KBSE'95: 10th Knowledge-Based Software Engineering Conference, Boston, Massachusetts, November 12-15, 1995
IEEE Computer Society Press, 1995 - Computers - 202 pages
Seven sections containing 23 papers cover synthesis, formal specifications, legal issues, knowledge-based environments, process, reused and re-engineering, and program understanding. They focus on techniques for constructing, representing, reasoning with, and understanding software artifacts and processes. Annotation copyright by Book News, Inc., Portland, OR.
What people are saying - Write a review
We haven't found any reviews in the usual places.
KnowledgeBased Program Synthesis for a Geometric Constraint Satisfaction System
An Interactive IncrementalAttributionBased Program Transformation
Representing Object Models as Theories
18 other sections not shown
abstract Acct algorithm annotations application approach artifacts attribute grammars attributes automated automatically axioms Bogart business rules colimit component Concept Demo constraints construct decision procedure defined described diagram divide et impera domain model domain theory DSDRAT environment evaluation example feature Figure formal specification framework function global search goal graph GUI layout IEEE implementation input instantiated interactive interface issues KBSA Kestrel Institute knowledge Knowledge-Based Software language logic LSEG matching ment method modules morphism nodes object object-oriented OCML operations optimization output parameters patent phase plan fragment planner predicate problem program synthesis program transformation proof re-engineering refinement relation representation represented retrieval reusable reuse routines scheme search space Section semantics software development Software Engineering software process solution solved sort step strategy structure syntax target task techniques theorem tion translation type theory variables win condition WinWin