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

1–20 von 685 Ergebnissen
|

    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

    Virtual prototyping for equivalence test and pre-calibration

    Kaske, Axel / Maier, Markus | Tema Archiv | 2007
    Schlagwörter: Software-Entwicklung

    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

    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

    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

    Vehicle functionality - Why we need a structured development process

    Granholm, J. | Tema Archiv | 2005
    Schlagwörter: Programmentwicklung , 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