A classification scheme for software verification tools with regard to RTCA/DO-178B

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2187, Issue , 2001, Pages 166-175

  Zoffmann, Günther ^a   Gingerl, Manfred ^a   Reumann, Christian ^a   Sonneck, Gerald ^a  

^a ARC SEIBERSDORF RESEARCH GMBH   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE;

CLASSIFICATION SCHEME; SOFTWARE VERIFICATION; SOFTWARE VERIFICATION TOOLS;

VERIFICATION;

EID: 84956999950     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45416-0_17     Document Type: Conference Paper

References (4)

1. RTCA/DO-178B “Software Considerations in Airborne Systems and Equipment Certification”. RTCA, Washington (1992)
2. Rakitin, S. R.: “Software Verification and Validation”. Artech House, Boston London (1997)
3. ISO/IEC 9126 “Software product evaluation – Quality characteristics and guidelines for their use” (1991)
4. Kaâniche, M., Laprie, J.-C., Blanquart, J.-P.: “A Dependability-Explicit Model for the Development of Computing Systems” in Lecture Notes in Computer Science 1943, Proceedings of the 19th International Conference, SAFECOMP 2000, Springer-Verlag, Rotterdam (2000)