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

61–80 von 250 Ergebnissen
|

    SEI: the software battleground

    Joyce, E.J. | Tema Archiv | 1986

    Automotive Software : Prozesse, Modelle und Variabilität

    Mengi, Cem | TIBKAT | 2012

    Praktische Ansätze zur Etablierung einer Software-Produktlinie in eine bestehende Mehr-Produkt-Entwicklung

    Rendel, Holger / Rheinisch-Westfälische Technische Hochschule Aachen / Shaker Verlag | TIBKAT | 2016

    Fault injection for dependability validation: a methodology and some applications

    Arlat, J. / Aguera, M. / Amat, L. et al. | Tema Archiv | 1990

    Formal analysis of a space-craft controller using SPIN

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

    Requirements specification for process-control systems

    Leveson, N.G. / Heimdahl, M.P.E. / Hildreth, H. et al. | Tema Archiv | 1994

    Experiences using lightweight formal methods for requirements modeling

    Easterbrook, S. / Lutz, R. / Covington, R. et al. | Tema Archiv | 1998

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

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

    Special issue: Selected papers from the 4th Intern. Conf. on Electrical Engineering and Information Technologies for Rail Transportation (EITRT2019)

    International Conference on Electrical and Information Technologies for Rail Transportation | TIBKAT | 2020