Найти
Информатика, телекоммуникации и управление
Информатика, телекоммуникации и управление
Cанкт-Петербургский политехнический университет Петра Великого
Издается с 2008
ISSN 2687-0517
Русский
Английский
Версия для слабовидящих
О журнале
Редакционная коллегия
Архив выпусков
Авторам
Меню
Содержание и структура статьи
Оформление статьи
Подача и рассмотрение статьи
Рецензирование
Список литературы
Аннотация к статье
Этика научных публикаций
Новости
Вопрос-ответ
Контакты
Автор
Никифоров Игорь Валерьевич
График выхода журналов
№1 Март 2021
№2 Июнь 2021
№3 Сентябрь 2021
Последние выпуски
2020
,
Том 13
Выпуск 3
Полный текст
2020
,
Том 13
Выпуск 2
Полный текст
2020
,
Том 13
Выпуск 1
Полный текст
2019
,
Том 12
Выпуск 4
Полный текст
Никифоров Игорь Валерьевич
decodeDefault
195251, Россия, Санкт-Петербург, ул. Политехническая, д. 29.
Подход к тестированию параллельных систем на основе UCM-спецификаций
Конференция «Технологии Microsoft в теории и практике программирования»
Дробинцев П.Д.
Никифоров И.В.
Воинов Н.В.
Котляров В.П.
Год: 2014
Выпуск: 3
287
2193
Страницы: 85-91
Методика проектирования тестов сложных программных комплексов на основе структурированных UCM моделей
Конференция Microsoft
Дробинцев П.Д.
Никифоров И.В.
Котляров В.П.
Год: 2013
Выпуск: 3
747
2780
Страницы: 99-104
Интегральные критерии проверки требований к программному обеспечению
Конференция Microsoft
Никифоров И.В.
Дробинцев П.Д.
Котляров В.П.
Год: 2013
Выпуск: 3
608
2818
Страницы: 111-117
Ограничения на многопоточные конструкции и временные задержки языка UCM
Конференция «Технологии Microsoft в теории и практике программирования»
Никифоров И.В.
Котляров В.П.
Дробинцев П.Д.
Год: 2013
Выпуск: 3
534
2781
Страницы: 148-153
Статический метод отладки тестовых сценариев, сгенерированных с использованием эвристик
Конференция «Технологии Microsoft в теории и практике программирования»
Никифоров И.В.
Петров А.В.
Котляров В.П.
Год: 2012
Выпуск: 4
0
1917
Страницы: 114-119
Построение системы автоматизации статической и динамической проверки требований к программному продукту
Конференция «Технологии Microsoft в теории и практике программирования»
Тютин Б.В.
Никифоров И.В.
Котляров В.П.
Год: 2012
Выпуск: 4
0
1841
Страницы: 119-123
Применение методик формализации для построения верификационных моделей систем по UCM-спецификациям
Конференция «Технологии Microsoft в теории и практике программирования»
Никифоров И.В.
Петров А.В.
Юсупов Ю.В.
Котляров В.П.
Год: 2011
Выпуск: 3
0
1940
Страницы: 180-184
Генерация формальной модели системы по требованиям, заданным в нотации Use Case Map
Конференция «Технологии Microsoft в теории и практике программирования»
Никифоров И.В.
Петров А.В.
Юсупов Ю.В.
Год: 2010
Выпуск: 4
1
1813
Страницы: 191-195