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

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

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

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

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

    Генерация формальной модели системы по требованиям, заданным в нотации Use Case Map

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

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

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