This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
January/February 1994 (vol. 11 no. 1)
pp. 16-20
ASCII Text
x 
 
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.
 
 
BibTex
x
 
@article{ 10.1109/52.251196,
author = {John Knight and Bev Littlewood},
title = {Guest Editors' Introduction: Critical Task of Writing Dependable Software},
journal ={IEEE Software},
volume = {11},
number = {1},
issn = {0740-7459},
year = {1994},
pages = {16-20},
doi = {http://doi.ieeecomputersociety.org/10.1109/52.251196},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Software
TI - Guest Editors' Introduction: Critical Task of Writing Dependable Software
IS - 1
SN - 0740-7459
SP16
EP20
EPD - 16-20
A1 - John Knight,
A1 - Bev Littlewood,
PY - 1994
KW - programming; safety; software reliability; dependable software; safety-critical software; rigorous techniques; mathematical techniques; program writing
VL - 11
JA - IEEE Software
ER -
 

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.

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, Jan.-Feb. 1994, doi:10.1109/52.251196
Usage of this product signifies your acceptance of the Terms of Use.