Retrenchment (computing)
id:
retrenchment-computing-260-8174695
title:
Retrenchment (computing)
text:
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. The most up to date perspective is in the ACM TOSEM article below.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Retrenchment_(computing)
date created:
date modified:
2023-09-19T10:26:53Z
main entity:
{"identifier":"Q7316934","url":"https://www.wikidata.org/entity/Q7316934"}
image:
fields total:
13
integrity:
13