ВЕРИФИКАЦИЯ ВЫЧИСЛИТЕЛЬНОГО ПРОЦЕССА ИНФОРМАЦИОННОЙ СИСТЕМЫ
Аннотация:
Предложен способ верификации вычислительного процесса информационной системы. Актуальность исследования определяется востребованностью надежных, корректно работающих информационных систем при недостаточной их верификации. Верификация вычислительного процесса ранее не применялась к информационным системам. Рассматриваются вычислительные процессы информационной системы, а также основные блоки информационной системы „Конференция“. Используемые графоаналитическая и программная модели проверяют основные точки верификации вычислительного процесса. Рассмотрено использование разработанной системы верификации вычислительного процесса для веб-ориентированной информационной системы „Конференция“.
Ключевые слова:
Постоянный URL
Статьи в номере
- УЧЕТ ВРЕМЕНИ ЧИСТОГО ЗАПАЗДЫВАНИЯ В ПРЯМОЙ ЦЕПИ ПРИ РАСЧЕТЕ ДИСКРЕТНОЙ КОРРЕКЦИИ ЦИФРОВОЙ СЛЕДЯЩЕЙ СИСТЕМЫ С МИНИМАЛЬНЫМ ВРЕМЕНЕМ ПОЛНОГО ЗАТУХАНИЯ СВОБОДНОГО ПРОЦЕССА
- ОБОСНОВАНИЕ СТРУКТУРЫ НЕЙРОННОЙ СЕТИ ДЛЯ ОПРЕДЕЛЕНИЯ ПАРАМЕТРОВ ДВИЖЕНИЯ ОРБИТАЛЬНОГО ОБЪЕКТА ПО РЕЗУЛЬТАТАМ ЕГО НАБЛЮДЕНИЙ С БОРТА КОСМИЧЕСКОГО АППАРАТА
- РАЗРАБОТКА ВЫСОКОАПЕРТУРНЫХ ОБЪЕКТИВОВ МИКРОСКОПОВ С УВЕЛИЧЕННЫМ ПОЛЕМ ЗРЕНИЯ И РЕГИСТРАЦИЕЙ ИЗОБРАЖЕНИЯ НА ПЗС-ПРИЕМНИКАХ
- АВТОМАТИЧЕСКОЕ ДЕТЕКТИРОВАНИЕ ЗАДИРА ФИЛАМЕНТА В УСТРОЙСТВАХ ТРЕХМЕРНОЙ ПЕЧАТИ
- РАЗРАБОТКА СИСТЕМЫ МАГНИТОИНДУКЦИОННЫХ ДАТЧИКОВ ДЛЯ ДИАГНОСТИРОВАНИЯ ИЗНОСА ГРЕБНЕЙ КОЛЕСНЫХ ПАР ПОДВИЖНОГО СОСТАВА
- МЕТOДИКА ОЦЕНКИ ПРОДОЛЖИТЕЛЬНОСТИ ТЕХНОЛОГИЧЕСКОГО ПРОГОНА ТЕЛЕКОММУНИКАЦИОННОГО ОБОРУДОВАНИЯ
- ИССЛЕДОВАНИЕ НОВЕЙШИХ СТОМАТОЛОГИЧЕСКИХ МАТЕРИАЛОВ МЕТОДОМ РАСТЯЖЕНИЯ ДЛЯ ПОЛУЧЕНИЯ ПАРАМЕТРА ПРОЧНОСТИ НА РАЗРЫВ