Synonyme wurden verwendet für: Softwareentwicklung
Suche ohne Synonyme: keywords:("Softwareentwicklung")

61–70 von 1,476 Ergebnissen
|

    ARAMIS II - Entwicklungsprozesse, Werkzeuge, Plattformen für Sicherheitskritische Multicoresysteme : Schlussbericht : Laufzeit des Vorhabens: 01.10.2016-30.09.2019

    Freier Zugriff
    Sandmann, Timo / Karlsruher Institut für Technologie, Institut für Technik der Informationsverarbeitung / Absint Angewandte Informatik GmbH et al. | TIBKAT | 2020
    Schlagwörter: Softwareentwicklung

      ARAMIS II - Entwicklungsprozesse, Werkzeuge, Plattformen für Sicherheitskritische Multicoresysteme : Schlussbericht : Laufzeit des Vorhabens: 01.10.2016-30.09.2019

      Sandmann, Timo / Karlsruher Institut für Technologie, Institut für Technik der Informationsverarbeitung / Absint Angewandte Informatik GmbH et al. | TIBKAT | 2020
      Schlagwörter: Softwareentwicklung

    Verbundvorhaben ASSET-2; Teilvorhaben: Datenbank-gestützte Erfassung und Verarbeitung der Signale in On-Board Rechnersystemen (DAIDALOS) : Schlussbericht

    Freier Zugriff
    Herpel, Hans Juergen / Airbus Defence & Space | TIBKAT | 2020
    Schlagwörter: Softwareentwicklung

    A Validation Methodology for OCaml-to-PVS Translation

    An, Xiaoxin / Tahat, Amer / Ravindran, Binoy | TIBKAT | 2020
    Schlagwörter: Softwareentwicklung

    On the Usefulness of Clause Strengthening in Parallel SAT Solving

    Vallade, Vincent / Frioux, Ludovic Le / Baarir, Souheib et al. | TIBKAT | 2020
    Schlagwörter: Softwareentwicklung

    Strengthening Deterministic Policies for POMDPs

    Winterer, Leonore / Wimmer, Ralf / Jansen, Nils et al. | TIBKAT | 2020
    Schlagwörter: Softwareentwicklung

    Per-Location Simulation

    Li, Liyi / Gunter, Elsa L. | TIBKAT | 2020
    Schlagwörter: Softwareentwicklung

    Neural Simplex Architecture

    Phan, Dung T. / Grosu, Radu / Jansen, Nils et al. | TIBKAT | 2020
    Schlagwörter: Softwareentwicklung

    PHIST: a Pipelined, Hybrid-parallel Iterative Solver Toolkit

    Freier Zugriff
    Thies, Jonas / Röhrig-Zöllner, Melven / Overmars, Nigel et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2020
    Schlagwörter: sustainable software engineering

    Languages for Specifying Missions of Robotic Applications

    Dragule, Swaib / Gonzalo, Sergio García / Berger, Thorsten et al. | Springer Verlag | 2020
    Schlagwörter: Software Engineering

    AUTOSAR (AUTomotive Open System ARchitecture)

    Staron, Miroslaw | Springer Verlag | 2020
    Schlagwörter: Software Engineering/Programming and Operating Systems