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

За последние десятилетия общий процесс разработки программного обеспечения (ПО) значительно улучшился. В промышленности такие методы разработки ПО, как системы контроля версий и отслеживания проблем, теперь незаменимы в повседневной работе разработчиков ПО, а также при разработке гибкого и тестированного ПО и непрерывной интеграции. Несколько иная ситуация сложилась в науке. Здесь еще не везде внедрены современные методы разработки программного обеспечения, в силу чего различные научные дисциплины имеют разный статус...