Jump to content

Retrenchment (computing)

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 2600:8800:b00:d81:8518:64c2:1be7:75aa (talk) at 03:18, 26 July 2020. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Retrenchment is a technique associated with Formal Methods 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.[citation needed]

External links