Нет ничего так просто, как мы надеемся.
Здравое суждение - это то, что вы получаете от опыта, что вы имеете сразу после использования плохого суждения.
Информатика - единственная дисциплина, в которой мы рассматриваем добавление нового крыла в здание в качестве обслуживания.
Племена будут определяться социальными анклавами в Интернете, а не географией или родственным, но мир будет более фрагментированным и менее терпимым, поскольку в реальном окружении не будет однородность своего онлайн-клана.
Чтобы научно лечить программирование, должно быть возможно точно определить необходимые свойства программ. Формальность, безусловно, не является самоцелью. Важность формальных спецификаций должна в конечном итоге опираться на их полезность -в том, используются ли они для улучшения качества программного обеспечения или для снижения стоимости производства и поддержания программного обеспечения.
