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

21–40 von 963 Ergebnissen
|

    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

    Vessel navigation in a confined channel

    Auger, R. / Underwood, B. / Morrow, T. | Tema Archiv | 1984
    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

    Vernetzte Produktentwicklung am Beispiel Audi dynamic steering

    Raith, C. / Gesele, F. / Dick, W. et al. | Tema Archiv | 2003
    Schlagwörter: Programmentwicklung , rechnerunterstützte Software-Entwicklung , 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