Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Реферативна база даних - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
| Знайдено в інших БД: | Наукова періодика України (1) |
Пошуковий запит: (<.>AT=Петрик Экспертиза программного обеспечения информационно-управляющих$<.>) | |||
|
Загальна кількість знайдених документів : 1 |
|||
| 1. | Петрик В. Л. Экспертиза программного обеспечения информационно-управляющих систем с использованием дескрипторного семантического пространства / В. Л. Петрик // Радіоелектрон. і комп'ют. системи. - 2007. - № 2. - С. 29-35. - Библиогр.: 6 назв. - рус. Показаны проблемы экспертизы, основанной на оценке семантической корректности программного обеспечения информационно-управляющих систем, обусловленные значительной ресурсоемкостью. Предложен метод эффективного представления семантической информации, основанный на использовании сжимающего семантического отображения семантического пространства в упорядоченное множество семантических дескрипторов. Исследованы свойства дескрипторного семантического пространства. Показана возможность использования семантических дескрипторов для вычисления физической размерности результата. Определена аксиоматика дескрипторной алгебры, использование которой позволяет снизить вычислительные ресурсы, необходимые для формального доказательства семантической корректности программного обеспечения информационно-управляющих систем. Індекс рубрикатора НБУВ: З965.981-018.1 Рубрики: Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ  Повний текст Наукова періодика України
| ||
 |
| Відділ інформаційно-комунікаційних технологій |
 Пам`ятка користувача |