Личный кабинет
Подробное описание документа
Бутенко Ю. И.
Семантическая модель языковых объектов для автоматизации процесса сертификации систем критического применения / Бутенко Ю. И., Шостак И. В. - DOI 10.18698/2308-6033-2013-12-1165 // Инженерный журнал: наука и инновации. - 2013. - № 12. -
Скачать документ
Представлены результаты исследования синтеза обобщенной модели ядра семантической целостности для автоматизации процесса обработки текстов стандартов программного обеспечения (ПО) и технической документации к программным продуктам. Применение данной модели в составе компьютеризированной диалоговой системы поддержки принятия решений при сертификации систем с интенсивным использованием ПО обеспечит повышение эффективности работы сертификационного аудитора в результате сокращения доли рутинного труда при формировании нормативного профиля на ПО, а также снижения рисков принятия неверных решений в процессе анализа текстов технической документации на ПО. Приведены лингвистические основы семантического моделирования языка стандартов и технической документации на ПО. Дано формальное представление обобщенной модели ядра семантической целостности языковых объектов типа "Нормативная база и техническая документация на ПО".
Статья опубликована в следующих изданиях
№ 12. - 2013.
