KBSE'95: 10th Knowledge-Based Software Engineering Conference, Boston, Massachusetts, November 12-15, 1995

Front Cover
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.

From inside the book

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

Common terms and phrases

Bibliographic information