Поток управления определяется поведением системы, а зависимости исходного кода определяются этим потоком управления.
Для поддержки независимости от устройств ввода/вывода была придумана архитектура плагинов и реализована практически во всех операционных системах.
Программные архитекторы стремятся определить модули, компоненты и службы, неправильность которых легко можно было бы доказать
автоматизированных приемочных тестов, которые представляют собой истинную спецификацию и документированные требования к системе
Наука не требует доказательства истинности утверждений, чаще она требует доказательства их ложности. Утверждения, доказать ложность которых не удается после многих усилий, мы считаем истинными