How to Design for Software Reliability, Security, and Maintainability Many enterprises unfortunately depend on software that is insecure, unreliable, and fragile. They compensate by investing heavily in workarounds and maintenance, and by employing hordes of gurus to manage their systems flaws. This must change. And it can. In this book, respected software architect Clifford J. Berg shows how to design high-assurance applications--applications with proven