[email protected]
+38 (057) 788-42-24
  •   Електронний каталог
  •   dKHAIIR
  • Про бібліотеку
    • Бібліотека сьогодні
    • Історія бібліотеки
    • Структура бібліотеки. Графік роботи.
    • Положення про науково-технічну бібліотеку
    • Правила користування НТБ
  • Ресурси
    • Інформаційно-бібліографічні ресурси
      • Бібліографічні видання
      • Тематичні книжково-ілюстративні виставки
      • Віртуальні виставки
    • Нові надходження
    • Онлайн-ресурси локального доступу
    • Онлайн-ресурсы вільного доступу
    • Списки публікацій співробітників НТБ
    • Швидкий пошук
  • Студенту
    • Оформлення списку літератури
    • Основи інформаційної культури
    • Соціокультурна діяльність
      • Галерея
      • Архів подій
    • Випускники ХАІ
  • Наука
    • Бібліометричні профілі співробітників Університету
    • Нормативно-правова база
    • Оформлення дисертацій і авторефератів
    • Наукометрична діяльність
    • Створення авторського профілю
    • Технічні звіти з НДДКР
    • До уваги науковців
  • Послуги
    • Електронна доставка документів
    • Віртуальна довідка
    • Ваш формуляр
    • Усі послуги
  • Головна
  •  → 
  • Електронний каталог
  •  → 
  • Пошук по електронному каталогу
  •  → 
  • Опис документа

Форма пошуку Назад
укр рус eng
 Cписок


Разработка научно обоснованных принципов, моделей и методов использования языково-ориентированного подхода для создания программного обеспечения критических систем (ПЗКС)

Вид документа: Технічний звіт
Рiк видання: 2012 Мiсце видання: Х.
Авторський знак: Р17 Вид автора: персона
Мова: Російська Обсяг: 120 с.
Шифр: 004 УДК: [004.415.5+004.052.2+004.4+004.434+004.032.2+004.942](047.31)


Переглянути електронну копію


Відомості щодо назви
 Додаткові відомості щодо назви:отчет о НИР (промежуточ.) : Д503-17/2012-Ф
 Відомості про відповідальність:М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. : исполн. : Шостак И. [и др.]
 Номер тома:Т. 2

Неопублікований документ (звіт тощо)
 Номер держреєстрації:№ ГР 0112U001058
 Інвентарний номер:Инв. № 0213U002579

Загальна інформація
 Країна публікації:Україна

Теми документа:

  • УДК/UDC/ 0 Загальний відділ/Общий отдел/Science and knowledge/ 00 Загальні питання науки і культури/Общие вопросы науки культуры/Prolegomena. Fundamentals of knowledge and culture. Propaedeutics/ 004 Комп'ютерна наука і технологія. Застосування комп'ютера. Оброблення даних/Информационные технологии. Вычислительная техника. Обработка данных/Computer science and technology. Computing. Data processing/ 004.4 Програмне забезпечення/Программные средства/Software
  • УДК/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.2 Стійкість до помилок/Устойчивость к ошибкам/Robustness
  • УДК/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
  • УДК/UDC/ 0 Загальний відділ/Общий отдел/Science and knowledge/ 00 Загальні питання науки і культури/Общие вопросы науки культуры/Prolegomena. Fundamentals of knowledge and culture. Propaedeutics/ 004 Комп'ютерна наука і технологія. Застосування комп'ютера. Оброблення даних/Информационные технологии. Вычислительная техника. Обработка данных/Computer science and technology. Computing. Data processing/ 004.9 Прикладні інформаційні (комп'ютерні) технології. Інформатика/Прикладные информационные (компьютерные) технологии. Методы, основанные на применении компьютеров/Application-oriented computer-based techniques/ 004.94 Комп'ютерне моделювання/Имитационное компьютерное моделирование/Simulation/ 004.942 Моделювання з використанням математичних моделей/Моделирование с использованием математических моделей/Simulation using mathematical models
  • Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ/ Т/ Туркін І.Б./Туркин И.Б./Turkin I.B.
  • Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ/ Л/ Лучшев П.О./Лучшев П.А./Luchshev P.A.
  • Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ/ Х/ Харченко В.С./Kharchenko V.S.
  • Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ/ К/ Кузнєцова Ю.А./Кузнецова Ю.А.
  • Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ/ В/ Волобуєва Л.О./Волобуева Л.А.
  • Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ/ М/ Мандрікова Л.В./Мандрикова Л.В.
  • Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ/ М/ Манжос Ю.С./Manzhos Y.
  • Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ/ С/ Соколова Є.В./Соколова Е.В.
  • Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ/ Ш/ Шостак І.В./Шостак И.В./Shostak I.V.
  • Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ
  • Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ/ Ф/ Фролова Г.О./Фролова Г.А.
  • УДК/UDC/ 0 Загальний відділ/Общий отдел/Science and knowledge/ 00 Загальні питання науки і культури/Общие вопросы науки культуры/Prolegomena. Fundamentals of knowledge and culture. Propaedeutics/ 004 Комп'ютерна наука і технологія. Застосування комп'ютера. Оброблення даних/Информационные технологии. Вычислительная техника. Обработка данных/Computer science and technology. Computing. Data processing/ 004.03 Типи і характеристики систем/Типи и характеристики систем/System types and characteristics/ 004.032 Характеристики систем/Characteristics of systems/ 004.032.2 Режим обробки даних/Режим обработки данных/Mode data
  • Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ/ К/ Конорєв Б.М./Конорев Б.М.
  • Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ/ М/ Міхніч Б.Б./Михнич Б.Б.
  • УДК/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.43 Мови програмування комп'ютерів/Языки программирования компьютеров/Computer languages/ 004.434 Проблемно-орієнтовані мови/Проблемно-ориентированные языки/Problem-oriented language
Примірники
Місце збереження Інвентарний номер Номер Кількість Видано
електронна бібліотека ek0001960    1 0
чд -чит.зал.ДСК to0008768    1 0
logo logo logo logo

Контакти

Національний аерокосмічний університет ім. М.Є. Жуковського "ХАІ"
Україна, м. Харків, 61070
вул. Чкалова, 17

(057) 788-42-24, (057) 788-46-10
[email protected]

Про бібліотеку

  • Історія бібліотеки
  • Бібліотека сьогодні
  • Структура бібліотеки. Графік роботи.
  • Правила користування науково-технічною бібліотекою

Ресурси

  • Електронний каталог
  • Онлайн-ресурси локального доступу
  • Онлайн-ресурси вільного доступу

Підпишіться

на розсилку наших новин

2025 © Науково-технічна бібліотека ХАІ

Задати питання
Ми обробляємо онлайн заявки в першу чергу. Довідка обробляється протягом 3 днів (в зависмости від складності запиту).

Надіслати
Замовити частина документа (книгу)
Ми обробляємо онлайн заявки в першу чергу. Довідка обробляється протягом тижня (в зависмости від складності запиту).

Відомості про замовника

Відомості про книгу


Надіслати
Замовити статтю з журналу / збірника
Ми обробляємо онлайн заявки в першу чергу. Довідка обробляється протягом тижня (в зависмости від складності запиту).

Відомості про замовника

Відомості про статтю з журналу / збірника


Надіслати