График выхода журналов
  • №4 Декабрь 2020
  • №1 Март 2021
  • №2 Июнь 2021
  • №3 Сентябрь 2021
Никифоров Игорь Валерьевич
  • 195251, Россия, Санкт-Петербург, ул. Политехническая, д. 29.

Подход к тестированию параллельных систем на основе UCM-спецификаций

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2014
  • Выпуск: 3
  • 287
  • 1827
  • Страницы: 85-91

Методика проектирования тестов сложных программных комплексов на основе структурированных UCM моделей

Конференция Microsoft
  • Год: 2013
  • Выпуск: 3
  • 747
  • 2407
  • Страницы: 99-104

Интегральные критерии проверки требований к программному обеспечению

Конференция Microsoft
  • Год: 2013
  • Выпуск: 3
  • 608
  • 2439
  • Страницы: 111-117

Ограничения на многопоточные конструкции и временные задержки языка UCM

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2013
  • Выпуск: 3
  • 534
  • 2405
  • Страницы: 148-153

Статический метод отладки тестовых сценариев, сгенерированных с использованием эвристик

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

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

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

Применение методик формализации для построения верификационных моделей систем по UCM-спецификациям

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

Генерация формальной модели системы по требованиям, заданным в нотации Use Case Map

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2010
  • Выпуск: 4
  • 1
  • 1453
  • Страницы: 191-195