IEEE - Institute of Electrical and Electronics Engineers, Inc. - Certifying the correctness of software

Author(s): Mills, H.D.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1992
Conference Location: Kauai, HI, USA
Conference Date: 7 January 1992
Volume: ii
ISBN (Paper): 0-8186-2420-5
DOI: 10.1109/HICSS.1992.183251
Regular:

Software is either correct or incorrect in design to a specification in contrast to hardware which is reliable to a certain level to a correct design. Software of any size or complexity can only... View More

Advertisement