Форма пошуку
Назад
укр
рус
eng
Cписок
Сергієнко В.В.
Інваріантно-орієнтована інформаційна технологія незалежної верифікації програмного забезпечення інформаційно-керуючих систем критичного застосування
Вид документа:
Автореферат
Рiк видання:
2012
Мiсце видання:
Х.
Автор:
Сергієнко В.В.
Авторський знак:
С32
Вид автора:
персона
Мова:
Українська
Обсяг:
21 с.
Шифр:
004
УДК:
004.052.42:004.415.5(043.3)
Переглянути електронну копію
Відомості щодо назви
Додаткові відомості щодо назви
:
автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технол.
Відомості про відповідальність
:
М-во освіти і науки, молоді та спорту України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т"
Теми документа:
УДК/UDC/ 0 Загальний відділ/Общий отдел/Science and knowledge/ 00 Загальні питання науки і культури/Общие вопросы науки культуры/Prolegomena. Fundamentals of knowledge and culture. Propaedeutics/ 004 Комп'ютерна наука і технологія. Застосування комп'ютера. Оброблення даних/Информационные технологии. Вычислительная техника. Обработка данных/Computer science and technology. Computing. Data processing/ 004.05 Якість систем і програмного забезпечення/Качество систем и программного обеспечения/System and software quality/ 004.052 Надійність і точність систем і програмного забезпечення/Надежность и точность систем и программного обеспечения/Reliability and accuracy of systems and software/ 004.052.4 Контроль помилок. Обробка помилок/Контроль ошибок. Обработка ошибок/Error control. Error handling/ 004.052.42 Виявлення помилок. Оцінка даних. Підтверження достовірності даних. Перевірка даних/Обнаружение ошибок. Контроль допустимости. Проверка достоверности данных. Верификация данных/Error detection
УДК/UDC/ 0 Загальний відділ/Общий отдел/Science and knowledge/ 00 Загальні питання науки і культури/Общие вопросы науки культуры/Prolegomena. Fundamentals of knowledge and culture. Propaedeutics/ 004 Комп'ютерна наука і технологія. Застосування комп'ютера. Оброблення даних/Информационные технологии. Вычислительная техника. Обработка данных/Computer science and technology. Computing. Data processing/ 004.4 Програмне забезпечення/Программные средства/Software/ 004.41 Техніка програмування. Програмотехніка/Программотехника. Разработка вычислительных систем/Software engineering/ 004.415 Розробка комп'ютерної системи і програмного забезпечення/Разработка компьютерной системы и программного обеспечения/Development of computer systems and software/ 004.415.5 Верифікація і оцінка програмних засобів/Верификация и оценка программных средств/Verification and evaluation software
Примірники
Місце збереження
Інвентарний номер
Номер
Кількість
Видано
електронна бібліотека
ek0004407
1
0
чд -чит.зал.ДСК
ar0007114
0
0
чд -чит.зал.ДСК
ar0007319
1
0