Resumen de Dependable Software by Design.
The article looks at how powerful computer analysis tools are helping software engineers to ensure the reliability of their designs. The author reviews how major software failures have often occurred because of crucial design flaws are discovered too late. Details related to a new generation of software design tools are presented. INSETS: Overview/Software Design Checkers;Debugging Cancer Therapy Machines;Tools for Cheking Software Designs;MORE TO EXPLORE
