1–3 von 3 Ergebnissen
|

    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

    Agents and robots for reliable engineered autonomy: A perspective from the organisers of area 2020

    Freier Zugriff
    Menghi, Claudio | BASE | 2021
    Schlagwörter: Software engineering , Verification and validation

    Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020

    Freier Zugriff
    Cardoso, Rafael C. / Ferrando, Angelo / Briola, Daniela et al. | BASE | 2021
    Schlagwörter: Software engineering , Verification and validation