Например, Бобцов

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

Аннотация:

Рассмотрен один из возможных методов выявления недекларированных возможностей в программном обеспечении, проведена оценка его применимости к приложениям, исполняемым в среде облачных вычислений. Предложен поэтапный алгоритм выполнения метода. Представлены основные инструменты автоматизации метода.

Ключевые слова:

Статьи в номере