See also formal methods, safety-critical system.
ftp://ftp.sei.cmu.edu/pub/depend-sw. Mailing list: depend-sw@sei.cmu.edu.
[Summary?]
Try this search on Wikipedia, OneLook, Google
Nearby terms: Software Productivity Centre « Software Publishing Certificate « Software Publishing Corporation « software reliability » software rot » software theft » Software through Pictures
