[macklakov]

Сугубо IMHO:
В нашей отрасли, Т.З. это прежде всего компромис между:
1) Требованиями клиента
2) Ограничениями, накладываемыми системой
3) Рамками проекта

Таким образом, идеальное Т.З. это, скорее всего, результат нескольких итераций согласования между участниками проекта и содержит:
1) Всю возможную информацию о требованиях клиента, которые решено реализовать
2) Макеты интерфейса пользователя
3) Срочность и приоритеты реализации конкретных деталей
не содержит:
4) Требования, реализация которых превзойдет лимит выделенных ресурсов
5) Логических противоречий и ошибок математической модели

Выбор способа реализации, лучше оставлять на усмотрение разработчика, т.к. он более глубоко знает особенности системы