Найти
Информатика, телекоммуникации и управление
Информатика, телекоммуникации и управление
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.
Подход к тестированию параллельных систем на основе UCM-спецификаций
Конференция «Технологии Microsoft в теории и практике программирования»
Дробинцев П.Д.
Никифоров И.В.
Воинов Н.В.
Котляров В.П.
Год: 2014
Выпуск: 3
287
5025
Страницы: 85-91
Методика проектирования тестов сложных программных комплексов на основе структурированных UCM моделей
Конференция Microsoft
Дробинцев П.Д.
Никифоров И.В.
Котляров В.П.
Год: 2013
Выпуск: 3
747
5564
Страницы: 99-104
Интегральные критерии проверки требований к программному обеспечению
Конференция Microsoft
Никифоров И.В.
Дробинцев П.Д.
Котляров В.П.
Год: 2013
Выпуск: 3
608
5659
Страницы: 111-117
Ограничения на многопоточные конструкции и временные задержки языка UCM
Конференция «Технологии Microsoft в теории и практике программирования»
Никифоров И.В.
Котляров В.П.
Дробинцев П.Д.
Год: 2013
Выпуск: 3
534
5639
Страницы: 148-153
Статический метод отладки тестовых сценариев, сгенерированных с использованием эвристик
Конференция «Технологии Microsoft в теории и практике программирования»
Никифоров И.В.
Петров А.В.
Котляров В.П.
Год: 2012
Выпуск: 4
0
4861
Страницы: 114-119
Построение системы автоматизации статической и динамической проверки требований к программному продукту
Конференция «Технологии Microsoft в теории и практике программирования»
Тютин Б.В.
Никифоров И.В.
Котляров В.П.
Год: 2012
Выпуск: 4
0
4686
Страницы: 119-123
Применение методик формализации для построения верификационных моделей систем по UCM-спецификациям
Конференция «Технологии Microsoft в теории и практике программирования»
Никифоров И.В.
Петров А.В.
Юсупов Ю.В.
Котляров В.П.
Год: 2011
Выпуск: 3
0
4686
Страницы: 180-184
Генерация формальной модели системы по требованиям, заданным в нотации Use Case Map
Конференция «Технологии Microsoft в теории и практике программирования»
Никифоров И.В.
Петров А.В.
Юсупов Ю.В.
Год: 2010
Выпуск: 4
1
4577
Страницы: 191-195
Методика автоматизации зарядки электромобиля на базе контроллера Raspberry Pi с использованием нейронных сетей
Интеллектуальные системы и технологии
Власенко Н.А.
Дусаева А.И.
Никифоров И.В.
Преловский
Год: 2022
Том: 15
Выпуск: 4
33
1068
Страницы: 37-50