Описана методика машинной обработки документов из нормативной базы (НБ) в процессе формирования нормативного профиля для сертификации программного обеспечения систем критического применения. Рассмотрен подход к моделированию НБ программных систем с использованием основных положений теории иерархических систем. Приведена классификация документов НБ, а также результаты их грамматического анализа. Предложен подход к представлению НБ в виде онтологической системы и технология синтеза на этой основе диалоговой системы поддержки принятия решений сертификационным аудитором.

  Повний текст PDF - 424.618 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"