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

Дочь учится в третьем классе. Обычная школа, обычный класс. Но в этом году в классе дочери появился новенький — назовем его Максим. И он... он просто неуправляемый. Я не знаю, как это правильно назвать. Я не врач. Но то, что он делает — это ненормально. Он может среди урока упасть на пол и начать биться в припадке. Кричать, выгибаться, пинать ногами парты. Он может подойти к любому ребенку и ударить. Просто так. Без причины. Он кидается учебниками, пеналами, стульями. В детей. В учительницу. Он переворачивает парты...