Я пишу постоянно на контрактах, делается это так, объявляешь интерфейс и передаешь в зависимые классы только тип. В результате каждый класс можно тестировать отдельно, дописываешь внизу тестовый метод и готово. Как результат, архитектура становится намного прозрачней и читабельной для других, в больших проектах и самому ориентироваться легче. Кроме того, использование контрактов открывает широкие возможности для атрибутов. Объявил атрибуты, если классы в разных либах, компилятор их объединит в общий тип, что позволяет тянуть схему выполнения не класс за классом, а в произвольном, нужном порядке, например, сначала в одном потоке вызывать код, а только потом уже поднимать форму совсем в другом потоке и передавать туда инфу. Достоинств много, всего сразу и не перечислишь.