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

Информатика, телекоммуникации и управление

Информатика, телекоммуникации и управление Cанкт-Петербургский политехнический университет Петра Великого

Издается с 2008

ISSN 2687-0517

Подать статью

График выхода изданий

№2 Июнь 2024
№3 Сентябрь 2024
№4 Декабрь 2024

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

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

Информационные технологии

Самочадин А.В. Самочадина Т.Н. Тимофеев Д.А. Попов С.О.

Год: 2014
Выпуск: 4

339
5805
Страницы: 17-28

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

Конференция «Технологии Microsoft в теории и практике программирования»

Тютин Б.В. Никифоров И.В. Котляров В.П.

Год: 2012
Выпуск: 4

0
5157
Страницы: 119-123

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

Конференция «Технологии Microsoft в теории и практике программирования»

Иванов А.С. Котляров В.П. Летичевский А.А.

Год: 2012
Выпуск: 4

0
5204
Страницы: 109-114

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

Конференция «Технологии Microsoft в теории и практике программирования»

Никифоров И.В. Петров А.В. Юсупов Ю.В.

Год: 2010
Выпуск: 4

1
5049
Страницы: 191-195

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

Конференция Microsoft

Тютин Б.В. Веселов А.О. Котляров В.П.

Год: 2013
Выпуск: 3

561
5688
Страницы: 118-122

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

Конференция Microsoft

Никифоров И.В. Дробинцев П.Д. Котляров В.П.

Год: 2013
Выпуск: 3

608
6119
Страницы: 111-117

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

Конференция «Технологии Microsoft в теории и практике программирования»

Никифоров И.В. Петров А.В. Юсупов Ю.В. Котляров В.П.

Год: 2011
Выпуск: 3

0
5134
Страницы: 180-184