Synonyme wurden verwendet für: Software Software engineering engineering
Suche ohne Synonyme: keywords:(Software engineering)

1–20 von 126 Ergebnissen
|

    Timing Verifikation von AUTOSAR Softwarearchitekturen

    Freier Zugriff
    Beringer, Steffen | TIBKAT | 2022
    Schlagwörter: Softwareentwicklung

    EBASO - Entwicklung und Bewertung variantenreicher eingebetteter Software : zusammenfassender Schlussbericht der PROSTEP IMP GmbH zum Verbundprojekt

    Freier Zugriff
    Rock, Georg / Schreiber, Kai / Kliemannel, Fabian | TIBKAT | 2011
    Schlagwörter: Softwareentwicklung

    EBASO - Entwicklung und Bewertung variantenreicher eingebetteter Software : Schlussbericht der PROSTEP IMP GmbH zum Verbundprojekt

    Freier Zugriff
    Rock, Georg / Kliemannel, Fabian / Schreiber, Kai | TIBKAT | 2011
    Schlagwörter: Softwareentwicklung

    Building secure cars : assuring the automotive software development lifecycle

    Oka, Dennis Kengo | TIBKAT | 2021
    Schlagwörter: Softwareentwicklung

      Building secure cars : assuring the automotive software development lifecycle

      Oka, Dennis Kengo | TIBKAT | 2021
      Schlagwörter: Softwareentwicklung

    Heterogeneous Verification of an Autonomous Curiosity Rover

    Cardoso, Rafael C. / Farrell, Marie / Luckcuck, Matt et al. | TIBKAT | 2020
    Schlagwörter: Softwareentwicklung

    Specification of Distributed Computing for Small Satellite Control

    Freier Zugriff
    Rückerl, Sebastian | TIBKAT | 2023
    Schlagwörter: Softwareentwicklung

    Safe and Robust Automation of Aircraft and System Operation

    Krause, Christoph | TIBKAT | 2021
    Schlagwörter: Softwareentwicklung

    Neural Simplex Architecture

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

    Per-Location Simulation

    Li, Liyi / Gunter, Elsa L. | 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

    A coordination perspective of agility in automotive product development

    Freier Zugriff
    Schrof, Julian Immanuel / Universität der Bundeswehr München, Fakultät für Luft- und Raumfahrttechnik | TIBKAT | 2022
    Schlagwörter: Agile Softwareentwicklung

    Validating Machine Learning-based Highly Automated Driving Functions by Diversity

    Freier Zugriff
    De Candido, Oliver Thomas | TIBKAT | 2023
    Schlagwörter: Softwareentwicklung

    Automotive software

    Jurgen, Ronald K. | TIBKAT | 2006
    Schlagwörter: Softwareentwicklung