Найти
Информатика, телекоммуникации и управление
Информатика, телекоммуникации и управление
Cанкт-Петербургский политехнический университет Петра Великого
Издается с 2008
ISSN 2687-0517
Русский
Английский
Версия для слабовидящих
О журнале
Редакционная коллегия
Архив выпусков
Авторам
Меню
Содержание и структура статьи
Оформление статьи
Подача и рассмотрение статьи
Рецензирование
Список литературы
Аннотация к статье
Лицензионное соглашение
Этика научных публикаций
Новости
Вопрос-ответ
Контакты
Автор
Никифоров Игорь Валерьевич
Подать статью
График выхода журналов
№3 Сентябрь 2022
№4 Декабрь 2022
Последние выпуски
2022
,
Том 15
Выпуск 1
Полный текст
2021
,
Том 14
Выпуск 4
Полный текст
2021
,
Том 14
Выпуск 3
Полный текст
2021
,
Том 14
Выпуск 2
Полный текст
Никифоров Игорь Валерьевич
decodeDefault
195251, Россия, Санкт-Петербург, ул. Политехническая, д. 29.
Подход к тестированию параллельных систем на основе UCM-спецификаций
Конференция «Технологии Microsoft в теории и практике программирования»
Дробинцев П.Д.
Никифоров И.В.
Воинов Н.В.
Котляров В.П.
Год: 2014
Выпуск: 3
287
3511
Страницы: 85-91
Методика проектирования тестов сложных программных комплексов на основе структурированных UCM моделей
Конференция Microsoft
Дробинцев П.Д.
Никифоров И.В.
Котляров В.П.
Год: 2013
Выпуск: 3
747
4042
Страницы: 99-104
Интегральные критерии проверки требований к программному обеспечению
Конференция Microsoft
Никифоров И.В.
Дробинцев П.Д.
Котляров В.П.
Год: 2013
Выпуск: 3
608
4086
Страницы: 111-117
Ограничения на многопоточные конструкции и временные задержки языка UCM
Конференция «Технологии Microsoft в теории и практике программирования»
Никифоров И.В.
Котляров В.П.
Дробинцев П.Д.
Год: 2013
Выпуск: 3
534
4094
Страницы: 148-153
Статический метод отладки тестовых сценариев, сгенерированных с использованием эвристик
Конференция «Технологии Microsoft в теории и практике программирования»
Никифоров И.В.
Петров А.В.
Котляров В.П.
Год: 2012
Выпуск: 4
0
3274
Страницы: 114-119
Построение системы автоматизации статической и динамической проверки требований к программному продукту
Конференция «Технологии Microsoft в теории и практике программирования»
Тютин Б.В.
Никифоров И.В.
Котляров В.П.
Год: 2012
Выпуск: 4
0
3168
Страницы: 119-123
Применение методик формализации для построения верификационных моделей систем по UCM-спецификациям
Конференция «Технологии Microsoft в теории и практике программирования»
Никифоров И.В.
Петров А.В.
Юсупов Ю.В.
Котляров В.П.
Год: 2011
Выпуск: 3
0
3191
Страницы: 180-184
Генерация формальной модели системы по требованиям, заданным в нотации Use Case Map
Конференция «Технологии Microsoft в теории и практике программирования»
Никифоров И.В.
Петров А.В.
Юсупов Ю.В.
Год: 2010
Выпуск: 4
1
3038
Страницы: 191-195