| Details | | Publication Date: | 1995-06-01 | | Editor: | Valdis Berzins |
| Size | | Height: | 11.0 in | | Width: | 8.8 in | | Thickness: | 0.8 in | | Weight: | 20.0 oz |
Publisher's Note
This book describes methods for effectively updating a software system and introduces some of the theoretical studies on software updates and maintenance. It focuses on results from software engineering and programming languages that contribute to two closely related aspects of software development and maintenance: merging and slicing. The papers in this text describe emerging models and methods that guarantee the semantic integrity of change merging in a variety of contexts. Also, they address some of the related issues for controlling software evolution and coordinating teamwork. The book shows how formal methods from a broad range of areas can potentially help software maintenance by providing reliable computer aid. This volume provides an overview of current results and directions in this relatively new area of software engineering. It will be useful to software engineers who want to stay on top of emerging trends or who are concerned with developing new and improved computer-aided software engineering tools.
Industry Reviews
A collection of papers describing methods for updating software systems and outlining studies on software updates and maintenance, focusing on results from software engineering and programming languages research related to merging and slicing. Sections on program slicing background, foundations of software merging, and merging of imperative programs and other languages address issues in semantic integrity, software evolution, and combining changes to programs. Of interest to software engineers. No index. Annotation copyright Book News, Inc. Portland, Or.
Arias
| See an error? Submit a change request |
All rights reserved.
