Title :
COMPASS ´91. Proceedings of the Sixth Annual Conference on Computer Assurance: Systems Integrity, Software Safety and Process Security (Cat. No.91CH3033-8)
Abstract :
The following topics are dealt with: the European Economic Community research in computer assurance; improving industry training in computer assurance; certification and safety of critical systems; formal methods; US and international sponsored activities; and risk containment planning and quality measurements
Keywords :
control engineering computing; fault tolerant computing; formal specification; program testing; quality control; safety; security of data; software metrics; software reliability; standards; European Economic Community; US; aerospace control computing; certification; computer assurance; critical systems; formal methods; industry training; international sponsored activities; quality measurements; risk containment planning; safety;
Conference_Titel :
Computer Assurance, 1991. COMPASS '91, Systems Integrity, Software Safety and Process Security. Proceedings of the Sixth Annual Conference on
Conference_Location :
Gaithersburg, MD, USA
Print_ISBN :
0-7803-0126-9
DOI :
10.1109/CMPASS.1991.161021
