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

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

    Телекоммуникационные системы и компьютерные сети
    Дробинцев П.Д.Котляров В.П.Левченко А.В.
    • Год: 2017
    • Том: 10
    • Выпуск: 3
    • 51
    • 9581
    • Страницы: 32-41

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

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

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

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

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

    Телекоммуникационные системы и компьютерные сети
    Котляров В.П.Иванов А.С.
    • Год: 2014
    • Выпуск: 4
    • 291
    • 9831
    • Страницы: 41-46

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

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

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

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

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

    Конференция Microsoft
    Тютин Б.В.Веселов А.О.Котляров В.П.
    • Год: 2013
    • Выпуск: 3
    • 561
    • 9090
    • Страницы: 118-122

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Информационные системы и программное обеспечение
    Котляров В.П.
    • Год: 2011
    • Выпуск: 6
    • 0
    • 8640
    • Страницы: 202-207

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Телекоммуникационные системы и компьютерные сети
    Тихомиров В.А.Котляров В.П.
    • Год: 2008
    • Выпуск: 5
    • 0
    • 9140
    • Страницы: 20-26

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

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