Как правильно писать SDD в части описания классов и их поведения? Как правильно писать требования для SDD?

Может есть ссылки на хорошие примеры?

эти варианты я уже видела, хотелось бы что-то более наглядное в плане трбований, описания классов, их методов, поведения. Должна ли в требованиях SDD четко прослеживаться логика описанная в методе, или все может быть описано более менее общими словами?

Вот например:
Требование 1
Должен показывать...
Должен отправлять....


А то что Показывать и Отправлять - это куча логики, чтобы попасть в нужные ветки - нужно знать нужные значения входных параметров или возвращенное значение какой-либо внешней функции. Каким образом должно быть это отражено в SDD так, чтобы можно было нормально тестировать, а не на бум ходить по веткам? Когда логика в методе достаточно сложная - как правильно ее описать чтобы это выглядело наглядно и по времени не критично, есть ли какие-либо автоматизированные средства?