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

1–50 von 777 Ergebnissen
|

    Zusicherungen und Laufzeit-Überwachungen in der modellbasierten Software-Entwicklung

    Rau, A. | Tema Archiv | 2001
    Schlagwörter: Software-Entwicklung , Software-Engineering

    XML-Softwareschnittstelle zur Entkopplung verteilter Entwicklungsprozesse für Mobile Multimedia Systeme

    Müller-Bagehl, C. / Polewacz, S. / Engel, F. | Tema Archiv | 2001
    Schlagwörter: Software-Entwicklung

    Wirtschaftlichkeit und Entwicklungsprozess für Elektronik-Komponenten im Kfz

    Pansa, U. | Tema Archiv | 2002
    Schlagwörter: Software-Entwicklung

    Wireless internet gateways (WINGs)

    Garcia-Luna-Aceves, J.J. / Fullmer, C.L. / Madruga, E. et al. | Tema Archiv | 1997
    Schlagwörter: Software-Engineering

    What software engineering can learn from practitioners

    Volovik, D. / Mojdehbakhsh, R. / Tsai, W.T. | Tema Archiv | 1990
    Schlagwörter: SOFTWARE-ENGINEERING

    Werkzeugbasierte Entwicklung von Software für verteilte sicherheitskritische Applikationen im Kraftfahrzeug

    Moser, R. / Wiedemann, J. | Tema Archiv | 2001
    Schlagwörter: Software-Entwicklung

    Wege zur Beherrschung der wachsenden Systemkomplexität in der Automobil-Software

    Spörl, T. | Tema Archiv | 2003
    Schlagwörter: Software-Engineering , Software-Entwicklung

    Von Simulink nach OSEK: Automatische Codegenerierung für Echtzeitbetriebssysteme mit TargetLink

    Köster, L. / Thomsen, T. / Stracke, R. | Tema Archiv | 2001
    Schlagwörter: Software-Entwicklung

    Vom modellbasierten Architekturentwurf über die Simulation verteilter Systeme zum Serienprojekt

    Otterbach, Rainer / Niggemann, Oliver | Tema Archiv | 2008
    Schlagwörter: Software-Engineering , Software-Entwicklung

    Vom Design zum Code; ein durchgängiger Ansatz (DECOS)

    Buhlmann, M. | Tema Archiv | 2007
    Schlagwörter: Software-Engineering

    Virtuelles AM-Radio zur subjektiven Empfangsbeurteilung

    Rinkleff, Thomas | Tema Archiv | 2009
    Schlagwörter: Programmentwicklung

    Virtuelle Absicherung von Fahrerassistenzfunktionen

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

    Virtuelle Absicherung von Fahrassistenzsystemen und Gesamtfahrzeugarchitekturen

    Pramme, Florian / Bikker, Gert | Tema Archiv | 2012
    Schlagwörter: Software-Engineering

    Virtual co-verification of automotive embedded systems

    Vogel, Mike | Tema Archiv | 2005
    Schlagwörter: Software-Engineering , Software-Entwicklung

    VirSim, a simulated environment for developing multitask software of satellite

    Jalilian, S. / Jamshidifar, A.A. / Nematollahzadeh, S.M. | Tema Archiv | 2007
    Schlagwörter: Software-Engineering , Programmentwicklung

    Villa: Software- und Datenvarianten sicher produzieren

    Pinnow, K. | Tema Archiv | 2002
    Schlagwörter: Programmentwicklung

    VHDL and top-down methods prove successful in automotive electronic design

    Hallwood, M.A. | Tema Archiv | 1994
    Schlagwörter: Software-Engineering

    Vertical commonality through the use of Ada in ATE systems

    Calhoun, D.E. / Matysek, G.E. / Griffin, T.W. | Tema Archiv | 1990
    Schlagwörter: SOFTWARE-ENGINEERING

    Verteilte Simulationen für automotive Anwendungen

    Schulz, Hans-Martin | Tema Archiv | 2005
    Schlagwörter: Programmentwicklung

    Versions- und Änderungsmanagement in der Kfz-Zulieferindustrie

    Zenner, H. | Tema Archiv | 2002
    Schlagwörter: Software-Engineering

    Verification of the redundancy management system for space launch vehicle: a case study

    Sokolsky, O. / Younis, M. / Lee, Insup et al. | Tema Archiv | 1998
    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

    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

    Verification of PLC programs using formal proof techniques

    Sülflow, Andre / Drechsler, Rolf | Tema Archiv | 2008
    Schlagwörter: Programmentwicklung , Software-Engineering

    Verification and validiation of IRAS on-board software

    Nicolai, R.J. | Tema Archiv | 1983
    Schlagwörter: SOFTWARE-ENGINEERING

    Vergleich von Energieverbrauch und Treibhausgasemissionen verschiedener Mobilitätsszenarien mit Optiresource

    Wind, Jörg / Froeschle, Peter / Schatt, Sebastian et al. | Tema Archiv | 2008
    Schlagwörter: Programmentwicklung

    Vehicle functionality - Why we need a structured development process

    Granholm, J. | Tema Archiv | 2005
    Schlagwörter: Programmentwicklung , Software-Engineering

    Variantenkonfiguration Modell-basierter Embedded Software

    Weiland, Jens | Tema Archiv | 2006
    Schlagwörter: Programmentwicklung , eingebettetes Software-Engineering

    Validierung einer integrierenden Software-Plattform für sicherheitskritische Bahnsysteme

    Lörch, T. / Fitzke, A. | Tema Archiv | 2002
    Schlagwörter: Software-Entwicklung , 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

    Validation of mission critical software design and implementation using model checking (spacecraft)

    Pingree, P.J. / Mikk, E. / Holzmann, G.J. et al. | Tema Archiv | 2002
    Schlagwörter: Programmentwicklung

    Validation and Test of Complex Weapons Systems

    Stephenson, M. M. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993
    Schlagwörter: aerospace software engineering

    Utilizing Event-B for domain engineering: a critical analysis

    Mashkoor, Atif / Jacquot, Jean-Pierre | Tema Archiv | 2011
    Schlagwörter: Software-Engineering

    Using views for modeling automotive function nets

    Grönninger, Hans / Hartmann, Jochen / Krahn, Holger et al. | Tema Archiv | 2008
    Schlagwörter: Software-Engineering

    Using the 3T architecture for tracking Shuttle RMS procedures

    Bonasso, R.P. / Kerri, R. / Jenks, K. et al. | Tema Archiv | 1998
    Schlagwörter: Software-Engineering

    Using specification-driven concepts for distributed data management and dissemination

    Blake, M.B. | Tema Archiv | 2002
    Schlagwörter: Software-Engineering

    Using signal-oriented feature trees for model-based automotive functions

    Kubica, Stefan / Friess, Wolfgang / Koelzow, Thorsten et al. | Tema Archiv | 2006
    Schlagwörter: Software-Engineering

    Using rapid prototyping tools for the integration of control systems for complex technology concept vehicles

    James, P. / Cook, P. | Tema Archiv | 2002
    Schlagwörter: Programmentwicklung

    Using Knowledge Exchange Workshops to analyze the DLR Software Engineering Community

    Freier Zugriff
    Schlauch, Tobias / Haupt, Carina | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2018
    Schlagwörter: research-software-engineering community analysis

    Use of a digital computer in an integrated propulsion control system

    Carlin, C. / Hastings, W. | Tema Archiv | 1976
    Schlagwörter: SOFTWARE-ENTWICKLUNG

    Use of adaptive model-based reasoning for embedded diagnostics and redundancy management for fault tolerant systems

    Nolan, M. / Giordano, J.P. | Tema Archiv | 1997
    Schlagwörter: Software-Engineering

    Unlocking the Grid

    Mattmann, C. A. / Medvidovic, N. / Ramirez, P. M. et al. | British Library Conference Proceedings | 2005
    Schlagwörter: Software engineering , Component-based software engineering

    Un Environnement de Programmation d'Applications Distribuees et Tolerantes aux Pannes sur une Architecture Parallele Reconfigurable

    Fraboul, C. / Siron, P. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993
    Schlagwörter: aerospace software engineering

    UML/MDA reality check : heterogeneous architecture styles

    Rouquette, Nicolas F. | NTRS | 2003
    Schlagwörter: software engineering

    UML basierte Geräteprofile für Schienenfahrzeuge mit Profinet IO

    Winzen, A. / Diedrich, C. / Franke, A. | Tema Archiv | 2005
    Schlagwörter: Programmentwicklung

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

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