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

1–50 von 963 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

    A Validation Methodology for OCaml-to-PVS Translation

    An, Xiaoxin / Tahat, Amer / Ravindran, Binoy | 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

    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

    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

    Heterogeneous Verification of an Autonomous Curiosity Rover

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

    Disintegrating Rockets – Wie wir in der Raumfahrt lernen

    Freier Zugriff
    Haupt, Carina | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2019
    Schlagwörter: Software Engineering

    Nachhaltige Software-Entwicklung in der deutschen Forschungslandschaft

    Freier Zugriff
    Schlauch, Tobias | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2018
    Schlagwörter: Research Software Engineering

      Nachhaltige Software-Entwicklung in der deutschen Forschungslandschaft

      Freier Zugriff
      Schlauch, Tobias | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2018
      Schlagwörter: Research Software Engineering

    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

    Softwareentwicklung mittels Simulationsumgebung

    Odendall, B. | Tema Archiv | 2015
    Schlagwörter: Software-Entwicklung

    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

    Anhängerrangierassistent - Softwareentwicklung einer neuen Assistenzfunktion

    Hüger, P. / Kirchner, A. / Katzwinkel, R. et al. | Tema Archiv | 2014
    Schlagwörter: Software-Entwicklung

    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

    Verification of Solid State Interlocking Programs

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

    Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO

    Abo, R. / Voisin, L. | British Library Conference Proceedings | 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 Scheme Plans Using CSP||B

    James, P. / Moller, F. / Nguyen, H.N. 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

    Analysis of Urban Traffic Based on Taxi GPS Data

    Li, Meng / Li, Ru-tong / Xia, Yong et al. | Tema Archiv | 2014
    Schlagwörter: Software-Engineering

    A Requirement Analysis of Awareness-Based Vessel Traffic Service System for Maritime Safety

    Lee, Byunggil / Park, Namje / Kim, JuYoung | Tema Archiv | 2014
    Schlagwörter: Software-Engineering

    Simulation and Analysis of Space Station Redocking

    Chen, Rui / Tang, Shengjing / Sun, Guojiang | Tema Archiv | 2014
    Schlagwörter: Software-Engineering

    Optimized Design of Charger for Electric Vehicles with Enabled Efficient CCCV Mode Movement

    Chun, Ji-Yong / Kim, Young-Choon / Cho, Moon-Taek | Tema Archiv | 2014
    Schlagwörter: Software-Engineering

    An Experience of Optimization Approach Application to Improve the Urban Passenger Transport Structure

    Krushel, Elena Georgievna / Stepanchenko, Ilya Victorovich / Panfilov, Alexander Eduardovich et al. | Tema Archiv | 2014
    Schlagwörter: Software-Engineering

    Automotive Service Oriented System Architecture - Ein neues Architekturkonzept und sein Potential für zukünftige Fahrzeugsysteme

    Küfen, Jörg / Hudecek, Janek / Eckstein, Lutz | Tema Archiv | 2014
    Schlagwörter: Software-Entwicklung

    Smart-Contents Visualization of Vehicle Big Data Using Vehicle Navigation Status Information

    Joo, Hae-Jong / Hong, Suck-Joo / Park, Dong-Su | Tema Archiv | 2014
    Schlagwörter: Software-Engineering

    Efficient Locking Scheme with OPOF on Smart Devices

    Kim, Hyun-Woo / Kang, Anna / Park, Jong-Hyuk et al. | Tema Archiv | 2014
    Schlagwörter: Software-Engineering

    Function development for transmission control units - FEV's methods and processes

    Kirschstein, Stefan / Schloßer, Axel / Remelhe, Filipe | Tema Archiv | 2013
    Schlagwörter: Software-Entwicklung

    Software dependent failure analysis and software partitioning by safety measures

    Kajio, Kazuhiro / Tohdo, Tetsuya | Tema Archiv | 2013
    Schlagwörter: Software-Engineering , Software-Engineering-Management

    ODX process from the perspective of an automotive supplier

    Natterer, Dietmar / Ströbele, Thomas / Krauss, Franz | Tema Archiv | 2013
    Schlagwörter: Software-Entwicklung

    Airborne Panel Series Circuit Module Test System Software Design

    Shi, Guo-Qing / Zhang, Jian-Dong | Tema Archiv | 2013
    Schlagwörter: Programmentwurf

    Towards integration of a knowledge-based approach into SHM

    Niu, Yan / Buethe, Inka / Ansari, Fazel et al. | Tema Archiv | 2013
    Schlagwörter: Software-Entwicklung

    Software Development for Satellite Thermal Design

    Shirazi, Abolfazl / Mirshams, Mehran | Tema Archiv | 2013
    Schlagwörter: Software-Entwicklung

    Measuring linguistically-induced cognitive load during driving using the ConTRe task

    Demberg, Vera / Sayeed, Asad / Mahr, Angela et al. | Tema Archiv | 2013
    Schlagwörter: Software-Engineering

    Design on Sports Meeting Management System of University Based on .NET Framework

    Wang, Ai-Bo / Ma, Hong-Tao / Li, Xun | Tema Archiv | 2013
    Schlagwörter: Software-Entwicklung

    Automatisierte Testfallgenerierung für den applikationsspezifischen Test von AUTOSAR Steuergeräten

    Englisch, Norbert / Helfrich, Toni / Hardt, Wolfram | Tema Archiv | 2013
    Schlagwörter: Software-Entwicklung

    New Approach for ECS Software Development

    Hoepfner, Andreas / Koops, Ingo / Przymusinski, Achim et al. | Tema Archiv | 2013
    Schlagwörter: Software-Entwicklung

    Designing and Realizing of Universal Test and Analysis System of Avionics Data Bus

    Zhang, Jian-Dong / Cao, En-Long / Wu, Yong et al. | Tema Archiv | 2013
    Schlagwörter: Software-Entwicklung

    Identification of Reusable Controller Strategies for the System Design of Advanced Mechatronic Systems

    Anacker, Harald / Dumitrescu, Roman / Gausemeier, Jürgen et al. | Tema Archiv | 2013
    Schlagwörter: Software-Engineering

    Inflight Performance of Cassini Reaction Wheel Bearing Drag in 1997-2013

    Lee, Allan Y. / Wang, Eric K. | NTRS | 2013
    Schlagwörter: Flight Software Development System (a Cassini software test bed) (FSDS)

    The Research of Fault Diagnosis Method for ECU Controllers in Electric Vehicles Based on CAN Bus

    Nan, Jin-Rui / Huang, Jun-Kui / Chai, Zhi et al. | Tema Archiv | 2013
    Schlagwörter: Software-Entwicklung

    Virtuelle Absicherung von Fahrerassistenzfunktionen

    Rolfsmeier, Andre / Haupt, Hagen / Krügel, Karsten | Tema Archiv | 2013
    Schlagwörter: Software-Entwicklung

    Development and Application of Water Supply Network Simulation Analysis Platform

    Dong, Shen / Lv, Mou / Fei, Jian-Gang | Tema Archiv | 2013
    Schlagwörter: Software-Entwicklung

    ADTF-Kundenforum. Ein Erfolgsmodell bei der Zusammenarbeit von Automobilherstellern

    Belke, Ralf / Schweiger, Roland | Tema Archiv | 2013
    Schlagwörter: Software-Engineering