Recombining changes to software specifications
MetadataShow full item record
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.
Showing items related by title, author, creator and subject.
Dampier, David A.; Luqi (Monterey, California. Naval Postgraduate School, 1992); NPS-CS-92-014As software becomes more complex, more sophisticated development and maintenance methods are needed to ensure software quality. Computer Aided Prototyping achieves this via quickly built and iteratively updated prototypes ...
Sams, Bradley J. (2011-08-29); NPS-CE-11-160Throughout software''s lifetime, changes are introduced to the code in order to maintain the desired performance. These changes often create side effects, which cause other cascading effects elsewhere in the software or ...
Lewis, Ted G.; Power, Dave; Meyer, Bertrand; Grimes, Jack; Potel, Mike; Vetter, Ronald J.; Laplante, Phillip A.; Pree, Wolfgang; Pomberger, Gustav; Hill, Mark D. (1995-08);To find out where software is headed, experts in academia and industry share their vision of software's future. It is a snapshot in time of where we have been and possibly where we are headed. The subjects discussed ...