У Алана Кэя однажды спросили, как лучше изучать system design. Он дал, как обычно, мета-ответ:

"Надо попытаться помочь учащимся перейти от обычных, основанных на здравом смысле (а также неправильных и слабых) представлений о статической стабильности к общей идее о том, что любые стабильности на самом деле -- динамические стабильности, и, следовательно, необходимы какие-либо процессы для поддержания желаемых свойств в пределах допусков и т. д."

По-хорошему, людей лучше не просто кодингу/разработке обучать, а сразу учить формально доказывать корректность системы на третьем логическом уровне.

В целом, system/software design невозможно понять до конца: можно только убедить себя, что ты это как бы "понял". Но чтобы регулярно подниматься в таком трудном понимании, надо быть примерно вот таким (вторая жена Ричарда фон Неймана в заявлении о разводе) =>

"Он начинает решать задачи по математическому анализу в своей голове, как только просыпается. Он занимался анализом, пока ехал в своей машине, сидел в гостиной и лежал в кровати ночью".

Будь как дон Нейман!