Recombining changes to software speci ® cations 1

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 speci®cation changes. This structure is used to rearrange chronological derivation sequences into idealized conceptual derivation structures containing only meaning… (More)