Refinement-Preserving Co-evolution

Abstract

Software changes during its lifetime. Likewise, specifications change during their design time, e.g. by removing, adding or changing operations. In a refinement-based approach to software design, we moreover do not deal with a single but with a chain of specifications, related via refinement. Changes thus need to be consistently made to all specifications… (More)
DOI: 10.1007/978-3-642-10373-5_32

7 Figures and Tables

Topics

  • Presentations referencing similar topics