Программные архитекторы стремятся определить модули, компоненты и службы, неправильность которых легко можно было бы доказать