Программист, в свою очередь, обычно не может показать на бумаге, как будет вести себя программа, и демонстрирует ее в работе, так как почти всегда не проектирует ее, а пишет. Иными словами, никто, кроме разработчика, не знает, как работает программа изнутри, а это неэффективно и даже в некоторых случаях небезопасно. Во многом исправить ситуацию можно с помощью автоматного программирования, уверен заведующий кафедрой технологии программирования Университета ИТМО Анатолий Шалыто.
Проблема