Информатика, телекоммуникации и управление
Информатика, телекоммуникации и управление Cанкт-Петербургский политехнический университет Петра Великого
Издается с 2008
ISSN 2687-0517
ru Русский
  • en Английский
Версия для слабовидящих
  • Об издании
  • Редакционная коллегия
  • Архив выпусков
  • Авторам
    • Меню
    • Содержание и структура статьи
    • Оформление статьи
    • Подача и рассмотрение статьи
    • Рецензирование
    • Список литературы
    • Аннотация к статье
    • Лицензионное соглашение
  • Этика научных публикаций
  • Искусственный интеллект
  • Новости
  • Контакты
Подать статью
График выхода изданий
  • №2 Июнь 2025
  • №3 Сентябрь 2025
  • №4 Декабрь 2025

Статьи по ключевому слову "частичные спецификации"

Верификация программного обеспечения при интеграции новой функциональности в существующую систему

Телекоммуникационные системы и компьютерные сети
Тихомиров В.А. Котляров В.П.
  • Год: 2008
  • Выпуск: 5
  • 0
  • 6927
  • Страницы: 20-26

Формализм для описания частичных спецификаций компонентов программного окружения

Вычислительные машины и программное обеспечение
Ицыксон В.М. Зозуля А.В.
  • Год: 2011
  • Выпуск: 4
  • 0
  • 7427
  • Страницы: 81-90
Информатика, телекоммуникации и управление

Разработка сайта: ОПИТ Медиа-центра СПбПУ

Политика конфиденциальности

Контакты
  • Политехническая ул., 29, 4 корпус, 322. Санкт-Петербург, Россия, 195251
  • decodeText
  • decodeDefault