Недавно один читатель предположил, мол, вскорости последует вторая часть рассказа, где мы с Фёдором отправимся на поиски потерянного таза. Но нет, ничего подобного не будет, во всяком случае до весны. Мне, знаете ли, и первой части сполна хватило. Супруга теперь то и дело чёртовым тазом попрекает, а ещё придумала новый, утончённо-изощрённый способ воздействия на мозг. Находит в интернете разные средства от деменции и этак ненавязчиво, как бы между прочим, меня с ними знакомит. Теперь скажу, почему Фёдор контору спалил, признавшись во всём своей супруге...

Когда речь заходит о создании крупномасштабных и критически важных систем, многие инженеры до сих пор сомневаются: действительно ли формальные методы (formal methods) приносят пользу, оправдывают затраты? Если вы когда-нибудь пытались быстро «вживую» воплотить идею и случайно потратили массу времени на переделку из-за фундаментальных ошибок в дизайне, возможно, ответ уже очевиден: формальные методы помогают экономить время и деньги, даже если поначалу выглядят как «дорогая избыточность». Почему формальные...