Search
Now showing items 1-3 of 3
Обобщенная модель ядра семантической целостности языка стандартов программного обеспечения
(ХАИ, 2013)
Описана постановка задачи синтеза обобщенной модели ядра семантической целостности для автоматизации процесса обработки текстов стандартов программного обеспечения (ПО) и технической
документации к программным продуктам. ...
Технология формирования нормативного профиля для сертификации программных систем
(ХАИ, 2013)
Рассмотрена технология формирования нормативного профиля для сертификации программных систем и вопросы организации интеллектуальной поддержки принятия решений экспертом при реализации одной из наиболее важных задач ...
Методика машинной обработки лингвистических единиц класса «язык стандартов программного обеспечения»
(ХАИ, 2013)
Описана методика машинной обработки документов из нормативной базы (НБ) в процессе формирования нормативного профиля для сертификации программного обеспечения систем критического применения. Рассмотрен подход к моделированию ...