Omezení (výpočet) - Retrenchment (computing) - Wikipedia

Omezení je technika spojená s Formální metody který byl zaveden s cílem řešit některá vnímaná omezení formálního zdokonalení založeného na modelu pro situace, ve kterých by se zdokonalení mohlo v zásadě považovat za žádoucí, ale v praxi se ukázalo jako nepoužitelné nebo téměř nepoužitelné. Byl primárně vyvinut na School of Computer Science, University of Manchester.[Citace je zapotřebí ]

externí odkazy