Обобщенная модель ядра семантической целостности языка стандартов программного обеспечения

Abstract

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

Описано постановку задачі синтезу узагальненої моделі ядра семантичної цілісності для автоматизації процесу обробки текстів стандартів програмного забезпечення (ПЗ) та технічної документації до програмних продуктів. Застосування даної моделі у складі комп'ютеризованої діалогової системи підтримки прийняття рішень при сертифікації систем з інтенсивним використанням програмного забезпечення забезпечить підвищення ефективності роботи сертифікаційного аудитора за рахунок зниження частки рутинної праці при формуванні нормативного профілю на ПЗ, а також зниження ризиків прийняття невірних рішень у процесі технічного аналізу текстів. документації на ПЗ.