График выхода изданий
  • №3 Сентябрь 2026
    Статьи принимаются до: 31 Июля 2026
  • №4 Декабрь 2026
  • №1 Март 2027
  • №2 Июнь 2027
Котляров Всеволод Павлович
Котляров Всеволод Павлович
Место работы
Санкт-Петербургский политехнический университет Петра Великого
195251, Россия, Санкт-Петербург, ул. Политехническая, д. 29.

Экспериментальные аспекты оценки пропускной способности памяти крупномасштабных систем с архитектурой ccNUMA

Телекоммуникационные системы и компьютерные сети
  • Год: 2017
  • Том: 10
  • Выпуск: 3
  • 51
  • 9746
  • Страницы: 32-41

Тестирование на основе ключевых слов с использованием диаграмм последовательности событий

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

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

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

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

Телекоммуникационные системы и компьютерные сети
  • Год: 2014
  • Выпуск: 4
  • 291
  • 9998
  • Страницы: 41-46

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Архитектура сервиса для решения ресурсоемких задач в распределенной вычислительной среде

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

Автоматическая настройка тестового окружения телекоммуникационных проектов

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

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

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

Применение метода эвристик для создания оптимального набора тестовых сценариев

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

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

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

Интегрированная среда автоматизации тестирования на основе технологии Eclipse

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

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

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

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

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

Автоформализация фрагментов JAVA-кода для UML-моделей

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

Остаточное тестирование клиентского приложения по протоколу XMPP

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

Автоматизация формализации требований к программным проектам

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

Верификация программного обеспечения при интеграции новой функциональности в существующую систему

Телекоммуникационные системы и компьютерные сети
  • Год: 2008
  • Выпуск: 5
  • 0
  • 9299
  • Страницы: 20-26

О реализации методов нелинейного программирования второго порядка на основе рекуррентных алгоритмов оценивания

Программное обеспечение вычислительных, телекоммуникационных и управляющих систем
  • Год: 2018
  • Том: 11
  • Выпуск: 1
  • 9
  • 10095
  • Страницы: 39-46