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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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