Никифоров Игорь Валерьевич
  • 195251, Россия, Санкт-Петербург, ул. Политехническая, д. 29.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Методика автоматизации зарядки электромобиля на базе контроллера Raspberry Pi с использованием нейронных сетей

Интеллектуальные системы и технологии
  • Год: 2022
  • Том: 15
  • Выпуск: 4
  • 42
  • 3462
  • Страницы: 37-50

Алгоритм мониторинга и повышения стабильности информационно-технологической инфраструктуры на основе метрик доступности и надежности

Программное обеспечение вычислительных, телекоммуникационных и управляющих систем
  • Год: 2024
  • Том: 17
  • Выпуск: 2
  • 31
  • 1470
  • Страницы: 24-37

Метод симуляции индивидуального поведения агентов в процессно-сетевой парадигме дискретно-событийного моделирования

Интеллектуальные системы и технологии, искусственный интеллект
  • Год: 2025
  • Том: 18
  • Выпуск: 1
  • 9
  • 524
  • Страницы: 23-35