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

1–50 of 1,969 hits
|

    X-31A System Identification Applied to Post-Stall Flight: Aerodynamics and Thrust Vectoring

    D. Rohlf / E. Plastschke / S. Weiss | NTIS | 1994
    Keywords: Software engineering

    Workshop on Software Defined Multi-function Multi-mode Avionics

    J. Budinger / M. Pozesky | NTIS | 2004
    Keywords: Software engineering

    Workshop on Countering Space Adaptation with Exercise: Current Issues

    B. A. Harris / S. F. Siconolfi | NTIS | 1994
    Keywords: Software engineering

    Wireless internet gateways (WINGs)

    Garcia-Luna-Aceves, J.J. / Fullmer, C.L. / Madruga, E. et al. | Tema Archive | 1997
    Keywords: Software-Engineering

    When Computers Fly, It Has to Be Right: Using SPARK for Flight Control of Small Unmanned Aerial Vehicles

    R. E. Sward / M. Gerken / D. Casey | NTIS | 2006
    Keywords: Software engineering

    What software engineering can learn from practitioners

    Volovik, D. / Mojdehbakhsh, R. / Tsai, W.T. | Tema Archive | 1990
    Keywords: SOFTWARE-ENGINEERING

    Web-Based Flight Test Training and Mishap Investigation Support

    D. Carico / C. He / P. Blemel | NTIS | 2001
    Keywords: Software engineering

    WalkAbout – A net-based interactive multiuser 3D-environment for enhanced and engaging learning

    Free access
    Parnes, Peter / Backman, Ylva / Gardelli, Viktor | BASE | 2021
    Keywords: Software Engineering

    Visual Analytic of Traffic Simulation Data: A Review

    Almachi, Christopher / Armas, Rolando / Cuenca, Erick | Springer Verlag | 2024
    Keywords: Software Engineering/Programming and Operating Systems

    Virtual prototyping for equivalence test and pre-calibration

    Kaske, Axel / Maier, Markus | Tema Archive | 2007
    Keywords: Software-Entwicklung

    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

    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

    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

    Verification and Validation of Neural Networks for Aerospace Systems

    D. Mackall / S. Nelson / J. Schumman | NTIS | 2002
    Keywords: Software engineering

      Verification and Validation of Neural Networks for Aerospace Systems

      D. Mackall / S. Nelson / J. Schumann | NTIS | 2002
      Keywords: Software engineering

    Verification and validation of complex systems: human factors issues : [proceedings of the NATO Advanced Study Institute on Verification and Validation of Complex and Integrated Human-Machine Systems, held in Vimeiro, Portual, July 6 - 17, 1992]

    NATO, Division of Scientific Affairs / Advanced Study Institute on Verification and Validation of Complex and Integrated Human Machine Systems | TIBKAT | 1993
    Keywords: Software engineering

    Vehicle functionality - Why we need a structured development process

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

    Variability Identification and Representation for Automotive Simulink Models

    Alalfi, Manar H. / Rapos, Eric J. / Stevenson, Andrew et al. | Springer Verlag | 2019
    Keywords: Software Engineering

    Value-Based Decision Environment: Vision and Application

    Gorissen, Dirk / Quaranta, Erika / Ferraro, Mario et al. | AIAA | 2014
    Keywords: Software Engineering

    Valkyrie - NASA's New Humanoid

    N. Radford | NTIS | 2014
    Keywords: 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

    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 of Component and Service Federations in Automotive Software Applications

    Baresi, Luciano / Ghezzi, Carlo | Springer Verlag | 2006
    Keywords: Software Engineering

    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

    Validating Machine Learning-based Highly Automated Driving Functions by Diversity

    Free access
    De Candido, Oliver Thomas | TIBKAT | 2023
    Keywords: Softwareentwicklung

    UTM UAS Service Supplier Development: Sprint 2 Toward Technical Capability Level 4

    Rios, Joseph L. / Smith, Irene S. / Venkatesan, Priya et al. | NTRS | 2018
    Keywords: software engineering

    Utilizing Event-B for domain engineering: a critical analysis

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

    Using Visual Lane Detection to Control Steering in a Self-driving Vehicle

    McFall, Kevin | Springer Verlag | 2016
    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 Operational Processes Model to Improve Software Development

    Wulamu, Aziguli / Wang, Jian / Zuo, Chun | Springer Verlag | 2012
    Keywords: Software Engineering