Nedskärning (dator)
Retrenchment är en teknik förknippad med formella metoder som introducerades för att ta itu med några av de upplevda begränsningarna av formell, modellbaserad förfining, för situationer där förfining kan anses vara önskvärd i princip, men visade sig vara oanvändbar, eller nästan oanvändbar, i öva. Det utvecklades främst vid School of Computer Science, University of Manchester . [ citat behövs ]
externa länkar