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
Previous taxonomies of software evolution have focused on the purpose of the change (i.e., the why) ...
(Received November 8, 1990, Revised February 25, 1991)We outline a model for programs and data and p...
AbstractThis paper introduces an approach to software development in which a series of working imple...
This paper proposes a model of software changes for supporting the evolution of software prototypes....
Abstract. As software becomes more complex, more sophisticated development and maintenance methods a...
AbstractA discussion of the evolution of software system configurations should have some formal basi...
The sequence-based software specification method was developed to convert ordinary, or typical requi...
Abstract. The analysis of the evolution of software systems is a useful source of information for a ...
Author-contributed print itemThis paper presents a classification schema for the concepts and applic...
Previous taxonomies of software evolution have focused on the purpose of the change (i.e., the why) ...
Author-contributed print itemRapid prototyping is widely accepted as an alternative methodology for ...
The discipline of formal methods is concerned with the use of mathematical techniques to capture pre...
Formal specifications of software systems need to evolve in many ways during system development. Not...
Given a record of the derivation of a component from its specification, and a new, changed specifica...
AbstractSoftware changes during its lifetime. Likewise, software models change during their design t...
Previous taxonomies of software evolution have focused on the purpose of the change (i.e., the why) ...
(Received November 8, 1990, Revised February 25, 1991)We outline a model for programs and data and p...
AbstractThis paper introduces an approach to software development in which a series of working imple...
This paper proposes a model of software changes for supporting the evolution of software prototypes....
Abstract. As software becomes more complex, more sophisticated development and maintenance methods a...
AbstractA discussion of the evolution of software system configurations should have some formal basi...
The sequence-based software specification method was developed to convert ordinary, or typical requi...
Abstract. The analysis of the evolution of software systems is a useful source of information for a ...
Author-contributed print itemThis paper presents a classification schema for the concepts and applic...
Previous taxonomies of software evolution have focused on the purpose of the change (i.e., the why) ...
Author-contributed print itemRapid prototyping is widely accepted as an alternative methodology for ...
The discipline of formal methods is concerned with the use of mathematical techniques to capture pre...
Formal specifications of software systems need to evolve in many ways during system development. Not...
Given a record of the derivation of a component from its specification, and a new, changed specifica...
AbstractSoftware changes during its lifetime. Likewise, software models change during their design t...
Previous taxonomies of software evolution have focused on the purpose of the change (i.e., the why) ...
(Received November 8, 1990, Revised February 25, 1991)We outline a model for programs and data and p...
AbstractThis paper introduces an approach to software development in which a series of working imple...
DOI
Add to ORKG