Title :
Critical task of writing dependable software
Author :
Knight, John ; Littlewood, Bev
Author_Institution :
Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
Abstract :
Safety-critical software must perform as desired and should never fail. The need for dependability stems from the fact that the consequences of failure are extremely high, usually a threat to human life. To write such systems, most now agree that we must adopt rigorous techniques, rooted in mathematics.<>
Keywords :
programming; safety; software reliability; dependable software; mathematical techniques; program writing; rigorous techniques; safety-critical software; Humans; Mathematics; Software performance; Software safety; Writing;
Journal_Title :
Software, IEEE
