Удержание (вычисления) - Википедия - Retrenchment (computing)

Сокращение это техника, связанная с Формальные методы это было введено для устранения некоторых предполагаемых ограничений формального уточнения, основанного на моделях, для ситуаций, в которых уточнение может считаться желательным в принципе, но на практике оказывается непригодным или почти непригодным для использования. Первоначально он был разработан в Школа компьютерных наук Манчестерского университета.[нужна цитата ]

внешняя ссылка