Формализация требований на практике.

Авторы

В.В.Кулямин, Н.В.Пакулин, О.Л.Петренко, А.А.Сортов, А.В.Хорошилов.

Аннотация

Чтобы сделать хорошую — надежную и правильно работающую — программную систему, необходимо понять, какие задачи она должна будет решать, и реализовать в ее рамках корректные, эффективные и удобные методы их решения. Несмотря на краткость этой мысли и ее кажущуюся простоту, добиться всего этого на практике очень непросто. Одним из перспективных подходов к выполнению второй части этой максимы — реализации «правильных» методов решения для уже поставленных задач — является использование формальных моделей разрабатываемого программного обеспечения. Однако этот подход ничего не говорит о том, как правильно понять и поставить задачу, что критически важно для его успеха, поскольку именно задачи и необходимые свойства их решений должны представляться используемыми в нем моделями. Данная работа посвящена приемам и методам обеспечения адекватного понимания потребностей и нужд пользователей программного обеспечения, а также более широкому кругу вопросов работы с требованиями и их аккуратного отражения в формальных моделях.

Полный текст статьи в формате pdf

Издание

Препринт Института системного программирования РАН, №13, 2006.

Научная группа

Технологии программирования

Все публикации за 2006 год

Все публикации