Как-то так вышло, что я здесь ни разу не упомянул про ATRAF, хотя уже почти год, как применяю. Это фреймворк оценки архитектуры, у которого под капотом три метода. Читать тут: https://arxiv.org/abs/2505.00688 Сейчас со временем напряженно, но могу сделать вебинар, где рассказать и показать, если это кому-то нужно. Кто-то вообще использует формальные методы оценки архитектуры?