Препринт ИСП РАН 13, 2006 г.


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

В.В. Кулямин, Н.В. Пакулин, О.Л. Петренко, А.А. Сортов, А.В. Хорошилов. Формализация требований на практике. Стр. 1-70.

Аннотация

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

текст в формате pdf

Вернуться к архиву препринтов