Информатика, телекоммуникации и управление
Информатика, телекоммуникации и управление Cанкт-Петербургский политехнический университет Петра Великого
Издается с 2008
ISSN 2687-0517
ru Русский
Версия для слабовидящих
Автор Никифоров Игорь Валерьевич
Подать статью
График выхода изданий
  • №4 Декабрь 2025
  • №1 Март 2026
    Статьи принимаются до: 27 Февраля 2026
  • №2 Июнь 2026
    Статьи принимаются до: 29 Мая 2026
  • №3 Сентябрь 2026
    Статьи принимаются до: 31 Августа 2026
Последние выпуски
Никифоров Игорь Валерьевич
Никифоров Игорь Валерьевич
195251, Россия, Санкт-Петербург, ул. Политехническая, д. 29.

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

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

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

Конференция Microsoft
Дробинцев П.Д. Никифоров И.В. Котляров В.П.
  • Год: 2013
  • Выпуск: 3
  • 747
  • 8260
  • Страницы: 99-104

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

Конференция Microsoft
Никифоров И.В. Дробинцев П.Д. Котляров В.П.
  • Год: 2013
  • Выпуск: 3
  • 608
  • 8404
  • Страницы: 111-117

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

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

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

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

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

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

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

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

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

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

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

Интеллектуальные системы и технологии
Власенко Н.А. Дусаева А.И. Никифоров И.В. Преловский
  • Год: 2022
  • Том: 15
  • Выпуск: 4
  • 42
  • 4180
  • Страницы: 37-50

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

Программное обеспечение вычислительных, телекоммуникационных и управляющих систем
Варламов Д.А. Никифоров И.В. Устинов С.М.
  • Год: 2024
  • Том: 17
  • Выпуск: 2
  • 33
  • 2159
  • Страницы: 24-37

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

Интеллектуальные системы и технологии, искусственный интеллект
Сабуткевич А.М. Никифоров И.В. Самочадин А.В.
  • Год: 2025
  • Том: 18
  • Выпуск: 1
  • 11
  • 2512
  • Страницы: 23-35

Автоматизация настройки инфраструктуры ИТ-проекта с использованием LLM-моделей

Интеллектуальные системы и технологии, искусственный интеллект
Ивлев В.А. Никифоров И.В. Устинов С.М.
  • Год: 2025
  • Том: 18
  • Выпуск: 2
  • 5
  • 63
  • Страницы: 74-90