Publisher's Synopsis
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 c. by Book News, Inc., Portland