Synonyms were used for: Softwaretechnik
Search without synonyms: title:"Softwaretechnik"

1–24 of 24 hits
|

    A framework for evaluating the effectiveness of real-time object-oriented models

    Kumarakulasingam, P. / Saiedian, H. | Tema Archive | 2002

    A language for advanced protocol analysis in automotive networks

    Reichert, T. / Klaus, E. / Schoch, W. et al. | Tema Archive | 2008

    A portable on-line railway signal interference measurement system

    Allan, J. / Mellitt, B. / Brown, J.C. et al. | Tema Archive | 1987

    Applying software engineering principles in train control systems

    Zhang, L. / Katwijk, J. van / Brink, K. | Tema Archive | 1994

    Appropriate reactions in embedded systems

    Hermann, Dirk / Liebehenschel, Jens | Tema Archive | 2008

    Clone detection in automotive model-based development

    Deissenboeck, F. / Hummel, B. / Jurgens, E. et al. | Tema Archive | 2008

    Formal analysis of a space-craft controller using SPIN

    Havelund, K. / Lowry, m. / Penix, J. | Tema Archive | 2001

    Formal requirements analysis of an avionics control system

    Dutertre, B. / Stavridou, V. | Tema Archive | 1997

    Improving Design of Ground Control Station for Unmanned Aerial Vehicle: Borrowing from Design Patterns

    Jovanovic, Mladan / Starcevic, Dusan / Jovanovic, Zoran | Tema Archive | 2010

    Increasing reliability and availability for automotive embedded devices by enhanced wiring diagnosis

    Förster, Ralf / Kempf, Annette / Niemetz, Michael et al. | Tema Archive | 2010

    Integration of functional, cognitive and quality requirements. A railways case study

    Felici, M. / Sujan, M.A. / Wimmer, M. | Tema Archive | 2000

    Integration of UML with Simulink into embedded software engineering

    Farkas, T. / Meiseki, E. / Neumann, C. et al. | Tema Archive | 2009

    IRAS end-to-end data system

    Holtz, R.C. van | Tema Archive | 1983

    Meta-Metrics for simulations in software engineering on the example of integral safety systems

    Bergers, Christian / Block, Delf / Honst, Christian et al. | Tema Archive | 2012

    New Challenges in Future Software Engineering

    Cheng, Jingde | Tema Archive | 2014

    Predicting testability of program modules using a neural network

    Khoshgoftaar, T.M. / Allen, E.B. / Xu, Z. | Tema Archive | 2000

    Regressive model approach to the generation of test trajectories

    Taylor, B.J. / Cukic, B. | Tema Archive | 2000

    Review of CASE experience on the BART ICS project

    Jones, J.R. | Tema Archive | 1989

    Safety checking in an automatic train operation system

    Palshikar, G.K. | Tema Archive | 2001

    Software architecture recovery of a program family

    Eixelsberger, W. / Ogris, M. / Gall, H. et al. | Tema Archive | 1998

    Software flexibility ensured success of dutch ANS and IRAS satellites

    Stuyvenberg, J.A. van / Voort Maarschalk, van der | Tema Archive | 1983