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