Retrenchment is a technique associated with
Formal Methods
In computer science, formal methods are mathematics, mathematically rigorous techniques for the formal specification, specification, development, Program analysis, analysis, and formal verification, verification of software and computer hardware, ...
that was introduced to address some of the perceived limitations of formal, model based refinement, for situations in which refinement might be regarded as desirable in principle, but turned out to be unusable, or nearly unusable, in practice. It was primarily developed at the
School of Computer Science, University of Manchester. The most up to date perspective is in the ACM TOSEM article below.
External links
The Retrenchment Homepage* R. Banach, Graded Refinement, Retrenchment and Simulation, ACM Trans. Soft. Eng. Meth., 32, 1-69 (2023)
Formal methods
Software development philosophies
Department of Computer Science, University of Manchester
{{Comp-sci-stub