Бойченко, О. В.Лєнков, С.В.Шкуліпа, П. А.2017-12-122017-12-122012http://elar.naiau.kiev.ua/jspui/handle/123456789/2490У статті розглянуто особливості системного підходу до проектування стійкого програмного забезпечення через розроблення засобів контролю і виправ¬лення помилок у роботі інформаційної системи з використанням специфікацій, що базуються на визнанні факту можливості виникнення перекручувань у роботі обчислювальних засобів.В статье рассмотрены особенности системного подхода к проектированию стойкого программного обеспечения с использованием средств контроля и ис-правления ошибок в работе информационной системы на основе спецификаций, которые базируются на признании факта возможности возникновения перекру-чивания в работе вычислительных средств.In the article the features of approach of the systems are considered to planning of proof software with the use of controls and correction of errors in-process informative system on the basis of specifications which are based on adoptive of possibility of origin of twisting in-process of computing facilities admission.uk-UAсистемний підхідпрограмне забезпеченняінформаційна системазасоби контролюсистемный подходпрограммное обеспечениеинформационная системасредства контроляapproach of the systemssoftwareinformative systemcontrolsArticle