Системи та методи обробки інформації

Permanent URI for this collection

https://elar.naiau.kiev.ua/handle/123456789/2136

Browse

Browsing Системи та методи обробки інформації by Author "Лєнков, С.В."

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Структурне проектування програмного забезпечення складних інформаційних систем реального часу
    (2012) Бойченко, О. В.; Лєнков, С.В.; Шкуліпа, П. А.
    У статті розглянуто особливості системного підходу до проектування стійкого програмного забезпечення через розроблення засобів контролю і виправ¬лення помилок у роботі інформаційної системи з використанням специфікацій, що базуються на визнанні факту можливості виникнення перекручувань у роботі обчислювальних засобів.В статье рассмотрены особенности системного подхода к проектированию стойкого программного обеспечения с использованием средств контроля и ис-правления ошибок в работе информационной системы на основе спецификаций, которые базируются на признании факта возможности возникновения перекру-чивания в работе вычислительных средств.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.