Search
Now showing items 1-2 of 2
Экспертиза программного обеспечения информационно-управляющих систем с использованием дескрипторного семантического пространства
(ХАІ, 2007)
Показаны проблемы экспертизы, основанной на оценке семантической корректности программного
обеспечения информационно-управляющих систем, обусловленные значительной ресурсоемкостью.
Предложен метод эффективного представления ...
Целочисленное семантическое отображение
(ХАІ, 2007)
Показаны проблемы контроля функциональности программного обеспечения, основанного на оценке семантической корректности программного обеспечения информационно-управляющих систем, обусловленные значительной ресурсоемкостью ...