1–3 von 3 Ergebnissen
|

    Assuring NASA's Safety and Mission Critical Software

    Deadrick, Wesley | NTRS | 2015
    Schlagwörter: Verification , Engineering (General) , Computer Programming And Software , Validation

    Challenges for Verifying and Validating Scientific Software in Computational Materials Science

    Freier Zugriff
    Vogel, Thomas / Druskat, Stephan / Scheidgen, Markus et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2019
    Schlagwörter: software systems , results scientific software , Software , software quality , Validation and Verification , Materials science and technology , Scientific Software , Software engineering , program verification , validating scientific software

    Integrated toolset for high-integrity system verification and validation support (avionics)

    Cabos, R.P. | Tema Archiv | 1990
    Schlagwörter: FLIGHT SAFETY CRITICAL SOFTWARE , HIGH-INTEGRITY SYSTEM VERIFICATION AND VALIDATION SUPPORT , AVIONICS SOFTWARE MAINTENANCE PROJECT