search-head

You are here: Homepage >  Search

Conference paper   Computer Science   Clear all

Synonyms were used for: Softwareentwicklung
Search without synonyms: keywords:("Softwareentwicklung")

1–50 of 777 hits
|
Sort by:

    Per-Location Simulation

    Li, Liyi / Gunter, Elsa L. | TIBKAT | 2020
    Keywords: Softwareentwicklung

    A Validation Methodology for OCaml-to-PVS Translation

    An, Xiaoxin / Tahat, Amer / Ravindran, Binoy | TIBKAT | 2020
    Keywords: Softwareentwicklung

    Neural Simplex Architecture

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

    On the Usefulness of Clause Strengthening in Parallel SAT Solving

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

    Strengthening Deterministic Policies for POMDPs

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

    Creating a Reliable Data Type Framework for the OSRA Using Modern C++

    Free access
    Sommer, Jan / Gerndt, Andreas / Lüdtke, Daniel | German Aerospace Center (DLR) | 2019
    Keywords: Model­driven Software Development

    Software Engineering Guidelines for Scientists - A Practical Handout for the Developing Researcher

    Free access
    Haupt, Carina | German Aerospace Center (DLR) | 2019
    Keywords: Software Engineering

    Guidelines and Environment to Support Sustainable Software Development at DLR

    Free access
    Haupt, Carina / Schlauch, Tobias | German Aerospace Center (DLR) | 2019
    Keywords: Software Engineering

    Developing and Managing Research Software in Universities and National Labs

    Free access
    Katz, Daniel S. / Haines, Robert / MyHenry, Kenton et al. | German Aerospace Center (DLR) | 2019
    Keywords: Research Software Engineering

    Software Engineering and Reuse in Modeling, Simulation, and Data Analytics for Science and Engineering

    Free access
    Bernholdt, David / Carver, Jeffrey / Hong, Neil Chue et al. | German Aerospace Center (DLR) | 2019
    Keywords: Software Engineering

    Empfehlungen für bessere Forschungssoftware

    Free access
    Schlauch, Tobias | German Aerospace Center (DLR) | 2019
    Keywords: software-engineering

    Practical HPC Software Engineering for Research

    Free access
    Thies, Jonas | German Aerospace Center (DLR) | 2019
    Keywords: Software Engineering

    Neukonzeption des DLR Software-Katalogs

    Free access
    Kolb, Tobias | German Aerospace Center (DLR) | 2019
    Keywords: software-engineering

    Die Hard 1.1024.0: backward compatibility of a search engine with persistant IDs

    Free access
    Krause, Thomas / Druskat, Stephan | German Aerospace Center (DLR) | 2019
    Keywords: research software engineering

    Dare to be mair than just FAIR! - FAIR PLAY to research software, courtesy of RSEs

    Free access
    Druskat, Stephan | German Aerospace Center (DLR) | 2019
    Keywords: Research Software Engineering

    Challenges for Verifying and Validating Scientific Software in Computational Materials Science

    Free access
    Vogel, Thomas / Druskat, Stephan / Scheidgen, Markus et al. | German Aerospace Center (DLR) | 2019
    Keywords: Software engineering

    RSE Trainings at DLR 2.0 - What we've learned from 1.0

    Free access
    Haupt, Carina / Meinel, Michael | German Aerospace Center (DLR) | 2018
    Keywords: Software Engineering

    Using Knowledge Exchange Workshops to analyze the DLR Software Engineering Community

    Free access
    Schlauch, Tobias / Haupt, Carina | German Aerospace Center (DLR) | 2018
    Keywords: research-software-engineering community analysis

    DLR Secure Software Engineering - Position and Vision Paper

    Free access
    Krishnamurthy, Rohan / Meinel, Michael / Haupt, Carina et al. | German Aerospace Center (DLR) | 2018
    Keywords: secure software engineering

    Data Science roadmap: An insight to achieve secure software engineering

    Free access
    Krishnamurthy, Rohan / Haupt, Carina / Meinel, Michael | German Aerospace Center (DLR) | 2018
    Keywords: Software Engineering

    Software Engineering Initiative of DLR

    Free access
    Schreiber, Andreas | German Aerospace Center (DLR) | 2017
    Keywords: software engineering

    The Software Engineering Community at DLR: How we got where we are

    Free access
    Haupt, Carina / Schlauch, Tobias | German Aerospace Center (DLR) | 2017
    Keywords: Software Engineering

    Helping a friend out. Guidelines for better software

    Free access
    Schlauch, Tobias / Haupt, Carina | German Aerospace Center (DLR) | 2017
    Keywords: Software Engineering

    One tool to rule them all? Integration or survival of the fittest

    Free access
    Haupt, Carina | German Aerospace Center (DLR) | 2017
    Keywords: Software Engineering

    A Software Infrastructure for Solving Quantum Physics Problems on Extremely Parallel Systems

    Free access
    Basermann, Achim / Thies, Jonas / Röhrig-Zöllner, Melven | German Aerospace Center (DLR) | 2017
    Keywords: Software Engineering

    Algorithmic Developments and Software Engineering for Scalable Sparse Eigensolvers in the DFG Project ESSEX

    Free access
    Basermann, Achim / Thies, Jonas / Alvermann, Andreas et al. | German Aerospace Center (DLR) | 2017
    Keywords: Software Engineering

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

    Jia, Guochao / Tao, Xu / Liu, Yan et al. | Tema Archive | 2015
    Keywords: Software-Engineering

    Verification of Solid State Interlocking Programs

    James, P. / Lawrence, A. / Moller, F. et al. | British Library Conference Proceedings | 2014
    Keywords: 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
    Keywords: Software engineering

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

    Abo, R. / Voisin, L. | British Library Conference Proceedings | 2014
    Keywords: Software engineering

    Verification of Scheme Plans Using CSP||B

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

    Applied Bounded Model Checking for Interlocking System Designs

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

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

    Fantechi, A. | British Library Conference Proceedings | 2014
    Keywords: 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 Archive | 2014
    Keywords: Software-Entwicklung

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

    Joo, Hae-Jong / Hong, Suck-Joo / Park, Dong-Su | Tema Archive | 2014
    Keywords: Software-Engineering

    Software dependent failure analysis and software partitioning by safety measures

    Kajio, Kazuhiro / Tohdo, Tetsuya | Tema Archive | 2013
    Keywords: Software-Engineering , Software-Engineering-Management

    ODX process from the perspective of an automotive supplier

    Natterer, Dietmar / Ströbele, Thomas / Krauss, Franz | Tema Archive | 2013
    Keywords: Software-Entwicklung

    Airborne Panel Series Circuit Module Test System Software Design

    Shi, Guo-Qing / Zhang, Jian-Dong | Tema Archive | 2013
    Keywords: Programmentwurf

    Increasing Software Quality using the Provenance of Software Development Processes

    Free access
    Schreiber, Andreas | German Aerospace Center (DLR) | 2013
    Keywords: Software engineering

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

    Demberg, Vera / Sayeed, Asad / Mahr, Angela et al. | Tema Archive | 2013
    Keywords: Software-Engineering

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

    Englisch, Norbert / Helfrich, Toni / Hardt, Wolfram | Tema Archive | 2013
    Keywords: 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 Archive | 2013
    Keywords: Software-Entwicklung

    Virtuelle Absicherung von Fahrerassistenzfunktionen

    Rolfsmeier, Andre / Haupt, Hagen / Krügel, Karsten | Tema Archive | 2013
    Keywords: Software-Entwicklung

    Survey on Projects at DLR Simulation and Software Technology with Focus on Software Engineering and HPC

    Free access
    Schreiber, Andreas / Basermann, Achim | German Aerospace Center (DLR) | 2013
    Keywords: Software Engineering

    From SULEV EAT Concept to ECU software

    Han, Wei / Heß, Daniel / Friedrichs, Olaf et al. | Tema Archive | 2013
    Keywords: Software-Entwicklung

    TOYOTA MBD initiatives for engine control design

    Ishizaki, Naoya / Kako, Junichi / Kuroda, Yukio | Tema Archive | 2013
    Keywords: Software-Engineering , Software-Entwicklung , modellbasierte Softwareentwicklung

    Auto 2.0 - Mehr als nur Telefonieren beim Fahren

    Hess, Steffen / Breiner, Kai | Tema Archive | 2012
    Keywords: Software-Entwicklung

    Knowledge Based Engineering to Support Automotive Conceptual Design and Automatic Control Software Development

    Tian, Fengnian / Voskuijl, Mark | Tema Archive | 2012
    Keywords: Software-Entwicklung , control software development

    Virtuelle Absicherung von Fahrassistenzsystemen und Gesamtfahrzeugarchitekturen

    Pramme, Florian / Bikker, Gert | Tema Archive | 2012
    Keywords: Software-Engineering

    Umsetzung ISO 26262 für Software in der Continental Business Unit Elektronischen Bremsensysteme. Von der systematischen Ableitung der Softwareanforderungen aus Sicherheitszielen zu Best Practices

    Schubert, Peter / Halilovic, Adis | Tema Archive | 2012
    Keywords: Software-Entwicklung

Number of results
10 20

Filter search results