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.

Contents

KnowledgeBased Program Synthesis for a Geometric Constraint Satisfaction System
11
An Interactive IncrementalAttributionBased Program Transformation
19
Representing Object Models as Theories
28
Copyright

18 other sections not shown

Common terms and phrases

Bibliographic information