Дослідження властивостей мови стандартів як екземпляру класу мов для спеціальних цілей в контексті автоматизації процедури сертифікації - Бутенко, Ю. І. (НТУ "ХПІ", 2015)
Keywords: сертифікація програмного забезпечення; моделювання мови стандартів; аудитор сертифікаційного центру; нормативний профіль; системи критичного застосування