Любой приход взыскателей, даже если он формально законен, вызывает напряжение - но знание правил поведения поможет не доводить ситуацию до конфликта. Во-первых, вовсе не обязательно впускать их в квартиру. Если дверь уже открыта - спокойно попросите назвать фамилию, имя и отчество, организацию и основания для визита; потребуйте предъявить служебное удостоверение и документы о передаче долга. Запишите указанные данные или сфотографируйте их на телефон, после чего закройте дверь. Нет смысла вести переговоры на пороге...

Разработчики часто воспринимают программы как набор инструкций, которые шаг за шагом объясняют компьютеру, как именно решать поставленную задачу. Однако мир сложных распределённых систем ставит перед нами совершенно иной вызов: нам важно не просто написать программу, а понять, что именно она должна делать. Для этого на сцену выходят формальные спецификации, которые позволяют взглянуть на систему под совершенно иным углом — через множества возможных поведений. Формальные спецификации незаменимы при...