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