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

    Статьи по ключевому слову "требования"

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

    Информационные технологии
    Самочадин А.В.Самочадина Т.Н.Тимофеев Д.А.Попов С.О.
    • Год: 2014
    • Выпуск: 4
    • 339
    • 9320
    • Страницы: 17-28

    Построение системы автоматизации статической и динамической проверки требований к программному продукту

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

    Статический анализ требований реактивных систем

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

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

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

    Масштабирование выполнения тестового набора при автоматизированном тестировании

    Конференция Microsoft
    Тютин Б.В.Веселов А.О.Котляров В.П.
    • Год: 2013
    • Выпуск: 3
    • 561
    • 8909
    • Страницы: 118-122

    Интегральные критерии проверки требований к программному обеспечению

    Конференция Microsoft
    Никифоров И.В.Дробинцев П.Д.Котляров В.П.
    • Год: 2013
    • Выпуск: 3
    • 609
    • 9578
    • Страницы: 111-117

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

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