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

61–80 of 1,233 hits
|

    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

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

    Pingree, P.J. / Mikk, E. / Holzmann, G.J. et al. | Tema Archive | 2002
    Keywords: Programmentwicklung

    Validation and Test of Complex Weapons Systems

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

    Validating metrics for ensuring Space Shuttle flight software quality

    Schneidewind, N.F. | Tema Archive | 1994
    Keywords: Software-Engineering

    Utilizing Event-B for domain engineering: a critical analysis

    Mashkoor, Atif / Jacquot, Jean-Pierre | Tema Archive | 2011
    Keywords: Software-Engineering

    Using views for modeling automotive function nets

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

    Using the 3T architecture for tracking Shuttle RMS procedures

    Bonasso, R.P. / Kerri, R. / Jenks, K. et al. | Tema Archive | 1998
    Keywords: Software-Engineering

    Using specification-driven concepts for distributed data management and dissemination

    Blake, M.B. | Tema Archive | 2002
    Keywords: Software-Engineering

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

    Kubica, Stefan / Friess, Wolfgang / Koelzow, Thorsten et al. | Tema Archive | 2006
    Keywords: Software-Engineering

    Using metrics in management decision making

    Stark, G. / Durst, R.C. / Vowell, C.W. | Tema Archive | 1994
    Keywords: Programmentwicklung , Software-Engineering

    Use of operational software for GLCM missile procedures trainer

    Lowe, W.H. / Murray, W.M. | Tema Archive | 1983
    Keywords: SOFTWARE-ENGINEERING

    Use of historical data In software cost estimation

    Vijayakumar, S. | Tema Archive | 1997
    Keywords: Programmentwicklung

    Use of a digital computer in an integrated propulsion control system

    Carlin, C. / Hastings, W. | Tema Archive | 1976
    Keywords: SOFTWARE-ENTWICKLUNG

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

    Nolan, M. / Giordano, J.P. | Tema Archive | 1997
    Keywords: Software-Engineering

    Unternehmensweite Datenanalyse mit IBM DB2 UDB

    Goerlich, Otto / Scheible, Karl-Heinz / Clement, Martin | IuD Bahn | 2003
    Keywords: Software Engineering

    Un systeme de test temps reel ouvert

    Belanger, Nicolas / Favarcq, Nicolas / Fusero, Yann et al. | Tema Archive | 2010
    Keywords: Programmentwicklung

    Unlocking the Grid

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

    Universelle Entwicklungsumgebung für Elektroniksysteme im Automobilbau

    Frickenstein, E. / Hudi, R.T. / Theissen, M. | Tema Archive | 1996
    Keywords: Software-Engineering