Bely...
все описывается до такой степени, чтобы было понятно и разработчику и заказчику - что должно получиться в результате.

Кроме перечисленных пунктов в спецификацию я обычно включаю и такие:
Инициирование
(по сигналу, команде, из другого модуля и т. п.)
Внутренние данные
Внутренние временные данные, структуры данных и т. п.
Программные ограничения
Размеры массивов, например.
Безопасность и секретность
Если требуется (способ обеспечения subj).
Типа: модуль формирует данные в соответствиями с установками мандатной защиты. Работа модуля контролируется подсистемой регистрации событий audit.
Надежность
Функциональное тестирование
Функциональное тестирование должно включать проверку работы модуля на корректность структуры и правильность формируемых данных.
Алгоритмическое тестирование