Recombining changes to software specifications

Thumbnail Image
Files
Berzins_Recombining_1998.pdf (336.19 KB)
Authors
Berzins, V.
Subjects
Software evolution
Change merging
Specifications
Logic
Advisors
Date of Issue
1998
Date
Publisher
Elsevier
Language
Abstract
This paper proposes a model of software changes for supporting the evolution of software prototypes. We decompose software evolution steps into primitive substeps that correspond to monotonic specification changes. This structure is used to rearrange chronological derivation sequences into idealized conceptual derivation structures containing only meaning-extending changes, and to automatically combine di erent changes to a specification. A set of examples illustrates the ideas.
Type
Article
Description
URI
https://hdl.handle.net/10945/51485
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
Sponsors
Funder
Format
Citation
The Journal of Systems and Software 42 (1998) 165-174
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Collections
Publications