Composition mechanisms for retrenchment
Retrenchment is a flexible model evolution formalism that arose as a reaction to the limitations imposed by refinement, and for which the proof obligations feature additional predicates for accommodating design data. Composition mechanisms for retrenchment are studied. Vertical, horizontal, dataflow...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
2008-04.
|
Subjects: | |
Online Access: | Get fulltext |