Найти
Информатика, телекоммуникации и управление
Информатика, телекоммуникации и управление
Cанкт-Петербургский политехнический университет Петра Великого
Издается с 2008
ISSN 2687-0517
Русский
Английский
Версия для слабовидящих
О журнале
Редакционная коллегия
Архив выпусков
Авторам
Меню
Содержание и структура статьи
Оформление статьи
Подача и рассмотрение статьи
Рецензирование
Список литературы
Аннотация к статье
Лицензионное соглашение
Этика научных публикаций
Новости
Вопрос-ответ
Контакты
Автор
Котляров Всеволод Павлович
Подать статью
График выхода журналов
№4 Декабрь 2023
№1 Март 2024
№2 Июнь 2024
№3 Сентябрь 2024
Последние выпуски
2023
,
Том 16
Выпуск 3
Полный текст
2023
,
Том 16
Выпуск 2
Полный текст
2023
,
Том 16
Выпуск 1
Полный текст
2022
,
Том 15
Выпуск 4
Полный текст
Котляров Всеволод Павлович
Место работы
Санкт-Петербургский политехнический университет Петра Великого
decodeDefault
195251, Россия, Санкт-Петербург, ул. Политехническая, д. 29.
Экспериментальные аспекты оценки пропускной способности памяти крупномасштабных систем с архитектурой ccNUMA
Телекоммуникационные системы и компьютерные сети
Дробинцев П.Д.
Котляров В.П.
Левченко А.В.
Год: 2017
Том: 10
Выпуск: 3
45
5184
Страницы: 32-41
Тестирование на основе ключевых слов с использованием диаграмм последовательности событий
Конференция «Технологии Microsoft в теории и практике программирования»
Тютин Б.В.
Веселов А.О.
Котляров В.П.
Год: 2014
Выпуск: 3
398
5311
Страницы: 78-84
Подход к тестированию параллельных систем на основе UCM-спецификаций
Конференция «Технологии Microsoft в теории и практике программирования»
Дробинцев П.Д.
Никифоров И.В.
Воинов Н.В.
Котляров В.П.
Год: 2014
Выпуск: 3
287
5025
Страницы: 85-91
Методика тестирования высоконагруженных телекоммуникационных систем SMS оповещения
Телекоммуникационные системы и компьютерные сети
Котляров В.П.
Иванов А.С.
Год: 2014
Выпуск: 4
290
5419
Страницы: 41-46
Методика проектирования тестов сложных программных комплексов на основе структурированных UCM моделей
Конференция Microsoft
Дробинцев П.Д.
Никифоров И.В.
Котляров В.П.
Год: 2013
Выпуск: 3
747
5564
Страницы: 99-104
Интегральные критерии проверки требований к программному обеспечению
Конференция Microsoft
Никифоров И.В.
Дробинцев П.Д.
Котляров В.П.
Год: 2013
Выпуск: 3
608
5659
Страницы: 111-117
Масштабирование выполнения тестового набора при автоматизированном тестировании
Конференция Microsoft
Тютин Б.В.
Веселов А.О.
Котляров В.П.
Год: 2013
Выпуск: 3
561
5248
Страницы: 118-122
Ограничения на многопоточные конструкции и временные задержки языка UCM
Конференция «Технологии Microsoft в теории и практике программирования»
Никифоров И.В.
Котляров В.П.
Дробинцев П.Д.
Год: 2013
Выпуск: 3
534
5639
Страницы: 148-153
Статический анализ требований реактивных систем
Конференция «Технологии Microsoft в теории и практике программирования»
Иванов А.С.
Котляров В.П.
Летичевский А.А.
Год: 2012
Выпуск: 4
0
4711
Страницы: 109-114
Статический метод отладки тестовых сценариев, сгенерированных с использованием эвристик
Конференция «Технологии Microsoft в теории и практике программирования»
Никифоров И.В.
Петров А.В.
Котляров В.П.
Год: 2012
Выпуск: 4
0
4861
Страницы: 114-119
Построение системы автоматизации статической и динамической проверки требований к программному продукту
Конференция «Технологии Microsoft в теории и практике программирования»
Тютин Б.В.
Никифоров И.В.
Котляров В.П.
Год: 2012
Выпуск: 4
0
4686
Страницы: 119-123
Автоматизация тестирования на основе покрытия пользовательских сценариев
Конференция «Технологии Microsoft в теории и практике программирования»
Дробинцев П.Д.
Котляров В.П.
Черноруцкий И.Г.
Год: 2012
Выпуск: 4
0
4885
Страницы: 123-126
Автоматизация тестирования с использованием символических трасс
Конференция «Технологии Microsoft в теории и практике программирования»
Дробинцев П.Д.
Ким Р.И.
Котляров В.П.
Год: 2011
Выпуск: 3
0
4798
Страницы: 175-180
Применение методик формализации для построения верификационных моделей систем по UCM-спецификациям
Конференция «Технологии Microsoft в теории и практике программирования»
Никифоров И.В.
Петров А.В.
Юсупов Ю.В.
Котляров В.П.
Год: 2011
Выпуск: 3
0
4686
Страницы: 180-184
Архитектура сервиса для решения ресурсоемких задач в распределенной вычислительной среде
Конференция «Технологии Microsoft в теории и практике программирования»
Лукашин А.А.
Лукашин А.А.
Тютин Б.В.
Котляров В.П.
Год: 2011
Выпуск: 4
0
4809
Страницы: 146-149
Автоматическая настройка тестового окружения телекоммуникационных проектов
Конференция «Технологии Microsoft в теории и практике программирования»
Веселов А.О.
Иванов А.С.
Тютин Б.В.
Котляров В.П.
Год: 2011
Выпуск: 4
0
4754
Страницы: 149-152
Критерии покрытия требований в тестовых сценариях, сгенерированных из поведенческих моделей приложений
Информационные системы и программное обеспечение
Котляров В.П.
Год: 2011
Выпуск: 6
0
4726
Страницы: 202-207
Применение метода эвристик для создания оптимального набора тестовых сценариев
Конференция «Технологии Microsoft в теории и практике программирования»
Воинов Н.В.
Котляров В.П.
Год: 2010
Выпуск: 4
0
4614
Страницы: 169-174
Автоматизация тестирования проектов в области телекоммуникаций
Конференция «Технологии Microsoft в теории и практике программирования»
Веселов А.О.
Котляров В.П.
Год: 2010
Выпуск: 4
0
4730
Страницы: 180-185
Интегрированная среда автоматизации тестирования на основе технологии Eclipse
Конференция «Технологии Microsoft в теории и практике программирования»
Дробинцев П.Д.
Даишев М.С.
Котляров В.П.
Год: 2010
Выпуск: 4
0
4601
Страницы: 186-191
Автоматизация тестирования телекоммуникационных приложений
Конференция «Технологии Microsoft в теории и практике программирования»
Веселов А.О.
Иванов А.С.
Тютин Б.В.
Котляров В.П.
Год: 2009
Выпуск: 3
0
4735
Страницы: 208-212
Верификация и автоматизация тестирования UML-проектов
Конференция «Технологии Microsoft в теории и практике программирования»
Воинов Н.В.
Котляров В.П.
Год: 2009
Выпуск: 3
0
5441
Страницы: 220-225
Автоформализация фрагментов JAVA-кода для UML-моделей
Конференция «Технологии Microsoft в теории и практике программирования»
Лукашев Д.А.
Котляров В.П.
Юсупов Ю.В.
Год: 2009
Выпуск: 3
0
4668
Страницы: 232-236
Остаточное тестирование клиентского приложения по протоколу XMPP
Конференция «Технологии Microsoft в теории и практике программирования»
Марченков Е.Ю.
Котляров В.П.
Год: 2009
Выпуск: 3
0
4623
Страницы: 242-246
Автоматизация формализации требований к программным проектам
Конференция «Технологии Microsoft в теории и практике программирования»
Котляров В.П.
Петров А.В.
Год: 2009
Выпуск: 3
0
4621
Страницы: 236-241
Верификация программного обеспечения при интеграции новой функциональности в существующую систему
Телекоммуникационные системы и компьютерные сети
Тихомиров В.А.
Котляров В.П.
Год: 2008
Выпуск: 5
0
4928
Страницы: 20-26
О реализации методов нелинейного программирования второго порядка на основе рекуррентных алгоритмов оценивания
Программное обеспечение вычислительных, телекоммуникационных и управляющих систем
Черноруцкий И.Г.
Котляров В.П.
Год: 2018
Том: 11
Выпуск: 1
8
5437
Страницы: 39-46