2012 рік
Permanent URI for this community
Browse
Browsing 2012 рік by Author "Бойченко, О. В."
Now showing 1 - 2 of 2
Results Per Page
Sort Options
Item Вирішення завдання дактилоскопічної ідентифікації в інформаційній моделі підтримки рішень(2012) Бойченко, О. В.; Кухаренко, С. В.; Лєнков, О. С.У статті розглянуто можливості розробленого авторським колективом методу дактилоскопічної ідентифікації в інформаційній моделі автоматизації підтримки рішень у правоохоронній діяльності.В статье рассматриваются возможности разработанного авторским коллективом метода дактилоскопической идентификации в информационной модели автоматизации поддержки решений в правоохранительной деятельности.The possibilities of the method of dactyloscopic identification in information model of an automation of the decision support of law-enforcement activities, developed by a group of authors, are considered.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.