Какие формальные методы или методы в программной инженерии будут использоваться разработчиками в случае сбоя продукта во время выполнения или если продукт работает медленно или не оптимизирован.