Қызметкерлерді қысқарту (есептеу) - Retrenchment (computing) - Wikipedia

Қызметкерлерді қысқарту байланысты техникасы болып табылады Ресми әдістер нақтыланған формальды, нақтыланған кейбір нақтыланған шектеулерді шешу үшін енгізілді, өйткені нақтылау негізінен қажет деп саналуы мүмкін, бірақ іс жүзінде қолдануға жарамсыз немесе қолдануға жарамсыз болып шықты. Бұл, ең алдымен, дамыған Информатика мектебі, Манчестер университеті.[дәйексөз қажет ]

Сыртқы сілтемелер