Дослідження властивостей мови стандартів як екземпляру класу мов для спеціальних цілей в контексті автоматизації процедури сертифікації
Вантажиться...
Дата
2015
Автори
ORCID
DOI
Науковий ступінь
Рівень дисертації
Шифр та назва спеціальності
Рада захисту
Установа захисту
Науковий керівник
Члени комітету
Видавець
НТУ "ХПІ"
Анотація
Опис
Ключові слова
сертифікація програмного забезпечення, моделювання мови стандартів, аудитор сертифікаційного центру, нормативний профіль, системи критичного застосування
Бібліографічний опис
Бутенко Ю. І. Дослідження властивостей мови стандартів як екземпляру класу мов для спеціальних цілей в контексті автоматизації процедури сертифікації / Ю. І. Бутенко // Матер. 4-ї Всеукраїнської наук.-практ. конф. "Інтелектуальні системи та прикладна лінгвістика", 16 квітня 2015 р. – Харків : НТУ "ХПІ", 2015. – С. 28-30.