Ю.И. Бутенко, И.В. Шостак
10
[3]
Харченко В.С., Скляр В.В., Тарасюк О.М. Анализ рисков аварий для ра-
кетно-космической техники: эволюция причин и тенденций.
Радио-
электронные и компьютерные системы
, 2003, № 3, с. 135—149.
[4]
Тарасюк О.М.
Методы и инструментальные средства метрико-вероят-
ностной оценки качества программного обеспечения информационно-
управляющих систем критического применения.
Дис. … канд. техн. наук.
Харьков, 2004, 204 с.
[5]
Шостак И.В., Шостак И.В., Бутенко Ю.И., Шостак Е.И. Знание-
ориентированные методы формирования нормативных профилей к си-
стемам критического применения на основе онтологий.
Радио-
электронные и компьютерные системы
, 2010, № 5, с. 104—108.
[6]
Шостак И.В., Бутенко Ю.И. Подход к автоматизации процесса фор-
мирования нормативного профиля при сертификации программных продук-
тов.
Системы обработки информации
, 2010, № 8 (89), с. 122—126.
[7]
Даниленко В.П.
Лексические требования к стандартизуемой терми-
нологии
.
Терминология и норма.
Москва, Наука, 1972, с. 5—32.
[8]
Даниленко В.П.
Русская терминология. Опыт лингвистического опи-
сания
. Москва, Наука, 1977, 246 с.
[9]
Нелюбин Л.Л. Перевод и прикладная лингвистика. Москва, Высш. шк.,
1983, 207 с.
[10]
Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компи-
ляции. Москва, Мир, 1978, 616 с.
[11]
Апресян Ю.Д.
Исследования по семантике и лексикографии
.
Т. 1: Пара-
дигматика
. Москва, Языки славянских культур, 2009, 568 с.
[12]
Апресян Ю.Д.
Избранные труды.
В 2 т. Т. 1
.
Лексическая семантика
(синонимические средства языка)
. Москва, Восточная литература, 1995,
472 с.
[13]
Лукашевич Н.В. Тезаурусы в задачах информационного поиска. Москва,
Изд-во Моск. ун-та, 2011, 512 с.
[14]
Левашова Т.В., Пашкин М.П., Смирнов А.В. Управление онтологиями
(базами знаний). Ч. I.
Известия РАН
.
Сер. Теория и системы управления.
2003, № 4, с. 132—146.
[15]
Левашова Т.В., Пашкин М.П., Смирнов А.В. и др. Управление онтологи-
ями. Ч. II.
Известия РАН. Сер. Теория и системы управления,
2003, № 5,
с. 89—101.
Статья поступила в редакцию 05.07.2013
Ссылку на эту статью просим оформлять следующим образом:
Бутенко Ю.И., Шостак И.В. Семантическая модель языковых объектов
для автоматизации процесса сертификации систем критического применения.
Ин-
женерный журнал: наука и инновации
, 2013, вып. 12. URL:
/
catalog/appmath/hidden/1165.html
Бутенко Юлия Ивановна
родилась в 1987 г., окончила Национальный аэрокос-
мический университет им. Н.Е. Жуковского «ХАИ» в 2009 г. Аспирантка кафедры
«Инженерия программного обеспечения» Национального аэрокосмического универси-
тета им. Н.Е. Жуковского «ХАИ». Автор 10 работ в области искусственного интеллек-
та и прикладной лингвистики. e-mail:
Шостак Игорь Владимирович
родился в 1961 г., окончил Харьковский ин-
ститут радиоэлектроники в 1983 г. Д-р техн. наук, профессор кафедры «Инжене-
рия программного обеспечения» Национального аэрокосмического университета
им. Н.Е. Жуковского «ХАИ». Автор около 150 научных работ в области искус-
ственного интеллекта и информационных технологий. e-mail:
