Output details

Composition mechanisms for retrenchment

Significance of output:

<07>This work is the foundational compositional theory of the retrenchment method for state-based formalisms in software development. Retrenchment is a recent theory extending the applicability of refinement e.g. to hybrid systems and feature-based software development. It provides essential infrastructure for further theoretical development, larger-scale case study work, and supports tool development for retrenchment. Its significance is demonstrated by the body of subsequent work on stronger retrenchment composition theories, interworking theories with refinement, and applications in inter alia control systems, feature engineering, software evolution, fault tree analysis, hybrid systems. The theory is rigorously developed in first-order logic.