The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January/February (1994 vol.11)
pp: 16-20
ABSTRACT
<p>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.</p>
INDEX TERMS
programming; safety; software reliability; dependable software; safety-critical software; rigorous techniques; mathematical techniques; program writing
CITATION
John Knight, Bev Littlewood, "Guest Editors' Introduction: Critical Task of Writing Dependable Software", IEEE Software, vol.11, no. 1, pp. 16-20, January/February 1994, doi:10.1109/52.251196
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool