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

21–40 of 962 hits
|

    Virtual co-verification of automotive embedded systems

    Vogel, Mike | Tema Archive | 2005
    Keywords: Software-Engineering , Software-Entwicklung

    VirSim, a simulated environment for developing multitask software of satellite

    Jalilian, S. / Jamshidifar, A.A. / Nematollahzadeh, S.M. | Tema Archive | 2007
    Keywords: Software-Engineering , Programmentwicklung

    Villa: Software- und Datenvarianten sicher produzieren

    Pinnow, K. | Tema Archive | 2002
    Keywords: Programmentwicklung

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

    Hallwood, M.A. | Tema Archive | 1994
    Keywords: Software-Engineering

    Vessel navigation in a confined channel

    Auger, R. / Underwood, B. / Morrow, T. | Tema Archive | 1984
    Keywords: SOFTWARE-ENGINEERING

    Vertical commonality through the use of Ada in ATE systems

    Calhoun, D.E. / Matysek, G.E. / Griffin, T.W. | Tema Archive | 1990
    Keywords: SOFTWARE-ENGINEERING

    Verteilte Simulationen für automotive Anwendungen

    Schulz, Hans-Martin | Tema Archive | 2005
    Keywords: Programmentwicklung

    Versions- und Änderungsmanagement in der Kfz-Zulieferindustrie

    Zenner, H. | Tema Archive | 2002
    Keywords: Software-Engineering

    Vernetzte Produktentwicklung am Beispiel Audi dynamic steering

    Raith, C. / Gesele, F. / Dick, W. et al. | Tema Archive | 2003
    Keywords: 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 Archive | 1998
    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

    Verification of Scheme Plans Using CSP||B

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

    Verification of PLC programs using formal proof techniques

    Sülflow, Andre / Drechsler, Rolf | Tema Archive | 2008
    Keywords: Programmentwicklung , Software-Engineering

    Verification and validiation of IRAS on-board software

    Nicolai, R.J. | Tema Archive | 1983
    Keywords: SOFTWARE-ENGINEERING

    Vergleich von Energieverbrauch und Treibhausgasemissionen verschiedener Mobilitätsszenarien mit Optiresource

    Wind, Jörg / Froeschle, Peter / Schatt, Sebastian et al. | Tema Archive | 2008
    Keywords: Programmentwicklung

    Vehicle functionality - Why we need a structured development process

    Granholm, J. | Tema Archive | 2005
    Keywords: Programmentwicklung , Software-Engineering

    Variantenkonfiguration Modell-basierter Embedded Software

    Weiland, Jens | Tema Archive | 2006
    Keywords: Programmentwicklung , eingebettetes Software-Engineering

    Validierung einer integrierenden Software-Plattform für sicherheitskritische Bahnsysteme

    Lörch, T. / Fitzke, A. | Tema Archive | 2002
    Keywords: 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
    Keywords: Software engineering