COTS and high assurance: An oxymoron?

Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999

Volumn , Issue , 1999, Pages 119-

  Voas, Jeffrey ^a  

^a Cigital   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35348931999     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.1999.809486     Document Type: Conference Paper

References (4)

1. FEDERAL AVIATION AUTHORITY. Software Considerations in Airborne Systems and Equipment Certification, 1992. Document No. RTCA/DO-178B, RTCA, Inc.
2. S. BAKER, G. MCWILLIAMS, M. KRIPALANI. "Forget the Huddled Masses: Send Nerds", Business Week, July 11, 1997.
3. J. VOAS. Certifying Off-The-Shelf Software Components. IEEE Computer, 31(6):53-59, June 1998.
4. J. VOAS. Certifying Software for High Assurance Environments. IEEE Software, 16(4):48-54, July 1999.