Recombining changes to software specifications

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...

Full description

Saved in:
Bibliographic Details
Published inThe Journal of systems and software Vol. 42; no. 2; pp. 165 - 174
Main Author Berzins, V.
Format Journal Article
LanguageEnglish
Published New York Elsevier Inc 01.08.1998
Elsevier Sequoia S.A
Subjects
Change merging
Logic
Mathematical models
Software
Software evolution
Specifications
Studies
Change merging
Software evolution
Specifications
Logic
Online AccessGet full text

Cover

More Information
Summary: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 different changes to a specification. A set of examples illustrates the ideas.
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0164-1212
1873-1228
DOI:10.1016/S0164-1212(98)10007-9