Synonyme wurden verwendet für: Softwaretechnik
Suche ohne Synonyme: title:"Softwaretechnik"

1–5 von 5 Ergebnissen
|

    Formal analysis of a space-craft controller using SPIN

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

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

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

    Formal requirements analysis of an avionics control system

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

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

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