| Description |
ix, 233 pages ; 28 cm |
| Contents |
Program Slicing / M. Weiser -- Interprocedural Slicing Using Dependence Graphs / S. Horwitz, T. Reps and D. Binkley -- Program Slicing for C - The Problems in Implementation / J. Jiang, X. Zhou and D. J. Robson -- Dynamic Program Slicing / B. Korel and J. Laski --Dynamic Program Slicing / H. Agrawal and J. R. Horgan -- On Merging Software Extensions / V. Berzins -- A Theory of Program Modifications / G. Ramalingam and T. Reps -- Software Merge: Semantics of Combining Changes to Programs / V. Berzins -- Integrating Noninterfering Versions of Programs / S. Horwitz, J. Prins and T. Reps -- Software Merge: Models and Methods for Combining Changes to Programs / V. Berzins -- A Graph Model for Software Evolution / Luqi -- Automated Merging of Software Prototypes / D. A. Dampier, Luqi and V. Berzins |
| Summary |
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 |
|
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 |
| Bibliography |
Includes bibliographical references |
| Subject |
Software maintenance.
|
| Author |
Bērzin̦š, Valdis Andris.
|
| LC no. |
95007313 |
| ISBN |
0818667923 |
|
