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

31–40 von 777 Ergebnissen
|

    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