График выхода журналов
  • №4 Декабрь 2019
    Статьи принимаются до: 10 Ноября 2019
  • №1 Март 2020
    Статьи принимаются до: 10 Февраля 2020
  • №2 Июнь 2020
    Статьи принимаются до: 10 Мая 2020

Статьи по ключевому слову "верификация"

Критерии покрытия требований в тестовых сценариях, сгенерированных из поведенческих моделей приложений

Информационные системы и программное обеспечение
  • Год: 2011
  • Выпуск: 6
  • 0
  • 923
  • Страницы: 202-207

Тестирование цифровых систем, заданных высокоуровневыми спецификациями

Аппаратные и программные средства систем управления
  • Год: 2011
  • Выпуск: 6
  • 1
  • 931
  • Страницы: 62-70

Аксиоматический метод верификации на основе декомпозиции состояний в методе RGSEP

Математическое моделирование: методы, алгоритмы, технологии
  • Год: 2010
  • Выпуск: 6
  • 0
  • 898
  • Страницы: 127-135

Автоматизация тестирования на основе покрытия пользовательских сценариев

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2012
  • Выпуск: 4
  • 0
  • 921
  • Страницы: 123-126

Построение системы автоматизации статической и динамической проверки требований к программному продукту

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2012
  • Выпуск: 4
  • 0
  • 906
  • Страницы: 119-123

Статический анализ требований реактивных систем

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2012
  • Выпуск: 4
  • 0
  • 881
  • Страницы: 109-114

Алгоритм обнаружения речевой активности на основе статистик основного тона в задаче распознавания диктора

Проблемы передачи и обработки информации
  • Год: 2010
  • Выпуск: 4
  • 0
  • 898
  • Страницы: 18-23

Верификация и автоматизация тестирования UML-проектов

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2009
  • Выпуск: 3
  • 0
  • 851
  • Страницы: 220-225

Масштабирование выполнения тестового набора при автоматизированном тестировании

Конференция Microsoft
  • Год: 2013
  • Выпуск: 3
  • 561
  • 1630
  • Страницы: 118-122

Автоматизация тестирования с использованием символических трасс

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2011
  • Выпуск: 3
  • 0
  • 899
  • Страницы: 175-180

Верификация алгоритма поддержки транзакционной памяти

Математическое моделирование: методы, алгоритмы, технологии
  • Год: 2010
  • Выпуск: 3
  • 0
  • 843
  • Страницы: 107-111

Динамическая верификация гибридных систем

Конференция «Инструменты и методы анализа программ – 2013»
  • Год: 2014
  • Выпуск: 2
  • 746
  • 1947
  • Страницы: 189-203

Автоматизация тестирования соответствия реализаций стандарту протокола безопасности транспортного уровня TLS

Конференция «Инструменты и методы анализа программ – 2013»
  • Год: 2014
  • Выпуск: 2
  • 353
  • 1372
  • Страницы: 180-188

Верификация программно-конфигурируемых сетей при помощи системы UPPAAL

Конференция «Инструменты и методы анализа программ – 2013»
  • Год: 2014
  • Выпуск: 2
  • 457
  • 1505
  • Страницы: 169-179

Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс

Конференция «Инструменты и методы анализа программ – 2013»
  • Год: 2014
  • Выпуск: 2
  • 329
  • 1298
  • Страницы: 130-142

Обзор применения формальных методов в робототехнике

Конференция «Инструменты и методы анализа программ 2015»
  • Год: 2016
  • Выпуск: 1
  • 434
  • 1560
  • Страницы: 84-107

VERMONT – средство верификации программно-конфигурируемых сетей

Конференция «Инструменты и методы анализа программ – 2014»
  • Год: 2015
  • Выпуск: 1
  • 311
  • 1258
  • Страницы: 74-87

Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода

Конференция «Инструменты и методы анализа программ – 2014»
  • Год: 2015
  • Выпуск: 1
  • 259
  • 1342
  • Страницы: 60-73