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

1–20 von 692 Ergebnissen
|

    WalkAbout – A net-based interactive multiuser 3D-environment for enhanced and engaging learning

    Freier Zugriff
    Parnes, Peter / Backman, Ylva / Gardelli, Viktor | BASE | 2021
    Schlagwörter: Software Engineering

    Heterogeneous Verification of an Autonomous Curiosity Rover

    Cardoso, Rafael C. / Farrell, Marie / Luckcuck, Matt et al. | 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

    How Workspaces Influence Software Development ? (Appendix)

    Freier Zugriff
    Victor G. J. Costa / César França | BASE | 2020
    Schlagwörter: Software Engineering

    Neural Simplex Architecture

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

    Prospective Architectures for Onboard vs Cloud-Based Decision Making for Unmanned Aerial Systems

    Sankararaman, Shankar / Teubert, Christopher | NTRS | 2017
    Schlagwörter: Software engineering

    Agile: From Software to Mission System

    Trimble, Jay / Shirley, Mark H. / Hobart, Sarah Groves | NTRS | 2016
    Schlagwörter: software engineering

    Software variability composition and abstraction in robot control systems

    Freier Zugriff
    Brugali, Davide | BASE | 2016
    Schlagwörter: Software Engineering

    Open Source Next Generation Visualization Software for Interplanetary Missions

    Trimble, Jay / Rinker, George | NTRS | 2016
    Schlagwörter: software engineering

    HelpMe: A Heuristic License Plate Correction Method for Big Data Application

    Jia, Guochao / Tao, Xu / Liu, Yan et al. | Tema Archiv | 2015
    Schlagwörter: Software-Engineering

    New Challenges in Future Software Engineering

    Cheng, Jingde | Tema Archiv | 2014
    Schlagwörter: Software-Engineering

    Characteristics Analysis and Library Development for Common Lamps by Using PSPICE Modeling

    Kim, Young-Choon / Cho, Moon-Taek / Song, Ho-Bin et al. | Tema Archiv | 2014
    Schlagwörter: Software-Engineering

    Validation of Railway Interlocking Systems by Formal Verification, A Case Study

    Bonacchi, A. / Fantechi, A. / Bacherini, S. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Verification of Solid State Interlocking Programs

    James, P. / Lawrence, A. / Moller, F. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Applied Bounded Model Checking for Interlocking System Designs

    Haxthausen, A.E. / Peleska, J. / Pinger, R. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Twenty-Five Years of Formal Methods and Railways: What Next?

    Fantechi, A. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Verification of Scheme Plans Using CSP||B

    James, P. / Moller, F. / Nguyen, H.N. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering