Наукова періодика України | Радіоелектронні і комп’ютерні системи | ||
Петрик В. Л. Экспертиза программного обеспечения информационно-управляющих систем с использованием дескрипторного семантического пространства / В. Л. Петрик // Радіоелектронні і комп’ютерні системи. - 2007. - № 2. - С. 29–35. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2007_2_8 Показаны проблемы экспертизы, основанной на оценке семантической корректности программного обеспечения информационно-управляющих систем, обусловленные значительной ресурсоемкостью. Предложен метод эффективного представления семантической информации, основанный на использовании сжимающего семантического отображения семантического пространства в упорядоченное множество семантических дескрипторов. Исследованы свойства дескрипторного семантического пространства. Показана возможность использования семантических дескрипторов для вычисления физической размерности результата. Определена аксиоматика дескрипторной алгебры, использование которой позволяет снизить вычислительные ресурсы, необходимые для формального доказательства семантической корректности программного обеспечения информационно-управляющих систем. Цитованість авторів публікації: Бібліографічний опис для цитування: Петрик В. Л. Экспертиза программного обеспечения информационно-управляющих систем с использованием дескрипторного семантического пространства / В. Л. Петрик // Радіоелектронні і комп’ютерні системи. - 2007. - № 2. - С. 29–35. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2007_2_8.Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |